1554043359.914 * [progress]: [Phase 1 of 3] Setting up.
1554043359.914 * * * [progress]: [1/2] Preparing points
1554043359.914 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043359.915 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043359.917 * * * * [points]: Setting MPFR precision to 64
1554043359.918 * * * * [points]: Setting MPFR precision to 320
1554043359.920 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043359.923 * * * * [points]: Setting MPFR precision to 64
1554043359.926 * * * * [points]: Setting MPFR precision to 320
1554043359.929 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043359.932 * * * * [points]: Setting MPFR precision to 64
1554043359.937 * * * * [points]: Setting MPFR precision to 320
1554043359.942 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043359.946 * * * * [points]: Setting MPFR precision to 64
1554043359.954 * * * * [points]: Setting MPFR precision to 320
1554043359.963 * * * * [points]: Computing exacts for 256 points
1554043359.966 * * * * [points]: Setting MPFR precision to 64
1554043359.989 * * * * [points]: Setting MPFR precision to 320
1554043360.018 * * * * [points]: Filtering points with unrepresentable outputs
1554043360.050 * * * * [points]: Sampled 256 points with exact outputs
1554043360.050 * * * [progress]: [2/2] Setting up program.
1554043360.084 * [progress]: [Phase 2 of 3] Improving.
1554043360.084 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554043360.084 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043360.085 * * [simplify]: iters left: 4 (7 enodes)
1554043360.088 * * [simplify]: iters left: 3 (20 enodes)
1554043360.095 * * [simplify]: iters left: 2 (40 enodes)
1554043360.110 * * [simplify]: iters left: 1 (96 enodes)
1554043360.154 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043360.154 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043360.154 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043360.155 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043360.156 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043360.162 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043360.176 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043360.193 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043360.609 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043360.609 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554043360.644 * * [progress]: iteration 1 / 4
1554043360.644 * * * [progress]: picking best candidate
1554043360.676 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554043360.676 * * * [progress]: localizing error
1554043360.948 * * * [progress]: generating rewritten candidates
1554043360.948 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1554043360.953 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1554043360.957 * * * [progress]: generating series expansions
1554043360.957 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1554043360.957 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1554043360.957 * * * [progress]: simplifying candidates
1554043360.957 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x))))>
1554043360.957 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043360.957 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554043360.958 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043360.958 * * [simplify]: iters left: 4 (7 enodes)
1554043360.961 * * [simplify]: iters left: 3 (20 enodes)
1554043360.969 * * [simplify]: iters left: 2 (40 enodes)
1554043360.984 * * [simplify]: iters left: 1 (96 enodes)
1554043361.029 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043361.029 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043361.030 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043361.030 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043361.032 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043361.038 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043361.058 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043361.074 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043361.090 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043361.091 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554043361.091 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554043361.091 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043361.091 * * [simplify]: iters left: 4 (7 enodes)
1554043361.095 * * [simplify]: iters left: 3 (20 enodes)
1554043361.103 * * [simplify]: iters left: 2 (40 enodes)
1554043361.118 * * [simplify]: iters left: 1 (96 enodes)
1554043361.164 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043361.164 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043361.164 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043361.165 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043361.166 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043361.172 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043361.187 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043361.204 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043361.220 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043361.220 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554043361.221 * * * [progress]: adding candidates to table
1554043361.359 * * [progress]: iteration 2 / 4
1554043361.360 * * * [progress]: picking best candidate
1554043361.403 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043361.404 * * * [progress]: localizing error
1554043361.757 * * * [progress]: generating rewritten candidates
1554043361.757 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043361.782 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043361.787 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043361.795 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1554043361.801 * * * [progress]: generating series expansions
1554043361.801 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043361.801 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043361.801 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043361.801 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1554043361.801 * * * [progress]: simplifying candidates
1554043361.801 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))>
1554043361.801 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043361.801 * * [simplify]: iters left: 4 (7 enodes)
1554043361.803 * * [simplify]: iters left: 3 (14 enodes)
1554043361.805 * * [simplify]: iters left: 2 (16 enodes)
1554043361.808 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043361.808 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043361.808 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043361.808 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043361.808 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043361.808 * * [simplify]: Extracting #5: cost 0 inf + 1931
1554043361.808 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043361.808 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))
1554043361.808 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))>
1554043361.808 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
1554043361.808 * * [simplify]: iters left: 6 (11 enodes)
1554043361.811 * * [simplify]: iters left: 5 (43 enodes)
1554043361.820 * * [simplify]: iters left: 4 (140 enodes)
1554043361.857 * * [simplify]: iters left: 3 (442 enodes)
1554043362.191 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043362.191 * * [simplify]: Extracting #1: cost 41 inf + 0
1554043362.192 * * [simplify]: Extracting #2: cost 283 inf + 0
1554043362.193 * * [simplify]: Extracting #3: cost 444 inf + 324
1554043362.201 * * [simplify]: Extracting #4: cost 494 inf + 199122
1554043362.272 * * [simplify]: Extracting #5: cost 80 inf + 1116354
1554043362.386 * * [simplify]: Extracting #6: cost 0 inf + 1325634
1554043362.510 * * [simplify]: Extracting #7: cost 0 inf + 1325514
1554043362.611 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))))
1554043362.611 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))
1554043362.611 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.611 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043362.611 * * [simplify]: iters left: 4 (7 enodes)
1554043362.613 * * [simplify]: iters left: 3 (14 enodes)
1554043362.615 * * [simplify]: iters left: 2 (16 enodes)
1554043362.618 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043362.618 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043362.618 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043362.618 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043362.618 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043362.618 * * [simplify]: Extracting #5: cost 0 inf + 1931
1554043362.618 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043362.618 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043362.618 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043362.619 * * [simplify]: iters left: 4 (7 enodes)
1554043362.620 * * [simplify]: iters left: 3 (20 enodes)
1554043362.624 * * [simplify]: iters left: 2 (40 enodes)
1554043362.631 * * [simplify]: iters left: 1 (96 enodes)
1554043362.663 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043362.664 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043362.664 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043362.664 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043362.666 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043362.672 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043362.687 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043362.703 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043362.716 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043362.716 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043362.716 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.717 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.717 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))))>
1554043362.717 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.717 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043362.717 * * [simplify]: iters left: 2 (4 enodes)
1554043362.718 * * [simplify]: iters left: 1 (10 enodes)
1554043362.720 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043362.720 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043362.720 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043362.720 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043362.720 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043362.720 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043362.720 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.720 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
1554043362.720 * * [simplify]: iters left: 4 (6 enodes)
1554043362.722 * * [simplify]: iters left: 3 (15 enodes)
1554043362.724 * * [simplify]: iters left: 2 (19 enodes)
1554043362.727 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043362.727 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043362.727 * * [simplify]: Extracting #2: cost 8 inf + 0
1554043362.727 * * [simplify]: Extracting #3: cost 6 inf + 2
1554043362.727 * * [simplify]: Extracting #4: cost 0 inf + 2132
1554043362.728 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
1554043362.728 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043362.728 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.728 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.728 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.728 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.728 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043362.728 * * * [progress]: adding candidates to table
1554043363.584 * * [progress]: iteration 3 / 4
1554043363.585 * * * [progress]: picking best candidate
1554043363.713 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043363.713 * * * [progress]: localizing error
1554043364.129 * * * [progress]: generating rewritten candidates
1554043364.129 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043364.155 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1554043364.160 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043364.168 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1554043364.177 * * * [progress]: generating series expansions
1554043364.177 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043364.177 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1554043364.177 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043364.177 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1554043364.177 * * * [progress]: simplifying candidates
1554043364.177 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))>
1554043364.177 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.177 * * [simplify]: iters left: 4 (7 enodes)
1554043364.182 * * [simplify]: iters left: 3 (14 enodes)
1554043364.186 * * [simplify]: iters left: 2 (16 enodes)
1554043364.191 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.191 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043364.191 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043364.191 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043364.191 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043364.191 * * [simplify]: Extracting #5: cost 0 inf + 1931
1554043364.192 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.192 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))
1554043364.192 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))>
1554043364.192 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
1554043364.192 * * [simplify]: iters left: 6 (11 enodes)
1554043364.197 * * [simplify]: iters left: 5 (36 enodes)
1554043364.211 * * [simplify]: iters left: 4 (106 enodes)
1554043364.259 * * [simplify]: iters left: 3 (375 enodes)
1554043364.489 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.489 * * [simplify]: Extracting #1: cost 52 inf + 0
1554043364.490 * * [simplify]: Extracting #2: cost 302 inf + 0
1554043364.492 * * [simplify]: Extracting #3: cost 422 inf + 3
1554043364.499 * * [simplify]: Extracting #4: cost 394 inf + 185686
1554043364.539 * * [simplify]: Extracting #5: cost 54 inf + 860963
1554043364.594 * * [simplify]: Extracting #6: cost 0 inf + 993351
1554043364.661 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
1554043364.661 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))
1554043364.662 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043364.662 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043364.662 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))))>
1554043364.662 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043364.662 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043364.662 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.662 * * [simplify]: iters left: 4 (7 enodes)
1554043364.665 * * [simplify]: iters left: 3 (14 enodes)
1554043364.667 * * [simplify]: iters left: 2 (16 enodes)
1554043364.669 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.669 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043364.669 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043364.669 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043364.669 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043364.669 * * [simplify]: Extracting #5: cost 0 inf + 1931
1554043364.669 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.669 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043364.670 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.670 * * [simplify]: iters left: 4 (7 enodes)
1554043364.671 * * [simplify]: iters left: 3 (20 enodes)
1554043364.675 * * [simplify]: iters left: 2 (40 enodes)
1554043364.682 * * [simplify]: iters left: 1 (96 enodes)
1554043364.704 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.704 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043364.704 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043364.704 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043364.705 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043364.710 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043364.724 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043364.739 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043364.755 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.755 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043364.755 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043364.756 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.756 * * [simplify]: iters left: 4 (7 enodes)
1554043364.759 * * [simplify]: iters left: 3 (14 enodes)
1554043364.763 * * [simplify]: iters left: 2 (16 enodes)
1554043364.768 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.768 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043364.768 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043364.768 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043364.768 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043364.768 * * [simplify]: Extracting #5: cost 0 inf + 1931
1554043364.769 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.769 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043364.769 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.769 * * [simplify]: iters left: 4 (7 enodes)
1554043364.772 * * [simplify]: iters left: 3 (20 enodes)
1554043364.781 * * [simplify]: iters left: 2 (40 enodes)
1554043364.796 * * [simplify]: iters left: 1 (96 enodes)
1554043364.838 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.839 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043364.839 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043364.839 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043364.840 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043364.846 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043364.861 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043364.877 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043364.893 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.894 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043364.894 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043364.894 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.894 * * [simplify]: iters left: 4 (7 enodes)
1554043364.897 * * [simplify]: iters left: 3 (14 enodes)
1554043364.902 * * [simplify]: iters left: 2 (16 enodes)
1554043364.906 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.906 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043364.906 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043364.906 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043364.906 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043364.906 * * [simplify]: Extracting #5: cost 0 inf + 1931
1554043364.906 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.906 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043364.906 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.906 * * [simplify]: iters left: 4 (7 enodes)
1554043364.908 * * [simplify]: iters left: 3 (20 enodes)
1554043364.912 * * [simplify]: iters left: 2 (40 enodes)
1554043364.919 * * [simplify]: iters left: 1 (96 enodes)
1554043364.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.944 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043364.944 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043364.944 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043364.944 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043364.947 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043364.956 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043364.967 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043364.983 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.984 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043364.984 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043364.984 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.984 * * [simplify]: iters left: 4 (7 enodes)
1554043364.987 * * [simplify]: iters left: 3 (14 enodes)
1554043364.992 * * [simplify]: iters left: 2 (16 enodes)
1554043364.996 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043364.996 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043364.996 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043364.996 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043364.996 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043364.996 * * [simplify]: Extracting #5: cost 0 inf + 1931
1554043364.996 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043364.997 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043364.997 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043364.997 * * [simplify]: iters left: 4 (7 enodes)
1554043365.000 * * [simplify]: iters left: 3 (20 enodes)
1554043365.006 * * [simplify]: iters left: 2 (40 enodes)
1554043365.013 * * [simplify]: iters left: 1 (96 enodes)
1554043365.036 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043365.036 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043365.037 * * [simplify]: Extracting #2: cost 55 inf + 0
1554043365.037 * * [simplify]: Extracting #3: cost 96 inf + 1
1554043365.037 * * [simplify]: Extracting #4: cost 121 inf + 8666
1554043365.040 * * [simplify]: Extracting #5: cost 47 inf + 106853
1554043365.047 * * [simplify]: Extracting #6: cost 2 inf + 188223
1554043365.056 * * [simplify]: Extracting #7: cost 0 inf + 193827
1554043365.064 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554043365.064 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043365.064 * * * [progress]: adding candidates to table
1554043365.402 * * [progress]: iteration 4 / 4
1554043365.402 * * * [progress]: picking best candidate
1554043365.494 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.494 * * * [progress]: localizing error
1554043365.817 * * * [progress]: generating rewritten candidates
1554043365.817 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043365.830 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043365.837 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043365.845 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1554043365.847 * * * [progress]: generating series expansions
1554043365.847 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043365.847 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043365.847 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043365.848 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1554043365.848 * * * [progress]: simplifying candidates
1554043365.848 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))>
1554043365.848 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
1554043365.848 * * [simplify]: iters left: 6 (12 enodes)
1554043365.851 * * [simplify]: iters left: 5 (45 enodes)
1554043365.861 * * [simplify]: iters left: 4 (135 enodes)
1554043365.895 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043365.895 * * [simplify]: Extracting #1: cost 21 inf + 0
1554043365.895 * * [simplify]: Extracting #2: cost 77 inf + 0
1554043365.896 * * [simplify]: Extracting #3: cost 151 inf + 1
1554043365.897 * * [simplify]: Extracting #4: cost 164 inf + 12397
1554043365.901 * * [simplify]: Extracting #5: cost 84 inf + 125354
1554043365.912 * * [simplify]: Extracting #6: cost 16 inf + 256210
1554043365.929 * * [simplify]: Extracting #7: cost 0 inf + 295602
1554043365.941 * * [simplify]: Extracting #8: cost 0 inf + 295522
1554043365.954 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
1554043365.954 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))
1554043365.955 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.955 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.955 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))))>
1554043365.955 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.955 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.955 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x))
1554043365.955 * * [simplify]: iters left: 3 (5 enodes)
1554043365.957 * * [simplify]: iters left: 2 (13 enodes)
1554043365.959 * * [simplify]: iters left: 1 (17 enodes)
1554043365.962 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043365.962 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043365.962 * * [simplify]: Extracting #2: cost 6 inf + 1
1554043365.962 * * [simplify]: Extracting #3: cost 5 inf + 2
1554043365.962 * * [simplify]: Extracting #4: cost 0 inf + 1970
1554043365.962 * [simplify]: Simplified to (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x))
1554043365.962 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043365.962 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.962 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.962 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043365.962 * * [simplify]: iters left: 2 (4 enodes)
1554043365.963 * * [simplify]: iters left: 1 (10 enodes)
1554043365.965 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043365.965 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043365.965 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043365.965 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043365.965 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043365.965 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043365.965 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.965 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043365.965 * * [simplify]: iters left: 2 (4 enodes)
1554043365.966 * * [simplify]: iters left: 1 (10 enodes)
1554043365.968 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043365.968 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043365.968 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043365.968 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043365.968 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043365.968 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043365.968 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.968 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043365.968 * * [simplify]: iters left: 2 (4 enodes)
1554043365.969 * * [simplify]: iters left: 1 (10 enodes)
1554043365.971 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043365.971 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043365.971 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043365.971 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043365.971 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043365.971 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043365.971 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1554043365.971 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043365.971 * * [simplify]: iters left: 2 (4 enodes)
1554043365.972 * * [simplify]: iters left: 1 (10 enodes)
1554043365.974 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043365.974 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043365.974 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043365.974 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043365.974 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043365.974 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1554043365.974 * * * [progress]: adding candidates to table
1554043366.813 * [progress]: [Phase 3 of 3] Extracting.
1554043366.813 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>)
1554043366.816 * * * [regime-changes]: Trying 1 branch expressions: (x)
1554043366.816 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>)
1554043367.243 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
1554043367.243 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043367.243 * * [simplify]: iters left: 4 (7 enodes)
1554043367.244 * * [simplify]: iters left: 3 (9 enodes)
1554043367.245 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043367.245 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043367.245 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043367.245 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043367.245 * * [simplify]: Extracting #4: cost 5 inf + 2
1554043367.245 * * [simplify]: Extracting #5: cost 0 inf + 1971
1554043367.245 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554043367.245 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043367.257 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043367.259 * * * * [points]: Setting MPFR precision to 64
1554043367.260 * * * * [points]: Setting MPFR precision to 320
1554043367.261 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043367.262 * * * * [points]: Setting MPFR precision to 64
1554043367.264 * * * * [points]: Setting MPFR precision to 320
1554043367.266 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043367.267 * * * * [points]: Setting MPFR precision to 64
1554043367.270 * * * * [points]: Setting MPFR precision to 320
1554043367.274 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043367.276 * * * * [points]: Setting MPFR precision to 64
1554043367.282 * * * * [points]: Setting MPFR precision to 320
1554043367.290 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043367.292 * * * * [points]: Setting MPFR precision to 64
1554043367.303 * * * * [points]: Setting MPFR precision to 320
1554043367.320 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043367.322 * * * * [points]: Setting MPFR precision to 64
1554043367.345 * * * * [points]: Setting MPFR precision to 320
1554043367.393 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043367.395 * * * * [points]: Setting MPFR precision to 64
1554043367.439 * * * * [points]: Setting MPFR precision to 320
1554043367.499 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043367.523 * * * * [points]: Setting MPFR precision to 64
1554043367.616 * * * * [points]: Setting MPFR precision to 320
1554043367.763 * * * * [points]: Computing exacts for 8000 points
1554043367.765 * * * * [points]: Setting MPFR precision to 64
1554043368.454 * * * * [points]: Setting MPFR precision to 320
1554043369.119 * * * * [points]: Filtering points with unrepresentable outputs
1554043369.412 * * * * [points]: Sampled 8000 points with exact outputs
1554043372.909 * [regime-testing]: Baseline error score: 64.0
1554043372.911 * [regime-testing]: Oracle error score: 64.0
1554043372.920 * [regime-testing]: End program error score: 0.6346849901740913