1550842950.471 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842950.472 * * * [misc]progress:  [1/2] Preparing points
1550842950.472 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550842950.472 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550842950.475 * * * * [misc]points:  Setting MPFR precision to 64
1550842950.476 * * * * [misc]points:  Setting MPFR precision to 320
1550842950.478 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550842950.481 * * * * [misc]points:  Setting MPFR precision to 64
1550842950.486 * * * * [misc]points:  Setting MPFR precision to 320
1550842950.489 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550842950.492 * * * * [misc]points:  Setting MPFR precision to 64
1550842950.497 * * * * [misc]points:  Setting MPFR precision to 320
1550842950.503 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550842950.506 * * * * [misc]points:  Setting MPFR precision to 64
1550842950.513 * * * * [misc]points:  Setting MPFR precision to 320
1550842950.522 * * * * [misc]points:  Computing exacts for 256 points
1550842950.525 * * * * [misc]points:  Setting MPFR precision to 64
1550842950.545 * * * * [misc]points:  Setting MPFR precision to 320
1550842950.573 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842950.590 * * * * [exit]points:  Sampled 256 points with exact outputs
1550842950.590 * * * [misc]progress:  [2/2] Setting up program.
1550842950.624 * [misc]progress:  [Phase 2 of 3] Improving.
1550842950.624 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1550842950.624 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842950.624 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842950.628 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842950.635 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842950.650 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842950.711 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842950.712 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842950.712 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842950.712 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842950.714 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842950.720 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842950.735 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842950.752 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842950.768 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842950.768 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1550842950.800 * * [misc]progress:  iteration 1 / 4
1550842950.801 * * * [misc]progress:  picking best candidate
1550842950.829 * * * * [misc]pick:  Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1550842950.829 * * * [misc]progress:  localizing error
1550842950.998 * * * [misc]progress:  generating rewritten candidates
1550842950.998 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1550842951.001 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1550842951.003 * * * [misc]progress:  generating series expansions
1550842951.003 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1550842951.003 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1550842951.003 * * * [misc]progress:  simplifying candidates
1550842951.003 * * * * [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))))>
1550842951.003 * * * * [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))))>
1550842951.003 * * * * [misc]progress:  [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1550842951.003 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842951.003 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842951.005 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842951.009 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842951.016 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842951.045 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842951.045 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842951.046 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842951.046 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842951.046 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842951.049 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842951.056 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842951.064 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842951.073 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842951.073 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1550842951.073 * * * * [misc]progress:  [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1550842951.073 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842951.073 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842951.075 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842951.079 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842951.086 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842951.110 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842951.110 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842951.110 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842951.110 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842951.111 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842951.116 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842951.131 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842951.142 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842951.150 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842951.150 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1550842951.150 * * * [misc]progress:  adding candidates to table
1550842951.271 * * [misc]progress:  iteration 2 / 4
1550842951.271 * * * [misc]progress:  picking best candidate
1550842951.290 * * * * [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))))>
1550842951.290 * * * [misc]progress:  localizing error
1550842951.447 * * * [misc]progress:  generating rewritten candidates
1550842951.447 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842951.455 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550842951.457 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1550842951.459 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550842951.464 * * * [misc]progress:  generating series expansions
1550842951.464 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842951.464 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550842951.464 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1550842951.464 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550842951.464 * * * [misc]progress:  simplifying candidates
1550842951.464 * * * * [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)))))>
1550842951.464 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842951.464 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842951.468 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842951.472 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842951.477 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842951.477 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842951.477 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842951.477 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842951.478 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842951.478 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842951.478 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842951.478 * [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)))))
1550842951.478 * * * * [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))))))>
1550842951.478 * [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))))
1550842951.479 * * [misc]simplify:  iters left: 6 (11 enodes)
1550842951.484 * * [misc]simplify:  iters left: 5 (43 enodes)
1550842951.511 * * [misc]simplify:  iters left: 4 (140 enodes)
1550842951.579 * * [misc]simplify:  iters left: 3 (442 enodes)
1550842951.995 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842951.996 * * [misc]simplify:  Extracting #1: cost 41 inf + 0
1550842951.997 * * [misc]simplify:  Extracting #2: cost 283 inf + 0
1550842952.000 * * [misc]simplify:  Extracting #3: cost 444 inf + 324
1550842952.021 * * [misc]simplify:  Extracting #4: cost 494 inf + 199122
1550842952.121 * * [misc]simplify:  Extracting #5: cost 80 inf + 1116354
1550842952.275 * * [misc]simplify:  Extracting #6: cost 0 inf + 1325634
1550842952.422 * * [misc]simplify:  Extracting #7: cost 0 inf + 1325514
1550842952.570 * [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)))))
1550842952.570 * [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))))))
1550842952.571 * * * * [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))))>
1550842952.571 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842952.571 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842952.575 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842952.579 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842952.584 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842952.584 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842952.585 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842952.585 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842952.585 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842952.585 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842952.585 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842952.585 * [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))))
1550842952.585 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842952.586 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842952.589 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842952.597 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842952.612 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842952.656 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842952.657 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842952.657 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842952.657 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842952.658 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842952.664 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842952.679 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842952.696 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842952.714 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842952.714 * [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))))
1550842952.715 * * * * [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))))>
1550842952.715 * * * * [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))))>
1550842952.715 * * * * [misc]progress:  [ 6 / 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))))>
1550842952.715 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550842952.715 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842952.718 * * [misc]simplify:  iters left: 1 (10 enodes)
1550842952.721 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842952.721 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842952.721 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550842952.721 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550842952.721 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550842952.721 * [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))))
1550842952.722 * * * * [misc]progress:  [ 7 / 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))))>
1550842952.722 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
1550842952.722 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842952.725 * * [misc]simplify:  iters left: 3 (15 enodes)
1550842952.730 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842952.736 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842952.736 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842952.736 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550842952.736 * * [misc]simplify:  Extracting #3: cost 6 inf + 2
1550842952.737 * * [misc]simplify:  Extracting #4: cost 0 inf + 2132
1550842952.737 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
1550842952.737 * [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))))
1550842952.737 * * * * [misc]progress:  [ 8 / 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))))>
1550842952.737 * * * * [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) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))))>
1550842952.737 * * * * [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))))>
1550842952.737 * * * * [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))))>
1550842952.737 * * * * [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))))>
1550842952.737 * * * * [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))))>
1550842952.738 * * * [misc]progress:  adding candidates to table
1550842953.655 * * [misc]progress:  iteration 3 / 4
1550842953.655 * * * [misc]progress:  picking best candidate
1550842953.812 * * * * [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))))>
1550842953.812 * * * [misc]progress:  localizing error
1550842953.923 * * * [misc]progress:  generating rewritten candidates
1550842953.923 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842953.939 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550842953.944 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550842953.953 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1550842953.961 * * * [misc]progress:  generating series expansions
1550842953.961 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842953.961 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550842953.961 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550842953.961 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1550842953.961 * * * [misc]progress:  simplifying candidates
1550842953.961 * * * * [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)))))>
1550842953.962 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842953.962 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842953.965 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842953.970 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842953.975 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842953.975 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842953.975 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842953.975 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842953.975 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842953.975 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842953.975 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842953.975 * [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)))))
1550842953.975 * * * * [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)))))>
1550842953.976 * [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))))
1550842953.976 * * [misc]simplify:  iters left: 6 (11 enodes)
1550842953.981 * * [misc]simplify:  iters left: 5 (36 enodes)
1550842953.995 * * [misc]simplify:  iters left: 4 (106 enodes)
1550842954.050 * * [misc]simplify:  iters left: 3 (375 enodes)
1550842954.340 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842954.340 * * [misc]simplify:  Extracting #1: cost 52 inf + 0
1550842954.341 * * [misc]simplify:  Extracting #2: cost 302 inf + 0
1550842954.342 * * [misc]simplify:  Extracting #3: cost 422 inf + 3
1550842954.354 * * [misc]simplify:  Extracting #4: cost 394 inf + 185686
1550842954.424 * * [misc]simplify:  Extracting #5: cost 54 inf + 860963
1550842954.490 * * [misc]simplify:  Extracting #6: cost 0 inf + 993351
1550842954.597 * [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))))
1550842954.597 * [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)))))
1550842954.597 * * * * [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))))>
1550842954.597 * * * * [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))))>
1550842954.597 * * * * [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))))))>
1550842954.597 * * * * [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))))>
1550842954.597 * * * * [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))))>
1550842954.598 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842954.598 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842954.601 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842954.607 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842954.611 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842954.612 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842954.612 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842954.612 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842954.612 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842954.612 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842954.612 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842954.612 * [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))))
1550842954.612 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842954.613 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842954.616 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842954.623 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842954.637 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842954.681 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842954.681 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842954.681 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842954.681 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842954.682 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842954.688 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842954.701 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842954.715 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842954.731 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842954.732 * [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))))
1550842954.732 * * * * [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))))>
1550842954.732 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842954.732 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842954.736 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842954.741 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842954.746 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842954.746 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842954.746 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842954.746 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842954.746 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842954.746 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842954.746 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842954.746 * [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))))
1550842954.747 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842954.747 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842954.750 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842954.758 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842954.773 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842954.817 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842954.817 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842954.818 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842954.818 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842954.819 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842954.825 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842954.842 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842954.858 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842954.875 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842954.875 * [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))))
1550842954.875 * * * * [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))))>
1550842954.875 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842954.875 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842954.879 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842954.884 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842954.889 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842954.889 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842954.889 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842954.889 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842954.889 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842954.889 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842954.889 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842954.889 * [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))))
1550842954.890 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842954.890 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842954.893 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842954.900 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842954.915 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842954.960 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842954.960 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842954.960 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842954.961 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842954.962 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842954.968 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842954.982 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842955.002 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842955.018 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.018 * [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))))
1550842955.018 * * * * [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))))>
1550842955.018 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842955.018 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842955.022 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842955.026 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842955.032 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842955.032 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842955.032 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842955.032 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842955.032 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842955.032 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842955.032 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.032 * [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))))
1550842955.033 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842955.033 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842955.037 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842955.044 * * [misc]simplify:  iters left: 2 (40 enodes)
1550842955.054 * * [misc]simplify:  iters left: 1 (96 enodes)
1550842955.076 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842955.076 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1550842955.076 * * [misc]simplify:  Extracting #2: cost 55 inf + 0
1550842955.076 * * [misc]simplify:  Extracting #3: cost 96 inf + 1
1550842955.077 * * [misc]simplify:  Extracting #4: cost 121 inf + 8666
1550842955.080 * * [misc]simplify:  Extracting #5: cost 47 inf + 106853
1550842955.088 * * [misc]simplify:  Extracting #6: cost 2 inf + 188223
1550842955.096 * * [misc]simplify:  Extracting #7: cost 0 inf + 193827
1550842955.105 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.105 * [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))))
1550842955.105 * * * [misc]progress:  adding candidates to table
1550842955.506 * * [misc]progress:  iteration 4 / 4
1550842955.506 * * * [misc]progress:  picking best candidate
1550842955.637 * * * * [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)))))>
1550842955.637 * * * [misc]progress:  localizing error
1550842955.737 * * * [misc]progress:  generating rewritten candidates
1550842955.737 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550842955.745 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1550842955.748 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1550842955.753 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550842955.758 * * * [misc]progress:  generating series expansions
1550842955.758 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550842955.758 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1550842955.758 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1550842955.758 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550842955.758 * * * [misc]progress:  simplifying candidates
1550842955.758 * * * * [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)))))>
1550842955.759 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842955.759 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842955.761 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842955.763 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842955.772 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842955.772 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842955.772 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842955.772 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842955.772 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842955.772 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842955.772 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.772 * [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)))))
1550842955.772 * * * * [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))))))>
1550842955.773 * * * * [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))))))>
1550842955.773 * * * * [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)))))>
1550842955.773 * * * * [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)))))>
1550842955.773 * * * * [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)))))>
1550842955.773 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842955.773 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842955.775 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842955.777 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842955.779 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842955.780 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842955.780 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842955.780 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842955.780 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842955.780 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842955.780 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.780 * [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)))))
1550842955.780 * * * * [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)))))>
1550842955.780 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842955.780 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842955.782 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842955.784 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842955.787 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842955.787 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842955.787 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842955.787 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842955.787 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842955.787 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842955.787 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.787 * [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)))))
1550842955.787 * * * * [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)))))>
1550842955.787 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842955.787 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842955.789 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842955.791 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842955.794 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842955.794 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842955.794 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842955.794 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842955.794 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842955.794 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842955.794 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.794 * [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)))))
1550842955.794 * * * * [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)))))>
1550842955.794 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1550842955.794 * * [misc]simplify:  iters left: 4 (7 enodes)
1550842955.796 * * [misc]simplify:  iters left: 3 (14 enodes)
1550842955.799 * * [misc]simplify:  iters left: 2 (16 enodes)
1550842955.801 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842955.801 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842955.801 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842955.801 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550842955.801 * * [misc]simplify:  Extracting #4: cost 5 inf + 2
1550842955.801 * * [misc]simplify:  Extracting #5: cost 0 inf + 1931
1550842955.801 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1550842955.801 * [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)))))
1550842955.802 * * * [misc]progress:  adding candidates to table
1550842956.142 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842956.142 * * [misc]regime:  Finding splitpoints for: (#<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))) (/.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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (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))))> #<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 (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 (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)))))>)
1550842956.145 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1550842956.145 * * * * [misc]regimes:  Trying to branch on x from (#<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))) (/.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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (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))))> #<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 (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 (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)))))>)
1550842956.531 * * * [misc]regime:  Found split indices: #<option (#s(si 5 256))>
1550842956.531 * [enter]simplify:  Simplifying (/.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)))
1550842956.531 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842956.532 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842956.533 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842956.533 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842956.533 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842956.533 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550842956.533 * * [misc]simplify:  Extracting #4: cost 9 inf + 1
1550842956.533 * * [misc]simplify:  Extracting #5: cost 8 inf + 2
1550842956.533 * * [misc]simplify:  Extracting #6: cost 0 inf + 6097
1550842956.533 * [exit]simplify:  Simplified to (/.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)))
1550842956.533 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550842956.545 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550842956.546 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.547 * * * * [misc]points:  Setting MPFR precision to 320
1550842956.548 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550842956.550 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.552 * * * * [misc]points:  Setting MPFR precision to 320
1550842956.554 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550842956.564 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.567 * * * * [misc]points:  Setting MPFR precision to 320
1550842956.572 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550842956.573 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.579 * * * * [misc]points:  Setting MPFR precision to 320
1550842956.587 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550842956.589 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.600 * * * * [misc]points:  Setting MPFR precision to 320
1550842956.616 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550842956.618 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.640 * * * * [misc]points:  Setting MPFR precision to 320
1550842956.674 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550842956.676 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.742 * * * * [misc]points:  Setting MPFR precision to 320
1550842956.807 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550842956.809 * * * * [misc]points:  Setting MPFR precision to 64
1550842956.925 * * * * [misc]points:  Setting MPFR precision to 320
1550842957.076 * * * * [misc]points:  Computing exacts for 8000 points
1550842957.077 * * * * [misc]points:  Setting MPFR precision to 64
1550842957.682 * * * * [misc]points:  Setting MPFR precision to 320
1550842958.828 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842959.161 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 7999 / 8000
1550842959.161 * * * * [misc]points:  Computing exacts for 4 points
1550842959.162 * * * * [misc]points:  Setting MPFR precision to 64
1550842959.163 * * * * [misc]points:  Setting MPFR precision to 320
1550842959.163 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842959.163 * * * * [exit]points:  Sampled 8003 points with exact outputs
1550842962.842 * [misc]regime-testing:  Baseline error score: 64.0
1550842962.845 * [misc]regime-testing:  Oracle error score: 64.0
1550842962.851 * [misc]regime-testing:  End program error score: 1.0074941970584854