1554305037.407 * [misc]progress:  [Phase 1 of 3] Setting up.
1554305037.407 * * * [misc]progress:  [1/2] Preparing points
1554305037.407 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554305037.408 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554305037.410 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.411 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.412 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554305037.415 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.417 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.420 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554305037.423 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.427 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.431 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554305037.434 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.441 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.448 * * * * [misc]points:  Computing exacts for 256 points
1554305037.451 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.482 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.506 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305037.506 * * * * [exit]points:  Sampled 256 points with exact outputs
1554305037.507 * * * [misc]progress:  [2/2] Setting up program.
1554305037.523 * [misc]progress:  [Phase 2 of 3] Improving.
1554305037.523 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554305037.523 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305037.523 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305037.527 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305037.535 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305037.549 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305037.593 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305037.593 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305037.594 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305037.594 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305037.595 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305037.602 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305037.616 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305037.633 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305037.649 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305037.649 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554305037.669 * * [misc]progress:  iteration 1 / 4
1554305037.669 * * * [misc]progress:  picking best candidate
1554305037.685 * * * * [misc]pick:  Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554305037.685 * * * [misc]progress:  localizing error
1554305037.861 * * * [misc]progress:  generating rewritten candidates
1554305037.861 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1554305037.867 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1554305037.870 * * * [misc]progress:  generating series expansions
1554305037.870 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1554305037.870 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1554305037.870 * * * [misc]progress:  simplifying candidates
1554305037.870 * * * * [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))))>
1554305037.871 * * * * [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))))>
1554305037.871 * * * * [misc]progress:  [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554305037.871 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305037.871 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305037.874 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305037.882 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305037.907 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305037.952 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305037.952 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305037.952 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305037.953 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305037.954 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305037.960 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305037.975 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305037.992 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305038.008 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305038.008 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554305038.008 * * * * [misc]progress:  [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1554305038.009 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305038.009 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305038.013 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305038.020 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305038.035 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305038.080 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.080 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305038.080 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305038.081 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305038.081 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305038.084 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305038.091 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305038.100 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305038.108 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305038.108 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1554305038.108 * * * [misc]progress:  adding candidates to table
1554305038.178 * * [misc]progress:  iteration 2 / 4
1554305038.178 * * * [misc]progress:  picking best candidate
1554305038.203 * * * * [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))))>
1554305038.204 * * * [misc]progress:  localizing error
1554305038.396 * * * [misc]progress:  generating rewritten candidates
1554305038.396 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554305038.411 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1554305038.427 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1554305038.436 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1554305038.441 * * * [misc]progress:  generating series expansions
1554305038.441 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554305038.441 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1554305038.441 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1554305038.441 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1554305038.441 * * * [misc]progress:  simplifying candidates
1554305038.441 * * * * [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)))))>
1554305038.442 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305038.442 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305038.447 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305038.451 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305038.456 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.456 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305038.456 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305038.457 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305038.457 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305038.457 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305038.457 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305038.457 * [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)))))
1554305038.457 * * * * [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))))))>
1554305038.458 * [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))))
1554305038.458 * * [misc]simplify:  iters left: 6 (11 enodes)
1554305038.463 * * [misc]simplify:  iters left: 5 (43 enodes)
1554305038.483 * * [misc]simplify:  iters left: 4 (140 enodes)
1554305038.548 * * [misc]simplify:  iters left: 3 (442 enodes)
1554305038.934 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.934 * * [misc]simplify:  Extracting #1: cost 41 inf + 0
1554305038.935 * * [misc]simplify:  Extracting #2: cost 283 inf + 0
1554305038.938 * * [misc]simplify:  Extracting #3: cost 444 inf + 324
1554305038.947 * * [misc]simplify:  Extracting #4: cost 494 inf + 199122
1554305038.999 * * [misc]simplify:  Extracting #5: cost 80 inf + 1116354
1554305039.078 * * [misc]simplify:  Extracting #6: cost 0 inf + 1325634
1554305039.155 * * [misc]simplify:  Extracting #7: cost 0 inf + 1325514
1554305039.234 * [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)))))
1554305039.234 * [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))))))
1554305039.235 * * * * [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))))>
1554305039.235 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305039.235 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305039.237 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305039.239 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305039.242 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.242 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.242 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305039.242 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305039.242 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305039.242 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305039.242 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305039.242 * [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))))
1554305039.242 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305039.243 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305039.244 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305039.248 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305039.256 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305039.279 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.279 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305039.279 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305039.279 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305039.280 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305039.283 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305039.290 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305039.298 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305039.307 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305039.307 * [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))))
1554305039.307 * * * * [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))))>
1554305039.307 * * * * [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))))>
1554305039.307 * * * * [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))))))>
1554305039.307 * * * * [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))))>
1554305039.308 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1554305039.308 * * [misc]simplify:  iters left: 2 (4 enodes)
1554305039.309 * * [misc]simplify:  iters left: 1 (10 enodes)
1554305039.311 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.311 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.311 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554305039.311 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1554305039.311 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1554305039.311 * [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))))
1554305039.311 * * * * [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))))>
1554305039.311 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
1554305039.311 * * [misc]simplify:  iters left: 4 (6 enodes)
1554305039.313 * * [misc]simplify:  iters left: 3 (15 enodes)
1554305039.315 * * [misc]simplify:  iters left: 2 (19 enodes)
1554305039.318 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.318 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554305039.318 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1554305039.318 * * [misc]simplify:  Extracting #3: cost 6 inf + 2
1554305039.318 * * [misc]simplify:  Extracting #4: cost 0 inf + 2132
1554305039.318 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
1554305039.318 * [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))))
1554305039.319 * * * * [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))))>
1554305039.319 * * * * [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))))>
1554305039.319 * * * * [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))))>
1554305039.319 * * * * [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))))>
1554305039.319 * * * * [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))))>
1554305039.319 * * * [misc]progress:  adding candidates to table
1554305039.599 * * [misc]progress:  iteration 3 / 4
1554305039.599 * * * [misc]progress:  picking best candidate
1554305039.694 * * * * [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)))))>
1554305039.694 * * * [misc]progress:  localizing error
1554305039.778 * * * [misc]progress:  generating rewritten candidates
1554305039.778 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1554305039.794 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1554305039.800 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1554305039.808 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1554305039.817 * * * [misc]progress:  generating series expansions
1554305039.817 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1554305039.817 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1554305039.817 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1554305039.817 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1554305039.817 * * * [misc]progress:  simplifying candidates
1554305039.817 * * * * [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)))))>
1554305039.817 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305039.817 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305039.821 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305039.825 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305039.830 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.830 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.830 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305039.830 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305039.830 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305039.830 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305039.831 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305039.831 * [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)))))
1554305039.831 * * * * [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))))))>
1554305039.831 * * * * [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))))))>
1554305039.831 * * * * [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)))))>
1554305039.831 * * * * [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)))))>
1554305039.831 * * * * [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)))))>
1554305039.832 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305039.832 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305039.835 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305039.846 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305039.850 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.851 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.851 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305039.851 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305039.851 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305039.851 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305039.851 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305039.851 * [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)))))
1554305039.851 * * * * [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)))))>
1554305039.852 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305039.852 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305039.855 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305039.859 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305039.864 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.864 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.864 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305039.864 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305039.864 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305039.864 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305039.864 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305039.864 * [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)))))
1554305039.865 * * * * [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)))))>
1554305039.865 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305039.865 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305039.868 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305039.872 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305039.876 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.877 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.877 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305039.877 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305039.877 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305039.877 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305039.877 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305039.877 * [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)))))
1554305039.877 * * * * [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)))))>
1554305039.878 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305039.878 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305039.881 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305039.886 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305039.890 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.890 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.890 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305039.890 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305039.891 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305039.891 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305039.891 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305039.891 * [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)))))
1554305039.891 * * * [misc]progress:  adding candidates to table
1554305040.159 * * [misc]progress:  iteration 4 / 4
1554305040.159 * * * [misc]progress:  picking best candidate
1554305040.237 * * * * [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))))>
1554305040.237 * * * [misc]progress:  localizing error
1554305040.322 * * * [misc]progress:  generating rewritten candidates
1554305040.322 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554305040.338 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1554305040.343 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1554305040.352 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1554305040.361 * * * [misc]progress:  generating series expansions
1554305040.361 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554305040.361 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1554305040.361 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1554305040.361 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1554305040.361 * * * [misc]progress:  simplifying candidates
1554305040.361 * * * * [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)))))>
1554305040.361 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305040.361 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305040.366 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305040.371 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305040.377 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305040.377 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305040.377 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305040.377 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305040.377 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305040.377 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305040.377 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305040.378 * [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)))))
1554305040.378 * * * * [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)))))>
1554305040.378 * [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))))
1554305040.378 * * [misc]simplify:  iters left: 6 (11 enodes)
1554305040.384 * * [misc]simplify:  iters left: 5 (36 enodes)
1554305040.398 * * [misc]simplify:  iters left: 4 (106 enodes)
1554305040.447 * * [misc]simplify:  iters left: 3 (375 enodes)
1554305040.775 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305040.775 * * [misc]simplify:  Extracting #1: cost 52 inf + 0
1554305040.777 * * [misc]simplify:  Extracting #2: cost 302 inf + 0
1554305040.780 * * [misc]simplify:  Extracting #3: cost 422 inf + 3
1554305040.794 * * [misc]simplify:  Extracting #4: cost 394 inf + 185686
1554305040.869 * * [misc]simplify:  Extracting #5: cost 54 inf + 860963
1554305040.975 * * [misc]simplify:  Extracting #6: cost 0 inf + 993351
1554305041.037 * [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))))
1554305041.037 * [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)))))
1554305041.037 * * * * [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))))>
1554305041.037 * * * * [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))))>
1554305041.037 * * * * [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))))))>
1554305041.037 * * * * [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))))>
1554305041.037 * * * * [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))))>
1554305041.037 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.037 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.039 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305041.042 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305041.044 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.044 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305041.045 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305041.045 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305041.045 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305041.045 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305041.045 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.045 * [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))))
1554305041.045 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.045 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.047 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305041.051 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305041.063 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305041.095 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.095 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305041.095 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305041.095 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305041.096 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305041.099 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305041.107 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305041.116 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305041.125 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.125 * [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))))
1554305041.125 * * * * [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))))>
1554305041.125 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.125 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.127 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305041.130 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305041.133 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.133 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305041.133 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305041.133 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305041.133 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305041.133 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305041.133 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.133 * [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))))
1554305041.134 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.134 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.135 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305041.139 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305041.146 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305041.168 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.168 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305041.168 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305041.168 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305041.169 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305041.172 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305041.181 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305041.189 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305041.197 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.197 * [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))))
1554305041.197 * * * * [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))))>
1554305041.197 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.197 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.199 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305041.201 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305041.204 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.204 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305041.204 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305041.204 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305041.204 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305041.204 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305041.204 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.204 * [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))))
1554305041.204 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.204 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.206 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305041.209 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305041.217 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305041.237 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.238 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305041.238 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305041.238 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305041.238 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305041.241 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305041.248 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305041.257 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305041.267 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.267 * [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))))
1554305041.267 * * * * [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))))>
1554305041.267 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.267 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.269 * * [misc]simplify:  iters left: 3 (14 enodes)
1554305041.271 * * [misc]simplify:  iters left: 2 (16 enodes)
1554305041.274 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.274 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305041.274 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305041.274 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305041.274 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305041.274 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1554305041.274 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.274 * [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))))
1554305041.274 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.274 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.276 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305041.280 * * [misc]simplify:  iters left: 2 (40 enodes)
1554305041.287 * * [misc]simplify:  iters left: 1 (96 enodes)
1554305041.309 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.309 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305041.309 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1554305041.309 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1554305041.310 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1554305041.312 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1554305041.320 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1554305041.328 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1554305041.336 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1554305041.336 * [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))))
1554305041.336 * * * [misc]progress:  adding candidates to table
1554305041.514 * [misc]progress:  [Phase 3 of 3] Extracting.
1554305041.514 * * [misc]regime:  Finding splitpoints for: (#<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 (/.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))))> #<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 (*.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 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>)
1554305041.516 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1554305041.516 * * * * [misc]regimes:  Trying to branch on x from (#<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 (/.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))))> #<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 (*.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 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>)
1554305041.630 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1554305041.630 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.630 * * [misc]simplify:  iters left: 4 (7 enodes)
1554305041.631 * * [misc]simplify:  iters left: 3 (9 enodes)
1554305041.632 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305041.632 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305041.632 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305041.632 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554305041.632 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1554305041.632 * * [misc]simplify:  Extracting #5: cost 0 inf + 1971
1554305041.633 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1554305041.633 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554305041.654 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554305041.657 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.658 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.660 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554305041.662 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.665 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.668 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554305041.671 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.676 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.681 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554305041.684 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.694 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.705 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554305041.708 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.741 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.761 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554305041.765 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.805 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.849 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554305041.852 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.933 * * * * [misc]points:  Setting MPFR precision to 320
1554305042.059 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554305042.063 * * * * [misc]points:  Setting MPFR precision to 64
1554305042.224 * * * * [misc]points:  Setting MPFR precision to 320
1554305042.433 * * * * [misc]points:  Computing exacts for 8000 points
1554305042.437 * * * * [misc]points:  Setting MPFR precision to 64
1554305043.162 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.266 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305044.277 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554305047.480 * [misc]regime-testing:  Baseline error score: 64.0
1554305047.484 * [misc]regime-testing:  Oracle error score: 64.0
1554305047.492 * [misc]regime-testing:  End program error score: 0.6063346653299511