1554300884.419 * [misc]progress:  [Phase 1 of 3] Setting up.
1554300884.419 * * * [misc]progress:  [1/2] Preparing points
1554300884.419 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554300884.420 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554300884.422 * * * * [misc]points:  Setting MPFR precision to 64
1554300884.424 * * * * [misc]points:  Setting MPFR precision to 320
1554300884.425 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554300884.428 * * * * [misc]points:  Setting MPFR precision to 64
1554300884.430 * * * * [misc]points:  Setting MPFR precision to 320
1554300884.433 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554300884.436 * * * * [misc]points:  Setting MPFR precision to 64
1554300884.440 * * * * [misc]points:  Setting MPFR precision to 320
1554300884.444 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554300884.447 * * * * [misc]points:  Setting MPFR precision to 64
1554300884.454 * * * * [misc]points:  Setting MPFR precision to 320
1554300884.458 * * * * [misc]points:  Computing exacts for 256 points
1554300884.459 * * * * [misc]points:  Setting MPFR precision to 64
1554300884.471 * * * * [misc]points:  Setting MPFR precision to 320
1554300884.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300884.483 * * * * [exit]points:  Sampled 256 points with exact outputs
1554300884.484 * * * [misc]progress:  [2/2] Setting up program.
1554300884.492 * [misc]progress:  [Phase 2 of 3] Improving.
1554300884.492 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554300884.492 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300884.493 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300884.495 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300884.499 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300884.506 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300884.540 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300884.540 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300884.541 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300884.541 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300884.541 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300884.544 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300884.552 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300884.560 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300884.568 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300884.568 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554300884.577 * * [misc]progress:  iteration 1 / 4
1554300884.577 * * * [misc]progress:  picking best candidate
1554300884.585 * * * * [misc]pick:  Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554300884.585 * * * [misc]progress:  localizing error
1554300884.722 * * * [misc]progress:  generating rewritten candidates
1554300884.722 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1554300884.725 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1554300884.727 * * * [misc]progress:  generating series expansions
1554300884.727 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1554300884.727 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1554300884.727 * * * [misc]progress:  simplifying candidates
1554300884.727 * * * * [misc]progress:  [ 1 / 4 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x))))>
1554300884.727 * * * * [misc]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))))>
1554300884.727 * * * * [misc]progress:  [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554300884.727 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300884.727 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300884.729 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300884.733 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300884.740 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300884.762 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300884.762 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300884.762 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300884.763 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300884.764 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300884.770 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300884.785 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300884.799 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300884.807 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300884.807 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554300884.807 * * * * [misc]progress:  [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554300884.807 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300884.807 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300884.809 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300884.813 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300884.821 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300884.843 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300884.844 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300884.844 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300884.844 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300884.844 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300884.847 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300884.855 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300884.866 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300884.874 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300884.874 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554300884.874 * * * [misc]progress:  adding candidates to table
1554300884.947 * * [misc]progress:  iteration 2 / 4
1554300884.947 * * * [misc]progress:  picking best candidate
1554300884.956 * * * * [misc]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))))>
1554300884.956 * * * [misc]progress:  localizing error
1554300885.113 * * * [misc]progress:  generating rewritten candidates
1554300885.114 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554300885.122 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1554300885.124 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1554300885.128 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1554300885.130 * * * [misc]progress:  generating series expansions
1554300885.130 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554300885.130 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1554300885.130 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1554300885.130 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1554300885.130 * * * [misc]progress:  simplifying candidates
1554300885.130 * * * * [misc]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)))))>
1554300885.130 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300885.131 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300885.132 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300885.135 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300885.138 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300885.138 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300885.138 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300885.138 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300885.138 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300885.138 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300885.138 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300885.138 * [misc]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)))))
1554300885.138 * * * * [misc]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))))))>
1554300885.138 * [enter]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))))
1554300885.138 * * [misc]simplify:  iters left: 6 (11 enodes)
1554300885.141 * * [misc]simplify:  iters left: 5 (43 enodes)
1554300885.150 * * [misc]simplify:  iters left: 4 (140 enodes)
1554300885.186 * * [misc]simplify:  iters left: 3 (442 enodes)
1554300885.410 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300885.410 * * [misc]simplify:  Extracting #1: cost 41 inf + 0
1554300885.411 * * [misc]simplify:  Extracting #2: cost 283 inf + 0
1554300885.412 * * [misc]simplify:  Extracting #3: cost 444 inf + 324
1554300885.420 * * [misc]simplify:  Extracting #4: cost 494 inf + 199122
1554300885.488 * * [misc]simplify:  Extracting #5: cost 80 inf + 1116354
1554300885.563 * * [misc]simplify:  Extracting #6: cost 0 inf + 1325634
1554300885.685 * * [misc]simplify:  Extracting #7: cost 0 inf + 1325514
1554300885.817 * [exit]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)))))
1554300885.818 * [misc]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))))))
1554300885.818 * * * * [misc]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))))>
1554300885.818 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300885.818 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300885.820 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300885.822 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300885.826 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300885.826 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300885.826 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300885.826 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300885.826 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300885.826 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300885.826 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300885.826 * [misc]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))))
1554300885.826 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300885.826 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300885.828 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300885.831 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300885.839 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300885.860 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300885.860 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300885.860 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300885.860 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300885.861 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300885.864 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300885.871 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300885.880 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300885.888 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300885.888 * [misc]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))))
1554300885.888 * * * * [misc]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))))>
1554300885.888 * * * * [misc]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))))>
1554300885.888 * * * * [misc]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))))))>
1554300885.888 * * * * [misc]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))))>
1554300885.889 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1554300885.889 * * [misc]simplify:  iters left: 2 (4 enodes)
1554300885.890 * * [misc]simplify:  iters left: 1 (10 enodes)
1554300885.891 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300885.892 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300885.892 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300885.892 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1554300885.892 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1554300885.892 * [misc]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))))
1554300885.892 * * * * [misc]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))))>
1554300885.892 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
1554300885.892 * * [misc]simplify:  iters left: 4 (6 enodes)
1554300885.893 * * [misc]simplify:  iters left: 3 (15 enodes)
1554300885.896 * * [misc]simplify:  iters left: 2 (19 enodes)
1554300885.899 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300885.899 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554300885.899 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1554300885.899 * * [misc]simplify:  Extracting #3: cost 6 inf + 2
1554300885.899 * * [misc]simplify:  Extracting #4: cost 0 inf + 2132
1554300885.900 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
1554300885.900 * [misc]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))))
1554300885.900 * * * * [misc]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))))>
1554300885.900 * * * * [misc]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))))>
1554300885.900 * * * * [misc]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))))>
1554300885.900 * * * * [misc]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))))>
1554300885.900 * * * * [misc]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))))>
1554300885.900 * * * [misc]progress:  adding candidates to table
1554300886.180 * * [misc]progress:  iteration 3 / 4
1554300886.180 * * * [misc]progress:  picking best candidate
1554300886.229 * * * * [misc]pick:  Picked  #<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)))))>
1554300886.229 * * * [misc]progress:  localizing error
1554300886.271 * * * [misc]progress:  generating rewritten candidates
1554300886.271 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1554300886.284 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1554300886.287 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1554300886.291 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1554300886.295 * * * [misc]progress:  generating series expansions
1554300886.295 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1554300886.295 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1554300886.295 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1554300886.295 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1554300886.295 * * * [misc]progress:  simplifying candidates
1554300886.295 * * * * [misc]progress:  [ 1 / 9 ] simplifiying candidate #<alt (λ (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))) (/.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)))))>
1554300886.295 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300886.295 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300886.298 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300886.300 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300886.302 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300886.303 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300886.303 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300886.303 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300886.303 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300886.303 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300886.303 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300886.303 * [misc]simplify:  Simplified (2 2 2) to (λ (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))) (/.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 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))))
1554300886.303 * * * * [misc]progress:  [ 2 / 9 ] 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))) (neg.p16 (/.p16 (real->posit16 1) x))))))>
1554300886.303 * * * * [misc]progress:  [ 3 / 9 ] 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 (*.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))))))>
1554300886.303 * * * * [misc]progress:  [ 4 / 9 ] 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) 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)))))>
1554300886.303 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (/.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)))))>
1554300886.303 * * * * [misc]progress:  [ 6 / 9 ] 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)))))>
1554300886.303 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300886.303 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300886.305 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300886.307 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300886.310 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300886.310 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300886.310 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300886.310 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300886.310 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300886.310 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300886.310 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300886.310 * [misc]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)))))
1554300886.310 * * * * [misc]progress:  [ 7 / 9 ] 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)))))>
1554300886.310 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300886.310 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300886.312 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300886.314 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300886.317 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300886.317 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300886.317 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300886.317 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300886.317 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300886.317 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300886.317 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300886.317 * [misc]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)))))
1554300886.317 * * * * [misc]progress:  [ 8 / 9 ] 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)))))>
1554300886.317 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300886.317 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300886.319 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300886.321 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300886.324 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300886.324 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300886.324 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300886.324 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300886.324 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300886.324 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300886.324 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300886.324 * [misc]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)))))
1554300886.324 * * * * [misc]progress:  [ 9 / 9 ] 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)))))>
1554300886.324 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300886.324 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300886.326 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300886.328 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300886.331 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300886.331 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300886.331 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300886.331 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300886.331 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300886.331 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300886.331 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300886.331 * [misc]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)))))
1554300886.331 * * * [misc]progress:  adding candidates to table
1554300886.481 * * [misc]progress:  iteration 4 / 4
1554300886.481 * * * [misc]progress:  picking best candidate
1554300886.535 * * * * [misc]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))))>
1554300886.536 * * * [misc]progress:  localizing error
1554300886.606 * * * [misc]progress:  generating rewritten candidates
1554300886.606 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554300886.619 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1554300886.624 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1554300886.632 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1554300886.643 * * * [misc]progress:  generating series expansions
1554300886.643 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554300886.643 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1554300886.643 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1554300886.643 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1554300886.643 * * * [misc]progress:  simplifying candidates
1554300886.643 * * * * [misc]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)))))>
1554300886.643 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300886.643 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300886.645 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300886.648 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300886.650 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300886.650 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300886.650 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300886.650 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300886.650 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300886.650 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300886.650 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300886.650 * [misc]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)))))
1554300886.651 * * * * [misc]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)))))>
1554300886.651 * [enter]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))))
1554300886.651 * * [misc]simplify:  iters left: 6 (11 enodes)
1554300886.653 * * [misc]simplify:  iters left: 5 (36 enodes)
1554300886.660 * * [misc]simplify:  iters left: 4 (106 enodes)
1554300886.695 * * [misc]simplify:  iters left: 3 (375 enodes)
1554300886.930 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300886.930 * * [misc]simplify:  Extracting #1: cost 52 inf + 0
1554300886.931 * * [misc]simplify:  Extracting #2: cost 302 inf + 0
1554300886.933 * * [misc]simplify:  Extracting #3: cost 422 inf + 3
1554300886.940 * * [misc]simplify:  Extracting #4: cost 394 inf + 185686
1554300886.979 * * [misc]simplify:  Extracting #5: cost 54 inf + 860963
1554300887.086 * * [misc]simplify:  Extracting #6: cost 0 inf + 993351
1554300887.151 * [exit]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))))
1554300887.152 * [misc]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)))))
1554300887.152 * * * * [misc]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))))>
1554300887.152 * * * * [misc]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))))>
1554300887.152 * * * * [misc]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))))))>
1554300887.152 * * * * [misc]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))))>
1554300887.152 * * * * [misc]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))))>
1554300887.153 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.153 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.157 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300887.161 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300887.166 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.166 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300887.166 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300887.166 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300887.166 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300887.166 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300887.167 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.167 * [misc]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))))
1554300887.167 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.167 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.170 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300887.178 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300887.194 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300887.237 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.237 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300887.238 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300887.238 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300887.239 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300887.245 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300887.260 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300887.276 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300887.292 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.292 * [misc]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))))
1554300887.293 * * * * [misc]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))))>
1554300887.293 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.293 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.296 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300887.301 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300887.306 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.306 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300887.306 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300887.306 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300887.306 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300887.306 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300887.306 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.306 * [misc]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))))
1554300887.307 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.307 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.310 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300887.317 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300887.332 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300887.379 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.379 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300887.379 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300887.380 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300887.381 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300887.387 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300887.402 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300887.418 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300887.434 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.434 * [misc]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))))
1554300887.434 * * * * [misc]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))))>
1554300887.434 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.435 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.438 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300887.443 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300887.448 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.448 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300887.448 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300887.448 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300887.448 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300887.449 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300887.449 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.449 * [misc]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))))
1554300887.449 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.449 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.453 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300887.460 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300887.475 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300887.520 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.520 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300887.521 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300887.521 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300887.522 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300887.529 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300887.543 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300887.559 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300887.575 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.575 * [misc]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))))
1554300887.575 * * * * [misc]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))))>
1554300887.576 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.576 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.579 * * [misc]simplify:  iters left: 3 (14 enodes)
1554300887.584 * * [misc]simplify:  iters left: 2 (16 enodes)
1554300887.589 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.589 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300887.589 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300887.589 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300887.589 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300887.589 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554300887.589 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.589 * [misc]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))))
1554300887.590 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300887.590 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300887.593 * * [misc]simplify:  iters left: 3 (20 enodes)
1554300887.600 * * [misc]simplify:  iters left: 2 (40 enodes)
1554300887.615 * * [misc]simplify:  iters left: 1 (96 enodes)
1554300887.661 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300887.661 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300887.661 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554300887.662 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554300887.667 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554300887.673 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554300887.688 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554300887.704 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554300887.721 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554300887.721 * [misc]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))))
1554300887.722 * * * [misc]progress:  adding candidates to table
1554300888.034 * [misc]progress:  [Phase 3 of 3] Extracting.
1554300888.034 * * [misc]regime:  Finding splitpoints for: (#<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 (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 (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) 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 (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))) (/.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))))))> #<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)))))> #<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 (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))))>)
1554300888.037 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1554300888.037 * * * * [misc]regimes:  Trying to branch on x from (#<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 (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 (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) 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 (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))) (/.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))))))> #<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)))))> #<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 (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))))>)
1554300888.167 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1554300888.167 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300888.167 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300888.172 * * [misc]simplify:  iters left: 3 (9 enodes)
1554300888.172 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300888.172 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300888.172 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300888.172 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300888.172 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554300888.173 * * [misc]simplify:  Extracting #5: cost 0 inf + 1971
1554300888.173 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554300888.173 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554300888.184 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554300888.186 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.187 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.187 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554300888.189 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.190 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.192 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554300888.193 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.196 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.199 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554300888.201 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.207 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.213 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554300888.215 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.226 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.238 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554300888.240 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.263 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.287 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554300888.289 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.361 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.411 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554300888.413 * * * * [misc]points:  Setting MPFR precision to 64
1554300888.531 * * * * [misc]points:  Setting MPFR precision to 320
1554300888.627 * * * * [misc]points:  Computing exacts for 8000 points
1554300888.629 * * * * [misc]points:  Setting MPFR precision to 64
1554300889.125 * * * * [misc]points:  Setting MPFR precision to 320
1554300890.120 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300890.143 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554300893.455 * [misc]regime-testing:  Baseline error score: 64.0
1554300893.457 * [misc]regime-testing:  Oracle error score: 64.0
1554300893.462 * [misc]regime-testing:  End program error score: 0.6063346653299511