1550699627.699 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699627.699 * * * [misc]progress:  [1/2] Preparing points
1550699627.699 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699627.699 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699627.703 * * * * [misc]points:  Setting MPFR precision to 64
1550699627.704 * * * * [misc]points:  Setting MPFR precision to 320
1550699627.705 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699627.709 * * * * [misc]points:  Setting MPFR precision to 64
1550699627.712 * * * * [misc]points:  Setting MPFR precision to 320
1550699627.714 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699627.717 * * * * [misc]points:  Setting MPFR precision to 64
1550699627.720 * * * * [misc]points:  Setting MPFR precision to 320
1550699627.724 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699627.727 * * * * [misc]points:  Setting MPFR precision to 64
1550699627.731 * * * * [misc]points:  Setting MPFR precision to 320
1550699627.757 * * * * [misc]points:  Computing exacts for 256 points
1550699627.762 * * * * [misc]points:  Setting MPFR precision to 64
1550699627.779 * * * * [misc]points:  Setting MPFR precision to 320
1550699627.798 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699627.808 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699627.808 * * * [misc]progress:  [2/2] Setting up program.
1550699627.839 * [misc]progress:  [Phase 2 of 3] Improving.
1550699627.839 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699627.840 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699627.840 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699627.845 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699627.857 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699627.883 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699628.007 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699628.007 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699628.008 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699628.009 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699628.012 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699628.033 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699628.073 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699628.116 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699628.160 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699628.160 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699628.192 * * [misc]progress:  iteration 1 / 4
1550699628.192 * * * [misc]progress:  picking best candidate
1550699628.222 * * * * [misc]pick:  Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699628.222 * * * [misc]progress:  localizing error
1550699628.610 * * * [misc]progress:  generating rewritten candidates
1550699628.610 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699628.625 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550699628.629 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1550699628.631 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550699628.633 * * * [misc]progress:  generating series expansions
1550699628.633 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699628.633 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550699628.633 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1550699628.633 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550699628.633 * * * [misc]progress:  simplifying candidates
1550699628.633 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699628.634 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699628.634 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699628.636 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699628.640 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699628.644 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699628.644 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699628.644 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699628.644 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699628.644 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699628.644 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699628.644 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699628.645 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699628.645 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699628.645 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699628.647 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699628.651 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699628.655 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699628.655 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699628.655 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699628.656 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699628.656 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699628.656 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699628.656 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699628.656 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
1550699628.656 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699628.656 * * * * [misc]progress:  [ 5 / 10 ] 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 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699628.656 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699628.656 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699628.656 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699628.659 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699628.662 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699628.662 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699628.663 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699628.663 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699628.663 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699628.663 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
1550699628.663 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699628.663 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699628.663 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699628.669 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699628.681 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699628.714 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699628.826 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699628.826 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699628.827 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699628.827 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699628.830 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699628.845 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699628.876 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699628.912 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699628.940 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699628.940 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699628.940 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699628.940 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699628.940 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699628.944 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699628.953 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699628.973 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699629.081 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699629.082 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699629.082 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699629.083 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699629.087 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699629.106 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699629.140 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699629.180 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699629.220 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699629.220 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699629.220 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699629.220 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699629.220 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699629.226 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699629.239 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699629.267 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699629.370 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699629.370 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699629.371 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699629.372 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699629.375 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699629.390 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699629.425 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699629.457 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699629.498 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699629.498 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699629.498 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699629.498 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699629.498 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699629.502 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699629.514 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699629.545 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699629.678 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699629.679 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699629.680 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699629.682 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699629.690 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699629.712 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699629.753 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699629.789 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699629.829 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699629.829 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699629.829 * * * [misc]progress:  adding candidates to table
1550699630.464 * * [misc]progress:  iteration 2 / 4
1550699630.465 * * * [misc]progress:  picking best candidate
1550699630.550 * * * * [misc]pick:  Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699630.550 * * * [misc]progress:  localizing error
1550699630.629 * * * [misc]progress:  generating rewritten candidates
1550699630.629 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699630.633 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550699630.636 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699630.638 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550699630.640 * * * [misc]progress:  generating series expansions
1550699630.640 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699630.640 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550699630.640 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699630.640 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550699630.640 * * * [misc]progress:  simplifying candidates
1550699630.640 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699630.641 * [enter]simplify:  Simplifying (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699630.641 * * [misc]simplify:  iters left: 4 (6 enodes)
1550699630.643 * * [misc]simplify:  iters left: 3 (18 enodes)
1550699630.649 * * [misc]simplify:  iters left: 2 (32 enodes)
1550699630.666 * * [misc]simplify:  iters left: 1 (80 enodes)
1550699630.687 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699630.687 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699630.687 * * [misc]simplify:  Extracting #2: cost 23 inf + 0
1550699630.687 * * [misc]simplify:  Extracting #3: cost 71 inf + 0
1550699630.688 * * [misc]simplify:  Extracting #4: cost 96 inf + 405
1550699630.689 * * [misc]simplify:  Extracting #5: cost 67 inf + 28805
1550699630.693 * * [misc]simplify:  Extracting #6: cost 13 inf + 98338
1550699630.698 * * [misc]simplify:  Extracting #7: cost 1 inf + 114359
1550699630.703 * * [misc]simplify:  Extracting #8: cost 0 inf + 115761
1550699630.709 * [exit]simplify:  Simplified to (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699630.709 * [misc]simplify:  Simplified (2 2) to (λ (x) (-.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699630.709 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699630.710 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550699630.710 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699630.712 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699630.717 * * [misc]simplify:  iters left: 1 (31 enodes)
1550699630.728 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699630.728 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550699630.728 * * [misc]simplify:  Extracting #2: cost 28 inf + 0
1550699630.728 * * [misc]simplify:  Extracting #3: cost 29 inf + 324
1550699630.729 * * [misc]simplify:  Extracting #4: cost 22 inf + 6266
1550699630.730 * * [misc]simplify:  Extracting #5: cost 3 inf + 23256
1550699630.732 * * [misc]simplify:  Extracting #6: cost 0 inf + 26382
1550699630.733 * * [misc]simplify:  Extracting #7: cost 0 inf + 25822
1550699630.734 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550699630.734 * [misc]simplify:  Simplified (2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1550699630.734 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
1550699630.735 * * * * [misc]progress:  [ 4 / 11 ] 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 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
1550699630.735 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 2) x) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
1550699630.735 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
1550699630.735 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699630.735 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699630.735 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699630.737 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699630.740 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699630.740 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699630.740 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699630.741 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699630.741 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699630.741 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))))
1550699630.741 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699630.741 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699630.741 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699630.744 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699630.747 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699630.751 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699630.751 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699630.751 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699630.751 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699630.751 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699630.751 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699630.751 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699630.751 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699630.752 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699630.752 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699630.754 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699630.756 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699630.759 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699630.759 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699630.759 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699630.759 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699630.759 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699630.759 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699630.759 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699630.759 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699630.760 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699630.760 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699630.761 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699630.765 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699630.768 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699630.768 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699630.769 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699630.769 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699630.769 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699630.769 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699630.769 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699630.769 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699630.769 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699630.769 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699630.772 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699630.778 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699630.781 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699630.782 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699630.782 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699630.782 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699630.782 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699630.782 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699630.782 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699630.782 * * * [misc]progress:  adding candidates to table
1550699631.402 * * [misc]progress:  iteration 3 / 4
1550699631.402 * * * [misc]progress:  picking best candidate
1550699631.908 * * * * [misc]pick:  Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699631.908 * * * [misc]progress:  localizing error
1550699632.166 * * * [misc]progress:  generating rewritten candidates
1550699632.166 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699632.184 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550699632.188 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699632.191 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1550699632.194 * * * [misc]progress:  generating series expansions
1550699632.194 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699632.194 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550699632.194 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699632.194 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1550699632.194 * * * [misc]progress:  simplifying candidates
1550699632.195 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))>
1550699632.195 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1550699632.195 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699632.199 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699632.207 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699632.237 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699632.344 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699632.344 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699632.345 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699632.349 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699632.363 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699632.396 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699632.440 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699632.467 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699632.500 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699632.500 * [misc]simplify:  Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1550699632.500 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699632.500 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699632.500 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699632.504 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699632.513 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699632.531 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699632.645 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699632.645 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699632.646 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699632.649 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699632.664 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699632.684 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699632.707 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699632.732 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699632.758 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699632.759 * [misc]simplify:  Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1550699632.759 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699632.759 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699632.759 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699632.762 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699632.765 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699632.769 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699632.769 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699632.769 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699632.769 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699632.769 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699632.769 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699632.769 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))
1550699632.770 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699632.770 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699632.770 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699632.772 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699632.776 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699632.779 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699632.780 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699632.780 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699632.780 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699632.780 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699632.780 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699632.780 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))
1550699632.780 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
1550699632.780 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)))))>
1550699632.780 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1550699632.780 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699632.784 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699632.792 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699632.811 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699632.917 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699632.917 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699632.918 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699632.922 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699632.941 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699632.964 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699632.996 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699633.025 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699633.054 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699633.054 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699633.054 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))>
1550699633.054 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699633.054 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699633.057 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699633.064 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699633.080 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699633.199 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.199 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699633.200 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699633.202 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699633.214 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699633.243 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699633.279 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699633.309 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699633.340 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699633.340 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699633.340 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))>
1550699633.341 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699633.341 * * [misc]simplify:  iters left: 5 (9 enodes)
1550699633.344 * * [misc]simplify:  iters left: 4 (32 enodes)
1550699633.353 * * [misc]simplify:  iters left: 3 (76 enodes)
1550699633.376 * * [misc]simplify:  iters left: 2 (239 enodes)
1550699633.504 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.504 * * [misc]simplify:  Extracting #1: cost 46 inf + 0
1550699633.505 * * [misc]simplify:  Extracting #2: cost 215 inf + 0
1550699633.507 * * [misc]simplify:  Extracting #3: cost 259 inf + 37842
1550699633.521 * * [misc]simplify:  Extracting #4: cost 141 inf + 336186
1550699633.555 * * [misc]simplify:  Extracting #5: cost 28 inf + 595296
1550699633.602 * * [misc]simplify:  Extracting #6: cost 1 inf + 655569
1550699633.651 * * [misc]simplify:  Extracting #7: cost 0 inf + 659011
1550699633.697 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699633.697 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))
1550699633.697 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699633.698 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699633.698 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699633.700 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699633.706 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699633.711 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.711 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699633.711 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699633.711 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699633.711 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699633.711 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699633.711 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1550699633.712 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (+.p16 x (real->posit16 1)) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699633.712 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699633.712 * * * * [misc]progress:  [ 12 / 18 ] 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 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699633.712 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
1550699633.712 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550699633.712 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699633.714 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699633.720 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.720 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699633.720 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550699633.720 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550699633.720 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550699633.721 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550699633.721 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550699633.721 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550699633.721 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))
1550699633.721 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699633.722 * [enter]simplify:  Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1550699633.722 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699633.725 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699633.729 * * [misc]simplify:  iters left: 1 (14 enodes)
1550699633.734 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.734 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699633.734 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699633.734 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699633.734 * * [misc]simplify:  Extracting #4: cost 0 inf + 1327
1550699633.734 * [exit]simplify:  Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1550699633.734 * [misc]simplify:  Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))) (+.p16 x (real->posit16 1)))))
1550699633.734 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699633.734 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699633.735 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699633.737 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699633.741 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.741 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699633.742 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699633.742 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699633.742 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699633.742 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
1550699633.742 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699633.742 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699633.742 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699633.744 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699633.747 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.748 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699633.748 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699633.748 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699633.748 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699633.748 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
1550699633.748 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699633.748 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699633.748 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699633.750 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699633.753 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.754 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699633.754 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699633.754 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699633.754 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699633.754 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
1550699633.754 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699633.754 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699633.754 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699633.756 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699633.760 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699633.760 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699633.760 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699633.760 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699633.760 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699633.760 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
1550699633.760 * * * [misc]progress:  adding candidates to table
1550699634.815 * * [misc]progress:  iteration 4 / 4
1550699634.815 * * * [misc]progress:  picking best candidate
1550699635.066 * * * * [misc]pick:  Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.066 * * * [misc]progress:  localizing error
1550699635.204 * * * [misc]progress:  generating rewritten candidates
1550699635.204 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699635.222 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550699635.225 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699635.228 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550699635.230 * * * [misc]progress:  generating series expansions
1550699635.230 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699635.230 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550699635.230 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699635.230 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550699635.231 * * * [misc]progress:  simplifying candidates
1550699635.231 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699635.231 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699635.231 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699635.233 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699635.235 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699635.238 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.238 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699635.238 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699635.238 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699635.238 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699635.239 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699635.239 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699635.239 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699635.239 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699635.239 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699635.241 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699635.243 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699635.246 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.246 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699635.246 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699635.246 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699635.246 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699635.246 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699635.246 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699635.246 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
1550699635.246 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))>
1550699635.246 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550699635.247 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699635.248 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699635.252 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.252 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699635.252 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550699635.252 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550699635.252 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550699635.252 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550699635.252 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550699635.253 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550699635.253 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))
1550699635.253 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))>
1550699635.253 * [enter]simplify:  Simplifying (real->posit16 1)
1550699635.253 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699635.254 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.254 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699635.254 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699635.254 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699635.254 * [exit]simplify:  Simplified to (real->posit16 1)
1550699635.254 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))
1550699635.254 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.254 * [enter]simplify:  Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1550699635.254 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699635.256 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699635.259 * * [misc]simplify:  iters left: 1 (14 enodes)
1550699635.262 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.262 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699635.262 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699635.262 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699635.262 * * [misc]simplify:  Extracting #4: cost 0 inf + 1327
1550699635.262 * [exit]simplify:  Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1550699635.263 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x)))))
1550699635.263 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))>
1550699635.263 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699635.263 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699635.265 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699635.267 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699635.271 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.271 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699635.271 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699635.271 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699635.271 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699635.271 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699635.271 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))
1550699635.276 * [enter]simplify:  Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))
1550699635.276 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699635.278 * * [misc]simplify:  iters left: 2 (18 enodes)
1550699635.284 * * [misc]simplify:  iters left: 1 (31 enodes)
1550699635.290 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.290 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699635.290 * * [misc]simplify:  Extracting #2: cost 26 inf + 0
1550699635.291 * * [misc]simplify:  Extracting #3: cost 31 inf + 1
1550699635.291 * * [misc]simplify:  Extracting #4: cost 35 inf + 323
1550699635.291 * * [misc]simplify:  Extracting #5: cost 17 inf + 8069
1550699635.292 * * [misc]simplify:  Extracting #6: cost 0 inf + 25900
1550699635.293 * [exit]simplify:  Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))
1550699635.293 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))))))
1550699635.293 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.293 * * * * [misc]progress:  [ 9 / 16 ] 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 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.293 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))>
1550699635.294 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699635.294 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699635.296 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699635.299 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.299 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699635.299 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699635.299 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699635.299 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699635.300 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))))))
1550699635.300 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550699635.300 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699635.302 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699635.307 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.307 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699635.307 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550699635.308 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550699635.308 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550699635.308 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550699635.308 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550699635.309 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550699635.309 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))
1550699635.309 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (*.p16 x x) (neg.p16 (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699635.309 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699635.309 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.309 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699635.309 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699635.312 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699635.316 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699635.320 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.320 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699635.320 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699635.320 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699635.320 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699635.320 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699635.320 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1550699635.320 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.320 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699635.320 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699635.322 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699635.327 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699635.331 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.331 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699635.331 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699635.332 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699635.332 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699635.332 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699635.332 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1550699635.332 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.332 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699635.332 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699635.334 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699635.338 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699635.342 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.342 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699635.342 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699635.342 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699635.342 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699635.342 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699635.342 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1550699635.343 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699635.343 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699635.343 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699635.345 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699635.349 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699635.352 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699635.352 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699635.352 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699635.352 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699635.352 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699635.352 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699635.353 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1550699635.353 * * * [misc]progress:  adding candidates to table
1550699636.321 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699636.321 * * [misc]regime:  Finding splitpoints for: (#<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 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #<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 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>)
1550699636.324 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1550699636.324 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #<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 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>)
1550699636.863 * * * [misc]regime:  Found split indices: #<option (#s(si 6 256))>
1550699636.863 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1550699636.863 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699636.865 * * [misc]simplify:  iters left: 4 (14 enodes)
1550699636.867 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699636.867 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699636.867 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699636.867 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550699636.867 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550699636.867 * * [misc]simplify:  Extracting #5: cost 0 inf + 4221
1550699636.868 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1550699636.868 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699636.884 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699636.888 * * * * [misc]points:  Setting MPFR precision to 64
1550699636.889 * * * * [misc]points:  Setting MPFR precision to 320
1550699636.891 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699636.893 * * * * [misc]points:  Setting MPFR precision to 64
1550699636.895 * * * * [misc]points:  Setting MPFR precision to 320
1550699636.898 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699636.901 * * * * [misc]points:  Setting MPFR precision to 64
1550699636.906 * * * * [misc]points:  Setting MPFR precision to 320
1550699636.912 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699636.915 * * * * [misc]points:  Setting MPFR precision to 64
1550699636.922 * * * * [misc]points:  Setting MPFR precision to 320
1550699636.933 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699636.936 * * * * [misc]points:  Setting MPFR precision to 64
1550699636.950 * * * * [misc]points:  Setting MPFR precision to 320
1550699636.988 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699636.992 * * * * [misc]points:  Setting MPFR precision to 64
1550699637.031 * * * * [misc]points:  Setting MPFR precision to 320
1550699637.078 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699637.082 * * * * [misc]points:  Setting MPFR precision to 64
1550699637.184 * * * * [misc]points:  Setting MPFR precision to 320
1550699637.272 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699637.275 * * * * [misc]points:  Setting MPFR precision to 64
1550699637.445 * * * * [misc]points:  Setting MPFR precision to 320
1550699637.665 * * * * [misc]points:  Computing exacts for 8000 points
1550699637.669 * * * * [misc]points:  Setting MPFR precision to 64
1550699638.341 * * * * [misc]points:  Setting MPFR precision to 320
1550699639.660 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699640.024 * * * * [misc]points:  Sampling 4 additional inputs, on iter 1 have 7999 / 8000
1550699640.025 * * * * [misc]points:  Computing exacts for 4 points
1550699640.028 * * * * [misc]points:  Setting MPFR precision to 64
1550699640.029 * * * * [misc]points:  Setting MPFR precision to 320
1550699640.029 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699640.030 * * * * [exit]points:  Sampled 8003 points with exact outputs
1550699647.894 * [misc]regime-testing:  Baseline error score: 64.0
1550699647.896 * [misc]regime-testing:  Oracle error score: 64.0
1550699647.900 * [misc]regime-testing:  End program error score: 1.0292681354945263