1554043348.862 * [progress]: [Phase 1 of 3] Setting up.
1554043348.862 * * * [progress]: [1/2] Preparing points
1554043348.862 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043348.863 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043348.865 * * * * [points]: Setting MPFR precision to 64
1554043348.866 * * * * [points]: Setting MPFR precision to 320
1554043348.867 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043348.868 * * * * [points]: Setting MPFR precision to 64
1554043348.871 * * * * [points]: Setting MPFR precision to 320
1554043348.874 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043348.876 * * * * [points]: Setting MPFR precision to 64
1554043348.879 * * * * [points]: Setting MPFR precision to 320
1554043348.885 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043348.886 * * * * [points]: Setting MPFR precision to 64
1554043348.893 * * * * [points]: Setting MPFR precision to 320
1554043348.901 * * * * [points]: Computing exacts for 256 points
1554043348.902 * * * * [points]: Setting MPFR precision to 64
1554043348.913 * * * * [points]: Setting MPFR precision to 320
1554043348.928 * * * * [points]: Filtering points with unrepresentable outputs
1554043348.934 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
1554043348.935 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
1554043348.936 * * * * [points]: Setting MPFR precision to 64
1554043348.936 * * * * [points]: Setting MPFR precision to 320
1554043348.937 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
1554043348.938 * * * * [points]: Setting MPFR precision to 64
1554043348.939 * * * * [points]: Setting MPFR precision to 320
1554043348.941 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
1554043348.942 * * * * [points]: Setting MPFR precision to 64
1554043348.944 * * * * [points]: Setting MPFR precision to 320
1554043348.946 * * * * [points]: Computing exacts for 133 points
1554043348.947 * * * * [points]: Setting MPFR precision to 64
1554043348.953 * * * * [points]: Setting MPFR precision to 320
1554043348.960 * * * * [points]: Filtering points with unrepresentable outputs
1554043348.963 * * * * [points]: Sampling 71 additional inputs, on iter 2 have 185 / 256
1554043348.963 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
1554043348.964 * * * * [points]: Setting MPFR precision to 64
1554043348.965 * * * * [points]: Setting MPFR precision to 320
1554043348.965 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
1554043348.982 * * * * [points]: Setting MPFR precision to 64
1554043348.983 * * * * [points]: Setting MPFR precision to 320
1554043348.985 * * * * [points]: Computing exacts for 71 points
1554043348.986 * * * * [points]: Setting MPFR precision to 64
1554043348.989 * * * * [points]: Setting MPFR precision to 320
1554043348.993 * * * * [points]: Filtering points with unrepresentable outputs
1554043348.995 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
1554043348.995 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1554043348.996 * * * * [points]: Setting MPFR precision to 64
1554043348.997 * * * * [points]: Setting MPFR precision to 320
1554043348.998 * * * * [points]: Computing exacts for 37 points
1554043348.999 * * * * [points]: Setting MPFR precision to 64
1554043349.001 * * * * [points]: Setting MPFR precision to 320
1554043349.003 * * * * [points]: Filtering points with unrepresentable outputs
1554043349.004 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256
1554043349.004 * * * * [points]: Computing exacts for 19 points
1554043349.005 * * * * [points]: Setting MPFR precision to 64
1554043349.006 * * * * [points]: Setting MPFR precision to 320
1554043349.007 * * * * [points]: Filtering points with unrepresentable outputs
1554043349.007 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256
1554043349.007 * * * * [points]: Computing exacts for 11 points
1554043349.008 * * * * [points]: Setting MPFR precision to 64
1554043349.009 * * * * [points]: Setting MPFR precision to 320
1554043349.010 * * * * [points]: Filtering points with unrepresentable outputs
1554043349.010 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
1554043349.010 * * * * [points]: Computing exacts for 6 points
1554043349.011 * * * * [points]: Setting MPFR precision to 64
1554043349.012 * * * * [points]: Setting MPFR precision to 320
1554043349.012 * * * * [points]: Filtering points with unrepresentable outputs
1554043349.012 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
1554043349.012 * * * * [points]: Computing exacts for 4 points
1554043349.013 * * * * [points]: Setting MPFR precision to 64
1554043349.013 * * * * [points]: Setting MPFR precision to 320
1554043349.014 * * * * [points]: Filtering points with unrepresentable outputs
1554043349.014 * * * * [points]: Sampled 256 points with exact outputs
1554043349.014 * * * [progress]: [2/2] Setting up program.
1554043349.030 * [progress]: [Phase 2 of 3] Improving.
1554043349.030 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1554043349.030 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1554043349.030 * * [simplify]: iters left: 4 (7 enodes)
1554043349.032 * * [simplify]: iters left: 3 (20 enodes)
1554043349.036 * * [simplify]: iters left: 2 (32 enodes)
1554043349.042 * * [simplify]: iters left: 1 (92 enodes)
1554043349.067 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.067 * * [simplify]: Extracting #1: cost 13 inf + 0
1554043349.067 * * [simplify]: Extracting #2: cost 67 inf + 0
1554043349.068 * * [simplify]: Extracting #3: cost 111 inf + 723
1554043349.068 * * [simplify]: Extracting #4: cost 94 inf + 7692
1554043349.071 * * [simplify]: Extracting #5: cost 25 inf + 47669
1554043349.085 * * [simplify]: Extracting #6: cost 0 inf + 67124
1554043349.092 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1554043349.093 * [simplify]: Simplified (2) to (λ (x) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)))
1554043349.118 * * [progress]: iteration 1 / 4
1554043349.118 * * * [progress]: picking best candidate
1554043349.141 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1554043349.141 * * * [progress]: localizing error
1554043349.731 * * * [progress]: generating rewritten candidates
1554043349.731 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1554043349.734 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1554043349.735 * * * [progress]: generating series expansions
1554043349.735 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1554043349.735 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1554043349.735 * * * [progress]: simplifying candidates
1554043349.735 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (neg.p16 (sqrt.p16 x))))>
1554043349.735 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043349.735 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1554043349.735 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1554043349.736 * * [simplify]: iters left: 4 (7 enodes)
1554043349.739 * * [simplify]: iters left: 3 (20 enodes)
1554043349.745 * * [simplify]: iters left: 2 (32 enodes)
1554043349.755 * * [simplify]: iters left: 1 (92 enodes)
1554043349.794 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.794 * * [simplify]: Extracting #1: cost 13 inf + 0
1554043349.794 * * [simplify]: Extracting #2: cost 67 inf + 0
1554043349.795 * * [simplify]: Extracting #3: cost 111 inf + 723
1554043349.796 * * [simplify]: Extracting #4: cost 94 inf + 7692
1554043349.801 * * [simplify]: Extracting #5: cost 25 inf + 47669
1554043349.810 * * [simplify]: Extracting #6: cost 0 inf + 67124
1554043349.825 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1554043349.825 * [simplify]: Simplified (2) to (λ (x) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)))
1554043349.825 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1554043349.825 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1554043349.825 * * [simplify]: iters left: 4 (7 enodes)
1554043349.828 * * [simplify]: iters left: 3 (20 enodes)
1554043349.833 * * [simplify]: iters left: 2 (32 enodes)
1554043349.844 * * [simplify]: iters left: 1 (92 enodes)
1554043349.877 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.877 * * [simplify]: Extracting #1: cost 13 inf + 0
1554043349.877 * * [simplify]: Extracting #2: cost 67 inf + 0
1554043349.877 * * [simplify]: Extracting #3: cost 111 inf + 723
1554043349.878 * * [simplify]: Extracting #4: cost 94 inf + 7692
1554043349.881 * * [simplify]: Extracting #5: cost 25 inf + 47669
1554043349.885 * * [simplify]: Extracting #6: cost 0 inf + 67124
1554043349.890 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1554043349.890 * [simplify]: Simplified (2) to (λ (x) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)))
1554043349.890 * * * [progress]: adding candidates to table
1554043350.054 * * [progress]: iteration 2 / 4
1554043350.054 * * * [progress]: picking best candidate
1554043350.085 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.085 * * * [progress]: localizing error
1554043350.390 * * * [progress]: generating rewritten candidates
1554043350.390 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1554043350.393 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1554043350.395 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1554043350.400 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1554043350.402 * * * [progress]: generating series expansions
1554043350.402 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1554043350.402 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1554043350.402 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1554043350.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1554043350.402 * * * [progress]: simplifying candidates
1554043350.402 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.402 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1554043350.402 * * [simplify]: iters left: 4 (7 enodes)
1554043350.404 * * [simplify]: iters left: 3 (14 enodes)
1554043350.406 * * [simplify]: iters left: 2 (16 enodes)
1554043350.409 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043350.409 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043350.409 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043350.409 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043350.409 * * [simplify]: Extracting #4: cost 5 inf + 42
1554043350.409 * * [simplify]: Extracting #5: cost 0 inf + 330
1554043350.409 * [simplify]: Simplified to (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1554043350.409 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043350.409 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1554043350.410 * * [simplify]: iters left: 4 (7 enodes)
1554043350.411 * * [simplify]: iters left: 3 (20 enodes)
1554043350.415 * * [simplify]: iters left: 2 (32 enodes)
1554043350.429 * * [simplify]: iters left: 1 (92 enodes)
1554043350.452 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043350.452 * * [simplify]: Extracting #1: cost 13 inf + 0
1554043350.452 * * [simplify]: Extracting #2: cost 67 inf + 0
1554043350.452 * * [simplify]: Extracting #3: cost 111 inf + 723
1554043350.453 * * [simplify]: Extracting #4: cost 94 inf + 7692
1554043350.456 * * [simplify]: Extracting #5: cost 25 inf + 47669
1554043350.460 * * [simplify]: Extracting #6: cost 0 inf + 67124
1554043350.464 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1554043350.465 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043350.465 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.465 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.465 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.465 * [simplify]: Simplifying (real->posit16 1)
1554043350.465 * * [simplify]: iters left: 1 (2 enodes)
1554043350.466 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043350.466 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043350.466 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043350.466 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043350.466 * [simplify]: Simplified to (real->posit16 1)
1554043350.466 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043350.466 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.466 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))>
1554043350.466 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1554043350.466 * * [simplify]: iters left: 4 (7 enodes)
1554043350.468 * * [simplify]: iters left: 3 (14 enodes)
1554043350.470 * * [simplify]: iters left: 2 (16 enodes)
1554043350.473 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043350.473 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043350.473 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043350.473 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043350.473 * * [simplify]: Extracting #4: cost 5 inf + 42
1554043350.473 * * [simplify]: Extracting #5: cost 0 inf + 330
1554043350.473 * [simplify]: Simplified to (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1554043350.473 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))
1554043350.473 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))>
1554043350.473 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))
1554043350.473 * * [simplify]: iters left: 6 (11 enodes)
1554043350.476 * * [simplify]: iters left: 5 (36 enodes)
1554043350.483 * * [simplify]: iters left: 4 (113 enodes)
1554043350.521 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043350.521 * * [simplify]: Extracting #1: cost 47 inf + 0
1554043350.522 * * [simplify]: Extracting #2: cost 86 inf + 0
1554043350.522 * * [simplify]: Extracting #3: cost 135 inf + 444
1554043350.523 * * [simplify]: Extracting #4: cost 135 inf + 19159
1554043350.526 * * [simplify]: Extracting #5: cost 41 inf + 89813
1554043350.532 * * [simplify]: Extracting #6: cost 4 inf + 126851
1554043350.539 * * [simplify]: Extracting #7: cost 0 inf + 133619
1554043350.546 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 0.0) (real->posit16 1)) (+.p16 (+.p16 x x) (real->posit16 1)))
1554043350.546 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 0.0) (real->posit16 1)) (+.p16 (+.p16 x x) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))
1554043350.546 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.546 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.546 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.546 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.546 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.546 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043350.546 * * * [progress]: adding candidates to table
1554043351.059 * * [progress]: iteration 3 / 4
1554043351.059 * * * [progress]: picking best candidate
1554043351.163 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.163 * * * [progress]: localizing error
1554043351.576 * * * [progress]: generating rewritten candidates
1554043351.576 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1554043351.588 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1554043351.600 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1554043351.602 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1554043351.605 * * * [progress]: generating series expansions
1554043351.605 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1554043351.605 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1554043351.605 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1554043351.605 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1554043351.605 * * * [progress]: simplifying candidates
1554043351.605 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.605 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (+.p16 x (real->posit16 1)) (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.605 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.605 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))>
1554043351.605 * [simplify]: Simplifying (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))
1554043351.605 * * [simplify]: iters left: 4 (9 enodes)
1554043351.608 * * [simplify]: iters left: 3 (36 enodes)
1554043351.616 * * [simplify]: iters left: 2 (126 enodes)
1554043351.657 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.657 * * [simplify]: Extracting #1: cost 46 inf + 0
1554043351.657 * * [simplify]: Extracting #2: cost 96 inf + 0
1554043351.658 * * [simplify]: Extracting #3: cost 146 inf + 1527
1554043351.659 * * [simplify]: Extracting #4: cost 138 inf + 22563
1554043351.665 * * [simplify]: Extracting #5: cost 35 inf + 106803
1554043351.677 * * [simplify]: Extracting #6: cost 0 inf + 141195
1554043351.684 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1)))
1554043351.684 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))
1554043351.684 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.684 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.684 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 x) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554043351.684 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.684 * [simplify]: Simplifying (real->posit16 1)
1554043351.684 * * [simplify]: iters left: 1 (2 enodes)
1554043351.685 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.685 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043351.685 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043351.685 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043351.685 * [simplify]: Simplified to (real->posit16 1)
1554043351.685 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043351.685 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.685 * [simplify]: Simplifying (real->posit16 1)
1554043351.686 * * [simplify]: iters left: 1 (2 enodes)
1554043351.686 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.686 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043351.686 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043351.686 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043351.686 * [simplify]: Simplified to (real->posit16 1)
1554043351.686 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043351.686 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.687 * [simplify]: Simplifying (real->posit16 1)
1554043351.687 * * [simplify]: iters left: 1 (2 enodes)
1554043351.687 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.687 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043351.687 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043351.687 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043351.687 * [simplify]: Simplified to (real->posit16 1)
1554043351.687 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043351.688 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043351.688 * [simplify]: Simplifying (real->posit16 1)
1554043351.688 * * [simplify]: iters left: 1 (2 enodes)
1554043351.688 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.688 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043351.688 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043351.688 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043351.688 * [simplify]: Simplified to (real->posit16 1)
1554043351.688 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043351.689 * * * [progress]: adding candidates to table
1554043352.120 * * [progress]: iteration 4 / 4
1554043352.120 * * * [progress]: picking best candidate
1554043352.265 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.265 * * * [progress]: localizing error
1554043352.623 * * * [progress]: generating rewritten candidates
1554043352.623 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043352.628 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
1554043352.629 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043352.632 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1554043352.643 * * * [progress]: generating series expansions
1554043352.643 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043352.643 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
1554043352.643 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043352.643 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1554043352.643 * * * [progress]: simplifying candidates
1554043352.643 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.643 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.643 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (+.p16 x (real->posit16 1)) (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.643 * [simplify]: Simplifying (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))
1554043352.643 * * [simplify]: iters left: 3 (4 enodes)
1554043352.644 * * [simplify]: iters left: 2 (6 enodes)
1554043352.645 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043352.645 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043352.645 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043352.645 * * [simplify]: Extracting #3: cost 0 inf + 82
1554043352.645 * [simplify]: Simplified to (neg.p16 x)
1554043352.645 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (+.p16 (+.p16 x (real->posit16 1)) (neg.p16 x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043352.645 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.645 * [simplify]: Simplifying (*.p16 (sqrt.p16 x) (sqrt.p16 x))
1554043352.645 * * [simplify]: iters left: 2 (3 enodes)
1554043352.646 * * [simplify]: iters left: 1 (5 enodes)
1554043352.646 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043352.646 * * [simplify]: Extracting #1: cost 0 inf + 1
1554043352.646 * [simplify]: Simplified to x
1554043352.646 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1554043352.646 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.646 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 x) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554043352.646 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.646 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.646 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.647 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1554043352.647 * * * [progress]: adding candidates to table
1554043353.068 * [progress]: [Phase 3 of 3] Extracting.
1554043353.068 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))> #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>)
1554043353.069 * * * [regime-changes]: Trying 1 branch expressions: (x)
1554043353.069 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))> #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>)
1554043353.308 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
1554043353.309 * [simplify]: Simplifying (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))
1554043353.309 * * [simplify]: iters left: 5 (10 enodes)
1554043353.310 * * [simplify]: iters left: 4 (12 enodes)
1554043353.310 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.310 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043353.310 * * [simplify]: Extracting #2: cost 7 inf + 0
1554043353.310 * * [simplify]: Extracting #3: cost 8 inf + 1
1554043353.310 * * [simplify]: Extracting #4: cost 8 inf + 42
1554043353.310 * * [simplify]: Extracting #5: cost 0 inf + 1256
1554043353.311 * [simplify]: Simplified to (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))
1554043353.311 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043353.322 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043353.323 * * * * [points]: Setting MPFR precision to 64
1554043353.324 * * * * [points]: Setting MPFR precision to 320
1554043353.325 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043353.326 * * * * [points]: Setting MPFR precision to 64
1554043353.327 * * * * [points]: Setting MPFR precision to 320
1554043353.329 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043353.331 * * * * [points]: Setting MPFR precision to 64
1554043353.334 * * * * [points]: Setting MPFR precision to 320
1554043353.338 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043353.339 * * * * [points]: Setting MPFR precision to 64
1554043353.344 * * * * [points]: Setting MPFR precision to 320
1554043353.352 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043353.353 * * * * [points]: Setting MPFR precision to 64
1554043353.365 * * * * [points]: Setting MPFR precision to 320
1554043353.380 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043353.381 * * * * [points]: Setting MPFR precision to 64
1554043353.401 * * * * [points]: Setting MPFR precision to 320
1554043353.447 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043353.449 * * * * [points]: Setting MPFR precision to 64
1554043353.493 * * * * [points]: Setting MPFR precision to 320
1554043353.551 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043353.552 * * * * [points]: Setting MPFR precision to 64
1554043353.658 * * * * [points]: Setting MPFR precision to 320
1554043353.801 * * * * [points]: Computing exacts for 8000 points
1554043353.802 * * * * [points]: Setting MPFR precision to 64
1554043354.354 * * * * [points]: Setting MPFR precision to 320
1554043355.204 * * * * [points]: Filtering points with unrepresentable outputs
1554043355.560 * * * * [points]: Sampling 4151 additional inputs, on iter 1 have 3849 / 8000
1554043355.570 * * * * [points]: Computing exacts on every 259 of 4151 points to ramp up precision
1554043355.572 * * * * [points]: Setting MPFR precision to 64
1554043355.573 * * * * [points]: Setting MPFR precision to 320
1554043355.575 * * * * [points]: Computing exacts on every 129 of 4151 points to ramp up precision
1554043355.577 * * * * [points]: Setting MPFR precision to 64
1554043355.579 * * * * [points]: Setting MPFR precision to 320
1554043355.582 * * * * [points]: Computing exacts on every 64 of 4151 points to ramp up precision
1554043355.584 * * * * [points]: Setting MPFR precision to 64
1554043355.589 * * * * [points]: Setting MPFR precision to 320
1554043355.596 * * * * [points]: Computing exacts on every 32 of 4151 points to ramp up precision
1554043355.599 * * * * [points]: Setting MPFR precision to 64
1554043355.605 * * * * [points]: Setting MPFR precision to 320
1554043355.612 * * * * [points]: Computing exacts on every 16 of 4151 points to ramp up precision
1554043355.613 * * * * [points]: Setting MPFR precision to 64
1554043355.623 * * * * [points]: Setting MPFR precision to 320
1554043355.652 * * * * [points]: Computing exacts on every 8 of 4151 points to ramp up precision
1554043355.653 * * * * [points]: Setting MPFR precision to 64
1554043355.674 * * * * [points]: Setting MPFR precision to 320
1554043355.701 * * * * [points]: Computing exacts on every 4 of 4151 points to ramp up precision
1554043355.702 * * * * [points]: Setting MPFR precision to 64
1554043355.737 * * * * [points]: Setting MPFR precision to 320
1554043355.859 * * * * [points]: Computing exacts on every 2 of 4151 points to ramp up precision
1554043355.861 * * * * [points]: Setting MPFR precision to 64
1554043355.967 * * * * [points]: Setting MPFR precision to 320
1554043356.109 * * * * [points]: Computing exacts for 4151 points
1554043356.111 * * * * [points]: Setting MPFR precision to 64
1554043356.622 * * * * [points]: Setting MPFR precision to 320
1554043356.913 * * * * [points]: Filtering points with unrepresentable outputs
1554043357.011 * * * * [points]: Sampling 2106 additional inputs, on iter 2 have 5894 / 8000
1554043357.014 * * * * [points]: Computing exacts on every 131 of 2106 points to ramp up precision
1554043357.016 * * * * [points]: Setting MPFR precision to 64
1554043357.017 * * * * [points]: Setting MPFR precision to 320
1554043357.018 * * * * [points]: Computing exacts on every 65 of 2106 points to ramp up precision
1554043357.019 * * * * [points]: Setting MPFR precision to 64
1554043357.021 * * * * [points]: Setting MPFR precision to 320
1554043357.023 * * * * [points]: Computing exacts on every 32 of 2106 points to ramp up precision
1554043357.024 * * * * [points]: Setting MPFR precision to 64
1554043357.026 * * * * [points]: Setting MPFR precision to 320
1554043357.030 * * * * [points]: Computing exacts on every 16 of 2106 points to ramp up precision
1554043357.031 * * * * [points]: Setting MPFR precision to 64
1554043357.037 * * * * [points]: Setting MPFR precision to 320
1554043357.043 * * * * [points]: Computing exacts on every 8 of 2106 points to ramp up precision
1554043357.044 * * * * [points]: Setting MPFR precision to 64
1554043357.054 * * * * [points]: Setting MPFR precision to 320
1554043357.066 * * * * [points]: Computing exacts on every 4 of 2106 points to ramp up precision
1554043357.068 * * * * [points]: Setting MPFR precision to 64
1554043357.084 * * * * [points]: Setting MPFR precision to 320
1554043357.107 * * * * [points]: Computing exacts on every 2 of 2106 points to ramp up precision
1554043357.108 * * * * [points]: Setting MPFR precision to 64
1554043357.156 * * * * [points]: Setting MPFR precision to 320
1554043357.198 * * * * [points]: Computing exacts for 2106 points
1554043357.200 * * * * [points]: Setting MPFR precision to 64
1554043357.309 * * * * [points]: Setting MPFR precision to 320
1554043357.448 * * * * [points]: Filtering points with unrepresentable outputs
1554043357.493 * * * * [points]: Sampling 997 additional inputs, on iter 3 have 7003 / 8000
1554043357.495 * * * * [points]: Computing exacts on every 62 of 997 points to ramp up precision
1554043357.496 * * * * [points]: Setting MPFR precision to 64
1554043357.497 * * * * [points]: Setting MPFR precision to 320
1554043357.498 * * * * [points]: Computing exacts on every 31 of 997 points to ramp up precision
1554043357.499 * * * * [points]: Setting MPFR precision to 64
1554043357.500 * * * * [points]: Setting MPFR precision to 320
1554043357.502 * * * * [points]: Computing exacts on every 15 of 997 points to ramp up precision
1554043357.503 * * * * [points]: Setting MPFR precision to 64
1554043357.506 * * * * [points]: Setting MPFR precision to 320
1554043357.509 * * * * [points]: Computing exacts on every 7 of 997 points to ramp up precision
1554043357.511 * * * * [points]: Setting MPFR precision to 64
1554043357.516 * * * * [points]: Setting MPFR precision to 320
1554043357.522 * * * * [points]: Computing exacts on every 3 of 997 points to ramp up precision
1554043357.523 * * * * [points]: Setting MPFR precision to 64
1554043357.536 * * * * [points]: Setting MPFR precision to 320
1554043357.552 * * * * [points]: Computing exacts for 997 points
1554043357.553 * * * * [points]: Setting MPFR precision to 64
1554043357.628 * * * * [points]: Setting MPFR precision to 320
1554043357.713 * * * * [points]: Filtering points with unrepresentable outputs
1554043357.742 * * * * [points]: Sampling 522 additional inputs, on iter 4 have 7478 / 8000
1554043357.742 * * * * [points]: Computing exacts on every 32 of 522 points to ramp up precision
1554043357.744 * * * * [points]: Setting MPFR precision to 64
1554043357.744 * * * * [points]: Setting MPFR precision to 320
1554043357.745 * * * * [points]: Computing exacts on every 16 of 522 points to ramp up precision
1554043357.746 * * * * [points]: Setting MPFR precision to 64
1554043357.748 * * * * [points]: Setting MPFR precision to 320
1554043357.770 * * * * [points]: Computing exacts on every 8 of 522 points to ramp up precision
1554043357.772 * * * * [points]: Setting MPFR precision to 64
1554043357.776 * * * * [points]: Setting MPFR precision to 320
1554043357.783 * * * * [points]: Computing exacts on every 4 of 522 points to ramp up precision
1554043357.785 * * * * [points]: Setting MPFR precision to 64
1554043357.792 * * * * [points]: Setting MPFR precision to 320
1554043357.801 * * * * [points]: Computing exacts on every 2 of 522 points to ramp up precision
1554043357.803 * * * * [points]: Setting MPFR precision to 64
1554043357.815 * * * * [points]: Setting MPFR precision to 320
1554043357.831 * * * * [points]: Computing exacts for 522 points
1554043357.833 * * * * [points]: Setting MPFR precision to 64
1554043357.867 * * * * [points]: Setting MPFR precision to 320
1554043357.902 * * * * [points]: Filtering points with unrepresentable outputs
1554043357.913 * * * * [points]: Sampling 265 additional inputs, on iter 5 have 7735 / 8000
1554043357.913 * * * * [points]: Computing exacts on every 16 of 265 points to ramp up precision
1554043357.915 * * * * [points]: Setting MPFR precision to 64
1554043357.915 * * * * [points]: Setting MPFR precision to 320
1554043357.916 * * * * [points]: Computing exacts on every 8 of 265 points to ramp up precision
1554043357.917 * * * * [points]: Setting MPFR precision to 64
1554043357.918 * * * * [points]: Setting MPFR precision to 320
1554043357.920 * * * * [points]: Computing exacts on every 4 of 265 points to ramp up precision
1554043357.921 * * * * [points]: Setting MPFR precision to 64
1554043357.923 * * * * [points]: Setting MPFR precision to 320
1554043357.926 * * * * [points]: Computing exacts on every 2 of 265 points to ramp up precision
1554043357.928 * * * * [points]: Setting MPFR precision to 64
1554043357.931 * * * * [points]: Setting MPFR precision to 320
1554043357.957 * * * * [points]: Computing exacts for 265 points
1554043357.958 * * * * [points]: Setting MPFR precision to 64
1554043357.973 * * * * [points]: Setting MPFR precision to 320
1554043357.988 * * * * [points]: Filtering points with unrepresentable outputs
1554043357.994 * * * * [points]: Sampling 124 additional inputs, on iter 6 have 7876 / 8000
1554043357.995 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
1554043357.996 * * * * [points]: Setting MPFR precision to 64
1554043357.997 * * * * [points]: Setting MPFR precision to 320
1554043357.997 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
1554043357.999 * * * * [points]: Setting MPFR precision to 64
1554043358.000 * * * * [points]: Setting MPFR precision to 320
1554043358.002 * * * * [points]: Computing exacts for 124 points
1554043358.003 * * * * [points]: Setting MPFR precision to 64
1554043358.008 * * * * [points]: Setting MPFR precision to 320
1554043358.016 * * * * [points]: Filtering points with unrepresentable outputs
1554043358.021 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000
1554043358.021 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1554043358.023 * * * * [points]: Setting MPFR precision to 64
1554043358.024 * * * * [points]: Setting MPFR precision to 320
1554043358.025 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1554043358.026 * * * * [points]: Setting MPFR precision to 64
1554043358.027 * * * * [points]: Setting MPFR precision to 320
1554043358.029 * * * * [points]: Computing exacts for 65 points
1554043358.030 * * * * [points]: Setting MPFR precision to 64
1554043358.032 * * * * [points]: Setting MPFR precision to 320
1554043358.036 * * * * [points]: Filtering points with unrepresentable outputs
1554043358.038 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000
1554043358.038 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
1554043358.039 * * * * [points]: Setting MPFR precision to 64
1554043358.040 * * * * [points]: Setting MPFR precision to 320
1554043358.041 * * * * [points]: Computing exacts for 38 points
1554043358.042 * * * * [points]: Setting MPFR precision to 64
1554043358.043 * * * * [points]: Setting MPFR precision to 320
1554043358.046 * * * * [points]: Filtering points with unrepresentable outputs
1554043358.047 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000
1554043358.047 * * * * [points]: Computing exacts for 20 points
1554043358.048 * * * * [points]: Setting MPFR precision to 64
1554043358.049 * * * * [points]: Setting MPFR precision to 320
1554043358.050 * * * * [points]: Filtering points with unrepresentable outputs
1554043358.051 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
1554043358.051 * * * * [points]: Computing exacts for 6 points
1554043358.052 * * * * [points]: Setting MPFR precision to 64
1554043358.052 * * * * [points]: Setting MPFR precision to 320
1554043358.053 * * * * [points]: Filtering points with unrepresentable outputs
1554043358.053 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
1554043358.053 * * * * [points]: Computing exacts for 4 points
1554043358.054 * * * * [points]: Setting MPFR precision to 64
1554043358.054 * * * * [points]: Setting MPFR precision to 320
1554043358.054 * * * * [points]: Filtering points with unrepresentable outputs
1554043358.055 * * * * [points]: Sampled 8000 points with exact outputs
1554043361.738 * [regime-testing]: Baseline error score: 64.0
1554043361.751 * [regime-testing]: Oracle error score: 64.0
1554043361.757 * [regime-testing]: End program error score: 0.650977795116447