1550699513.836 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699513.837 * * * [misc]progress:  [1/2] Preparing points
1550699513.838 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699513.838 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699513.843 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.844 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.846 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699513.851 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.854 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.857 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699513.862 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.866 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.870 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699513.874 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.880 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.887 * * * * [misc]points:  Computing exacts for 256 points
1550699513.901 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.917 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.935 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699513.940 * * * * [misc]points:  Sampling 123 additional inputs, on iter 1 have 133 / 256
1550699513.941 * * * * [misc]points:  Computing exacts on every 7 of 123 points to ramp up precision
1550699513.944 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.945 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.947 * * * * [misc]points:  Computing exacts on every 3 of 123 points to ramp up precision
1550699513.951 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.953 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.956 * * * * [misc]points:  Computing exacts for 123 points
1550699513.961 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.969 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.978 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699513.981 * * * * [misc]points:  Sampling 61 additional inputs, on iter 2 have 195 / 256
1550699513.981 * * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
1550699513.984 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.985 * * * * [misc]points:  Setting MPFR precision to 320
1550699513.987 * * * * [misc]points:  Computing exacts for 61 points
1550699513.992 * * * * [misc]points:  Setting MPFR precision to 64
1550699513.997 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.004 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699514.006 * * * * [misc]points:  Sampling 34 additional inputs, on iter 3 have 222 / 256
1550699514.006 * * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
1550699514.011 * * * * [misc]points:  Setting MPFR precision to 64
1550699514.012 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.013 * * * * [misc]points:  Computing exacts for 34 points
1550699514.018 * * * * [misc]points:  Setting MPFR precision to 64
1550699514.020 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.023 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699514.024 * * * * [misc]points:  Sampling 19 additional inputs, on iter 4 have 237 / 256
1550699514.024 * * * * [misc]points:  Computing exacts for 19 points
1550699514.028 * * * * [misc]points:  Setting MPFR precision to 64
1550699514.030 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.032 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699514.032 * * * * [misc]points:  Sampling 13 additional inputs, on iter 5 have 243 / 256
1550699514.032 * * * * [misc]points:  Computing exacts for 13 points
1550699514.058 * * * * [misc]points:  Setting MPFR precision to 64
1550699514.060 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.061 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699514.061 * * * * [misc]points:  Sampling 6 additional inputs, on iter 6 have 250 / 256
1550699514.061 * * * * [misc]points:  Computing exacts for 6 points
1550699514.066 * * * * [misc]points:  Setting MPFR precision to 64
1550699514.067 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.068 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699514.068 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 254 / 256
1550699514.068 * * * * [misc]points:  Computing exacts for 4 points
1550699514.071 * * * * [misc]points:  Setting MPFR precision to 64
1550699514.072 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.072 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699514.072 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 255 / 256
1550699514.072 * * * * [misc]points:  Computing exacts for 4 points
1550699514.077 * * * * [misc]points:  Setting MPFR precision to 64
1550699514.078 * * * * [misc]points:  Setting MPFR precision to 320
1550699514.078 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699514.078 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699514.078 * * * [misc]progress:  [2/2] Setting up program.
1550699514.107 * [misc]progress:  [Phase 2 of 3] Improving.
1550699514.107 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699514.107 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1550699514.107 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699514.113 * * [misc]simplify:  iters left: 4 (43 enodes)
1550699514.129 * * [misc]simplify:  iters left: 3 (170 enodes)
1550699514.213 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.214 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1550699514.215 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1550699514.217 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1550699514.223 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1550699514.242 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1550699514.268 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1550699514.299 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1550699514.323 * [exit]simplify:  Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1550699514.323 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550699514.379 * * [misc]progress:  iteration 1 / 4
1550699514.379 * * * [misc]progress:  picking best candidate
1550699514.429 * * * * [misc]pick:  Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699514.429 * * * [misc]progress:  localizing error
1550699514.756 * * * [misc]progress:  generating rewritten candidates
1550699514.756 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550699514.763 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550699514.770 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699514.773 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1550699514.787 * * * [misc]progress:  generating series expansions
1550699514.787 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550699514.788 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550699514.788 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699514.788 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1550699514.788 * * * [misc]progress:  simplifying candidates
1550699514.788 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699514.788 * [enter]simplify:  Simplifying (*.p16 (real->posit16 2) i)
1550699514.788 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699514.792 * * [misc]simplify:  iters left: 1 (8 enodes)
1550699514.793 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.793 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699514.793 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699514.793 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699514.793 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699514.793 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1550699514.794 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699514.794 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699514.794 * [enter]simplify:  Simplifying (*.p16 i i)
1550699514.794 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699514.794 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.794 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699514.794 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699514.794 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550699514.794 * [exit]simplify:  Simplified to (*.p16 i i)
1550699514.795 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699514.795 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699514.795 * [enter]simplify:  Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1550699514.795 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699514.797 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699514.801 * * [misc]simplify:  iters left: 1 (32 enodes)
1550699514.813 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.814 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550699514.814 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550699514.814 * * [misc]simplify:  Extracting #3: cost 4 inf + 2294
1550699514.814 * * [misc]simplify:  Extracting #4: cost 0 inf + 4582
1550699514.815 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550699514.815 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699514.815 * [enter]simplify:  Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1550699514.815 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699514.818 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699514.824 * * [misc]simplify:  iters left: 1 (32 enodes)
1550699514.837 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.837 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550699514.837 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550699514.837 * * [misc]simplify:  Extracting #3: cost 4 inf + 2294
1550699514.838 * * [misc]simplify:  Extracting #4: cost 0 inf + 4582
1550699514.838 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550699514.838 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699514.838 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1550699514.839 * [enter]simplify:  Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699514.839 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699514.842 * * [misc]simplify:  iters left: 2 (19 enodes)
1550699514.847 * * [misc]simplify:  iters left: 1 (37 enodes)
1550699514.858 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.858 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699514.858 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550699514.858 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550699514.858 * * [misc]simplify:  Extracting #4: cost 27 inf + 167
1550699514.859 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550699514.860 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550699514.862 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699514.862 * [misc]simplify:  Simplified (2 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699514.862 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))>
1550699514.863 * [enter]simplify:  Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1550699514.863 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699514.866 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699514.871 * * [misc]simplify:  iters left: 1 (32 enodes)
1550699514.885 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.885 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550699514.885 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550699514.886 * * [misc]simplify:  Extracting #3: cost 4 inf + 2294
1550699514.886 * * [misc]simplify:  Extracting #4: cost 0 inf + 4582
1550699514.886 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550699514.886 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))
1550699514.887 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699514.887 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1550699514.887 * * [misc]simplify:  iters left: 4 (8 enodes)
1550699514.891 * * [misc]simplify:  iters left: 3 (18 enodes)
1550699514.896 * * [misc]simplify:  iters left: 2 (25 enodes)
1550699514.902 * * [misc]simplify:  iters left: 1 (29 enodes)
1550699514.912 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.912 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699514.912 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550699514.912 * * [misc]simplify:  Extracting #3: cost 8 inf + 324
1550699514.912 * * [misc]simplify:  Extracting #4: cost 7 inf + 325
1550699514.912 * * [misc]simplify:  Extracting #5: cost 0 inf + 3578
1550699514.912 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550699514.912 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550699514.913 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))>
1550699514.913 * [enter]simplify:  Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1550699514.913 * * [misc]simplify:  iters left: 2 (3 enodes)
1550699514.914 * * [misc]simplify:  iters left: 1 (9 enodes)
1550699514.916 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699514.916 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550699514.916 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699514.917 * * [misc]simplify:  Extracting #3: cost 0 inf + 1604
1550699514.917 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1550699514.917 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))
1550699514.917 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699514.917 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699514.917 * * [misc]simplify:  iters left: 4 (10 enodes)
1550699514.921 * * [misc]simplify:  iters left: 3 (25 enodes)
1550699514.929 * * [misc]simplify:  iters left: 2 (51 enodes)
1550699514.953 * * [misc]simplify:  iters left: 1 (112 enodes)
1550699515.007 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.007 * * [misc]simplify:  Extracting #1: cost 57 inf + 0
1550699515.008 * * [misc]simplify:  Extracting #2: cost 185 inf + 763
1550699515.010 * * [misc]simplify:  Extracting #3: cost 127 inf + 36834
1550699515.014 * * [misc]simplify:  Extracting #4: cost 71 inf + 75466
1550699515.023 * * [misc]simplify:  Extracting #5: cost 6 inf + 143781
1550699515.032 * * [misc]simplify:  Extracting #6: cost 0 inf + 152919
1550699515.042 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1550699515.042 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699515.042 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699515.043 * * [misc]simplify:  iters left: 4 (10 enodes)
1550699515.047 * * [misc]simplify:  iters left: 3 (31 enodes)
1550699515.056 * * [misc]simplify:  iters left: 2 (84 enodes)
1550699515.107 * * [misc]simplify:  iters left: 1 (243 enodes)
1550699515.310 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.310 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1550699515.311 * * [misc]simplify:  Extracting #2: cost 292 inf + 763
1550699515.314 * * [misc]simplify:  Extracting #3: cost 290 inf + 19278
1550699515.321 * * [misc]simplify:  Extracting #4: cost 211 inf + 140467
1550699515.343 * * [misc]simplify:  Extracting #5: cost 50 inf + 372763
1550699515.371 * * [misc]simplify:  Extracting #6: cost 0 inf + 397205
1550699515.396 * * [misc]simplify:  Extracting #7: cost 0 inf + 392365
1550699515.421 * * [misc]simplify:  Extracting #8: cost 0 inf + 392245
1550699515.440 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1550699515.440 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
1550699515.440 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699515.440 * [enter]simplify:  Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699515.440 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699515.443 * * [misc]simplify:  iters left: 2 (13 enodes)
1550699515.446 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.446 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699515.446 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699515.446 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550699515.447 * * [misc]simplify:  Extracting #4: cost 3 inf + 4
1550699515.447 * * [misc]simplify:  Extracting #5: cost 0 inf + 690
1550699515.447 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699515.447 * [misc]simplify:  Simplified (2 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699515.447 * [enter]simplify:  Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699515.447 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699515.450 * * [misc]simplify:  iters left: 2 (19 enodes)
1550699515.456 * * [misc]simplify:  iters left: 1 (37 enodes)
1550699515.466 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.466 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699515.467 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550699515.467 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550699515.467 * * [misc]simplify:  Extracting #4: cost 27 inf + 167
1550699515.468 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550699515.469 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550699515.470 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699515.471 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550699515.471 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1550699515.471 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1550699515.471 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699515.471 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (*.p16 i (*.p16 i i))) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699515.471 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699515.471 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699515.471 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1550699515.471 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699515.476 * * [misc]simplify:  iters left: 4 (43 enodes)
1550699515.490 * * [misc]simplify:  iters left: 3 (170 enodes)
1550699515.565 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.565 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1550699515.566 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1550699515.568 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1550699515.575 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1550699515.592 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1550699515.615 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1550699515.636 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1550699515.658 * [exit]simplify:  Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1550699515.658 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550699515.658 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699515.659 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1550699515.659 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699515.664 * * [misc]simplify:  iters left: 4 (43 enodes)
1550699515.678 * * [misc]simplify:  iters left: 3 (170 enodes)
1550699515.748 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.748 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1550699515.752 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1550699515.754 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1550699515.760 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1550699515.776 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1550699515.798 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1550699515.817 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1550699515.840 * [exit]simplify:  Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1550699515.840 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550699515.840 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699515.840 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1550699515.840 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699515.846 * * [misc]simplify:  iters left: 4 (43 enodes)
1550699515.861 * * [misc]simplify:  iters left: 3 (170 enodes)
1550699515.934 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.934 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1550699515.935 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1550699515.938 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1550699515.943 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1550699515.965 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1550699515.985 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1550699516.010 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1550699516.030 * [exit]simplify:  Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1550699516.030 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550699516.031 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699516.031 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1550699516.031 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699516.037 * * [misc]simplify:  iters left: 4 (43 enodes)
1550699516.051 * * [misc]simplify:  iters left: 3 (170 enodes)
1550699516.132 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699516.133 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1550699516.134 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1550699516.136 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1550699516.142 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1550699516.159 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1550699516.186 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1550699516.211 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1550699516.236 * [exit]simplify:  Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1550699516.236 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550699516.236 * * * [misc]progress:  adding candidates to table
1550699517.266 * * [misc]progress:  iteration 2 / 4
1550699517.266 * * * [misc]progress:  picking best candidate
1550699517.916 * * * * [misc]pick:  Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699517.916 * * * [misc]progress:  localizing error
1550699518.030 * * * [misc]progress:  generating rewritten candidates
1550699518.030 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1550699518.034 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550699518.038 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699518.041 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550699518.043 * * * [misc]progress:  generating series expansions
1550699518.043 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1550699518.043 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550699518.043 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699518.043 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550699518.043 * * * [misc]progress:  simplifying candidates
1550699518.043 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699518.043 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699518.044 * [enter]simplify:  Simplifying (*.p16 (real->posit16 2) i)
1550699518.044 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699518.045 * * [misc]simplify:  iters left: 1 (8 enodes)
1550699518.046 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.046 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699518.046 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699518.047 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699518.047 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699518.047 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1550699518.047 * [misc]simplify:  Simplified (2 1 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699518.047 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (/.p16 (*.p16 (real->posit16 2) i) i) (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699518.047 * [enter]simplify:  Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
1550699518.047 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699518.049 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699518.051 * * [misc]simplify:  iters left: 1 (15 enodes)
1550699518.067 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.067 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550699518.067 * * [misc]simplify:  Extracting #2: cost 5 inf + 443
1550699518.067 * * [misc]simplify:  Extracting #3: cost 1 inf + 1329
1550699518.068 * * [misc]simplify:  Extracting #4: cost 0 inf + 1211
1550699518.068 * [exit]simplify:  Simplified to (real->posit16 2)
1550699518.068 * [misc]simplify:  Simplified (2 1 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699518.068 * [enter]simplify:  Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
1550699518.068 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699518.070 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699518.073 * * [misc]simplify:  iters left: 1 (15 enodes)
1550699518.077 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.078 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550699518.078 * * [misc]simplify:  Extracting #2: cost 5 inf + 443
1550699518.078 * * [misc]simplify:  Extracting #3: cost 1 inf + 1329
1550699518.078 * * [misc]simplify:  Extracting #4: cost 0 inf + 1211
1550699518.078 * [exit]simplify:  Simplified to (real->posit16 2)
1550699518.078 * [misc]simplify:  Simplified (2 1 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (/.p16 (*.p16 (real->posit16 2) i) i) (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699518.079 * * * * [misc]progress:  [ 4 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1550699518.079 * [enter]simplify:  Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699518.079 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699518.082 * * [misc]simplify:  iters left: 2 (19 enodes)
1550699518.087 * * [misc]simplify:  iters left: 1 (37 enodes)
1550699518.097 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.097 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699518.098 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550699518.098 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550699518.098 * * [misc]simplify:  Extracting #4: cost 27 inf + 167
1550699518.098 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550699518.099 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550699518.101 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699518.101 * [misc]simplify:  Simplified (2 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699518.101 * * * * [misc]progress:  [ 5 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 i i))))>
1550699518.101 * [enter]simplify:  Simplifying (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1550699518.101 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699518.104 * * [misc]simplify:  iters left: 3 (21 enodes)
1550699518.110 * * [misc]simplify:  iters left: 2 (56 enodes)
1550699518.126 * * [misc]simplify:  iters left: 1 (131 enodes)
1550699518.184 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.184 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550699518.184 * * [misc]simplify:  Extracting #2: cost 36 inf + 322
1550699518.185 * * [misc]simplify:  Extracting #3: cost 26 inf + 3816
1550699518.186 * * [misc]simplify:  Extracting #4: cost 2 inf + 23105
1550699518.188 * * [misc]simplify:  Extracting #5: cost 0 inf + 24388
1550699518.190 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 2) (real->posit16 2)))
1550699518.190 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 2) (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 i i))))
1550699518.191 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)))))>
1550699518.191 * [enter]simplify:  Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
1550699518.191 * * [misc]simplify:  iters left: 4 (6 enodes)
1550699518.193 * * [misc]simplify:  iters left: 3 (14 enodes)
1550699518.197 * * [misc]simplify:  iters left: 2 (24 enodes)
1550699518.204 * * [misc]simplify:  iters left: 1 (43 enodes)
1550699518.230 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.231 * * [misc]simplify:  Extracting #1: cost 17 inf + 0
1550699518.231 * * [misc]simplify:  Extracting #2: cost 34 inf + 1
1550699518.231 * * [misc]simplify:  Extracting #3: cost 27 inf + 2848
1550699518.231 * * [misc]simplify:  Extracting #4: cost 13 inf + 9234
1550699518.232 * * [misc]simplify:  Extracting #5: cost 3 inf + 16295
1550699518.234 * * [misc]simplify:  Extracting #6: cost 0 inf + 18782
1550699518.235 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550699518.235 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)))))
1550699518.235 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699518.235 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1550699518.236 * * [misc]simplify:  iters left: 4 (8 enodes)
1550699518.239 * * [misc]simplify:  iters left: 3 (18 enodes)
1550699518.244 * * [misc]simplify:  iters left: 2 (25 enodes)
1550699518.251 * * [misc]simplify:  iters left: 1 (29 enodes)
1550699518.257 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.257 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699518.257 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550699518.258 * * [misc]simplify:  Extracting #3: cost 8 inf + 324
1550699518.258 * * [misc]simplify:  Extracting #4: cost 7 inf + 325
1550699518.258 * * [misc]simplify:  Extracting #5: cost 0 inf + 3578
1550699518.258 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550699518.258 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550699518.259 * * * * [misc]progress:  [ 8 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))>
1550699518.259 * [enter]simplify:  Simplifying (*.p16 i i)
1550699518.259 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699518.260 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.260 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699518.260 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699518.260 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550699518.260 * [exit]simplify:  Simplified to (*.p16 i i)
1550699518.260 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))
1550699518.260 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699518.260 * [enter]simplify:  Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699518.260 * * [misc]simplify:  iters left: 5 (11 enodes)
1550699518.264 * * [misc]simplify:  iters left: 4 (29 enodes)
1550699518.272 * * [misc]simplify:  iters left: 3 (79 enodes)
1550699518.290 * * [misc]simplify:  iters left: 2 (232 enodes)
1550699518.485 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.485 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1550699518.486 * * [misc]simplify:  Extracting #2: cost 132 inf + 322
1550699518.487 * * [misc]simplify:  Extracting #3: cost 124 inf + 6535
1550699518.490 * * [misc]simplify:  Extracting #4: cost 75 inf + 59012
1550699518.496 * * [misc]simplify:  Extracting #5: cost 7 inf + 134884
1550699518.507 * * [misc]simplify:  Extracting #6: cost 0 inf + 139219
1550699518.518 * * [misc]simplify:  Extracting #7: cost 0 inf + 138896
1550699518.530 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 2))))
1550699518.530 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 2)))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699518.530 * [enter]simplify:  Simplifying (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699518.530 * * [misc]simplify:  iters left: 4 (9 enodes)
1550699518.534 * * [misc]simplify:  iters left: 3 (23 enodes)
1550699518.541 * * [misc]simplify:  iters left: 2 (47 enodes)
1550699518.559 * * [misc]simplify:  iters left: 1 (130 enodes)
1550699518.642 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.642 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550699518.643 * * [misc]simplify:  Extracting #2: cost 121 inf + 322
1550699518.644 * * [misc]simplify:  Extracting #3: cost 155 inf + 322
1550699518.644 * * [misc]simplify:  Extracting #4: cost 158 inf + 1609
1550699518.647 * * [misc]simplify:  Extracting #5: cost 122 inf + 37680
1550699518.655 * * [misc]simplify:  Extracting #6: cost 7 inf + 183205
1550699518.666 * * [misc]simplify:  Extracting #7: cost 0 inf + 192585
1550699518.679 * [exit]simplify:  Simplified to (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699518.679 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699518.679 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699518.679 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699518.680 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699518.683 * * [misc]simplify:  iters left: 4 (22 enodes)
1550699518.689 * * [misc]simplify:  iters left: 3 (39 enodes)
1550699518.702 * * [misc]simplify:  iters left: 2 (100 enodes)
1550699518.788 * * [misc]simplify:  iters left: 1 (391 enodes)
1550699519.699 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699519.699 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699519.701 * * [misc]simplify:  Extracting #2: cost 229 inf + 442
1550699519.703 * * [misc]simplify:  Extracting #3: cost 217 inf + 13851
1550699519.709 * * [misc]simplify:  Extracting #4: cost 93 inf + 128360
1550699519.725 * * [misc]simplify:  Extracting #5: cost 5 inf + 243742
1550699519.745 * * [misc]simplify:  Extracting #6: cost 0 inf + 250114
1550699519.765 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1550699519.765 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699519.766 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699519.766 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699519.770 * * [misc]simplify:  iters left: 4 (28 enodes)
1550699519.779 * * [misc]simplify:  iters left: 3 (72 enodes)
1550699519.803 * * [misc]simplify:  iters left: 2 (214 enodes)
1550699520.087 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.087 * * [misc]simplify:  Extracting #1: cost 61 inf + 0
1550699520.088 * * [misc]simplify:  Extracting #2: cost 251 inf + 1
1550699520.090 * * [misc]simplify:  Extracting #3: cost 264 inf + 9678
1550699520.095 * * [misc]simplify:  Extracting #4: cost 213 inf + 79781
1550699520.112 * * [misc]simplify:  Extracting #5: cost 49 inf + 282271
1550699520.133 * * [misc]simplify:  Extracting #6: cost 1 inf + 352514
1550699520.152 * * [misc]simplify:  Extracting #7: cost 0 inf + 354277
1550699520.176 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699520.176 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550699520.177 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.177 * [enter]simplify:  Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
1550699520.177 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699520.179 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699520.183 * * [misc]simplify:  iters left: 1 (15 enodes)
1550699520.187 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.187 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550699520.187 * * [misc]simplify:  Extracting #2: cost 5 inf + 443
1550699520.187 * * [misc]simplify:  Extracting #3: cost 1 inf + 1329
1550699520.188 * * [misc]simplify:  Extracting #4: cost 0 inf + 1211
1550699520.188 * [exit]simplify:  Simplified to (real->posit16 2)
1550699520.188 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.188 * * * * [misc]progress:  [ 12 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.188 * * * * [misc]progress:  [ 13 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 i i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.188 * [enter]simplify:  Simplifying (*.p16 i i)
1550699520.188 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699520.189 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.189 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699520.189 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699520.189 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550699520.189 * [exit]simplify:  Simplified to (*.p16 i i)
1550699520.189 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 i i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.189 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.190 * [enter]simplify:  Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
1550699520.190 * * [misc]simplify:  iters left: 4 (6 enodes)
1550699520.192 * * [misc]simplify:  iters left: 3 (14 enodes)
1550699520.197 * * [misc]simplify:  iters left: 2 (24 enodes)
1550699520.202 * * [misc]simplify:  iters left: 1 (43 enodes)
1550699520.225 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.225 * * [misc]simplify:  Extracting #1: cost 17 inf + 0
1550699520.225 * * [misc]simplify:  Extracting #2: cost 34 inf + 1
1550699520.225 * * [misc]simplify:  Extracting #3: cost 27 inf + 2848
1550699520.225 * * [misc]simplify:  Extracting #4: cost 13 inf + 9234
1550699520.226 * * [misc]simplify:  Extracting #5: cost 3 inf + 16295
1550699520.227 * * [misc]simplify:  Extracting #6: cost 0 inf + 18782
1550699520.228 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550699520.228 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.228 * [enter]simplify:  Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
1550699520.229 * * [misc]simplify:  iters left: 4 (6 enodes)
1550699520.231 * * [misc]simplify:  iters left: 3 (14 enodes)
1550699520.235 * * [misc]simplify:  iters left: 2 (24 enodes)
1550699520.242 * * [misc]simplify:  iters left: 1 (43 enodes)
1550699520.273 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.273 * * [misc]simplify:  Extracting #1: cost 17 inf + 0
1550699520.274 * * [misc]simplify:  Extracting #2: cost 34 inf + 1
1550699520.274 * * [misc]simplify:  Extracting #3: cost 27 inf + 2848
1550699520.274 * * [misc]simplify:  Extracting #4: cost 13 inf + 9234
1550699520.275 * * [misc]simplify:  Extracting #5: cost 3 inf + 16295
1550699520.277 * * [misc]simplify:  Extracting #6: cost 0 inf + 18782
1550699520.278 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550699520.278 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.278 * * * * [misc]progress:  [ 15 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699520.279 * [enter]simplify:  Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699520.279 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699520.282 * * [misc]simplify:  iters left: 2 (13 enodes)
1550699520.286 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.286 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699520.286 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699520.286 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550699520.286 * * [misc]simplify:  Extracting #4: cost 3 inf + 4
1550699520.286 * * [misc]simplify:  Extracting #5: cost 0 inf + 690
1550699520.286 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699520.286 * [misc]simplify:  Simplified (2 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699520.287 * [enter]simplify:  Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699520.287 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699520.290 * * [misc]simplify:  iters left: 2 (19 enodes)
1550699520.296 * * [misc]simplify:  iters left: 1 (37 enodes)
1550699520.307 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.307 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699520.308 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550699520.308 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550699520.308 * * [misc]simplify:  Extracting #4: cost 27 inf + 167
1550699520.308 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550699520.310 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550699520.311 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699520.311 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550699520.311 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1550699520.311 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1550699520.312 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.312 * [enter]simplify:  Simplifying (*.p16 i i)
1550699520.312 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699520.313 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.313 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699520.313 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699520.313 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550699520.313 * [exit]simplify:  Simplified to (*.p16 i i)
1550699520.313 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.313 * * * * [misc]progress:  [ 19 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.313 * [enter]simplify:  Simplifying (*.p16 i i)
1550699520.313 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699520.314 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.314 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699520.314 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699520.314 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550699520.314 * [exit]simplify:  Simplified to (*.p16 i i)
1550699520.314 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.314 * * * * [misc]progress:  [ 20 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.314 * [enter]simplify:  Simplifying (*.p16 i i)
1550699520.315 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699520.315 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.315 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699520.315 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699520.315 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550699520.315 * [exit]simplify:  Simplified to (*.p16 i i)
1550699520.315 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.316 * * * * [misc]progress:  [ 21 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1550699520.316 * [enter]simplify:  Simplifying (*.p16 i i)
1550699520.316 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699520.317 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.317 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699520.317 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699520.317 * * [misc]simplify:  Extracting #3: cost 0 inf + 322
1550699520.317 * [exit]simplify:  Simplified to (*.p16 i i)
1550699520.317 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1550699520.317 * * * [misc]progress:  adding candidates to table
1550699521.497 * * [misc]progress:  iteration 3 / 4
1550699521.497 * * * [misc]progress:  picking best candidate
1550699521.817 * * * * [misc]pick:  Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699521.817 * * * [misc]progress:  localizing error
1550699522.077 * * * [misc]progress:  generating rewritten candidates
1550699522.077 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550699522.080 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550699522.082 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2)
1550699522.083 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1550699522.084 * * * [misc]progress:  generating series expansions
1550699522.084 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550699522.084 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550699522.084 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2)
1550699522.084 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1550699522.084 * * * [misc]progress:  simplifying candidates
1550699522.084 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699522.085 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
1550699522.085 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699522.086 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699522.088 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699522.088 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550699522.088 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699522.088 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699522.088 * * [misc]simplify:  Extracting #4: cost 0 inf + 1529
1550699522.089 * [exit]simplify:  Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
1550699522.089 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699522.089 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699522.089 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))>
1550699522.089 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
1550699522.089 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699522.091 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699522.093 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699522.093 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550699522.093 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699522.094 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699522.094 * * [misc]simplify:  Extracting #4: cost 0 inf + 1529
1550699522.094 * [exit]simplify:  Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
1550699522.094 * [misc]simplify:  Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))
1550699522.094 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699522.094 * [enter]simplify:  Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699522.094 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699522.097 * * [misc]simplify:  iters left: 2 (13 enodes)
1550699522.101 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699522.101 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699522.101 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699522.101 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550699522.101 * * [misc]simplify:  Extracting #4: cost 3 inf + 4
1550699522.101 * * [misc]simplify:  Extracting #5: cost 0 inf + 690
1550699522.101 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699522.101 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550699522.101 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i)))))>
1550699522.101 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699522.102 * [enter]simplify:  Simplifying (real->posit16 2)
1550699522.102 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699522.103 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699522.103 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699522.103 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699522.103 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699522.103 * [exit]simplify:  Simplified to (real->posit16 2)
1550699522.103 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699522.103 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699522.104 * [enter]simplify:  Simplifying (real->posit16 2)
1550699522.104 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699522.105 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699522.105 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699522.105 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699522.105 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699522.105 * [exit]simplify:  Simplified to (real->posit16 2)
1550699522.105 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699522.105 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699522.105 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699522.106 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699522.109 * * [misc]simplify:  iters left: 4 (22 enodes)
1550699522.115 * * [misc]simplify:  iters left: 3 (39 enodes)
1550699522.137 * * [misc]simplify:  iters left: 2 (100 enodes)
1550699522.231 * * [misc]simplify:  iters left: 1 (391 enodes)
1550699523.142 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699523.142 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699523.144 * * [misc]simplify:  Extracting #2: cost 229 inf + 442
1550699523.147 * * [misc]simplify:  Extracting #3: cost 217 inf + 13851
1550699523.156 * * [misc]simplify:  Extracting #4: cost 93 inf + 128360
1550699523.174 * * [misc]simplify:  Extracting #5: cost 5 inf + 243742
1550699523.189 * * [misc]simplify:  Extracting #6: cost 0 inf + 250114
1550699523.202 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1550699523.202 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699523.202 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699523.203 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699523.205 * * [misc]simplify:  iters left: 4 (28 enodes)
1550699523.214 * * [misc]simplify:  iters left: 3 (72 enodes)
1550699523.246 * * [misc]simplify:  iters left: 2 (214 enodes)
1550699523.525 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699523.525 * * [misc]simplify:  Extracting #1: cost 61 inf + 0
1550699523.526 * * [misc]simplify:  Extracting #2: cost 251 inf + 1
1550699523.527 * * [misc]simplify:  Extracting #3: cost 264 inf + 9678
1550699523.531 * * [misc]simplify:  Extracting #4: cost 213 inf + 79781
1550699523.542 * * [misc]simplify:  Extracting #5: cost 49 inf + 282271
1550699523.566 * * [misc]simplify:  Extracting #6: cost 1 inf + 352514
1550699523.591 * * [misc]simplify:  Extracting #7: cost 0 inf + 354277
1550699523.617 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699523.617 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550699523.617 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699523.618 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699523.618 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699523.622 * * [misc]simplify:  iters left: 4 (22 enodes)
1550699523.625 * * [misc]simplify:  iters left: 3 (39 enodes)
1550699523.638 * * [misc]simplify:  iters left: 2 (100 enodes)
1550699523.729 * * [misc]simplify:  iters left: 1 (391 enodes)
1550699524.673 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699524.674 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699524.676 * * [misc]simplify:  Extracting #2: cost 229 inf + 442
1550699524.679 * * [misc]simplify:  Extracting #3: cost 217 inf + 13851
1550699524.689 * * [misc]simplify:  Extracting #4: cost 93 inf + 128360
1550699524.710 * * [misc]simplify:  Extracting #5: cost 5 inf + 243742
1550699524.726 * * [misc]simplify:  Extracting #6: cost 0 inf + 250114
1550699524.745 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1550699524.745 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699524.746 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699524.746 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699524.750 * * [misc]simplify:  iters left: 4 (28 enodes)
1550699524.759 * * [misc]simplify:  iters left: 3 (72 enodes)
1550699524.786 * * [misc]simplify:  iters left: 2 (214 enodes)
1550699525.040 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699525.040 * * [misc]simplify:  Extracting #1: cost 61 inf + 0
1550699525.041 * * [misc]simplify:  Extracting #2: cost 251 inf + 1
1550699525.043 * * [misc]simplify:  Extracting #3: cost 264 inf + 9678
1550699525.049 * * [misc]simplify:  Extracting #4: cost 213 inf + 79781
1550699525.063 * * [misc]simplify:  Extracting #5: cost 49 inf + 282271
1550699525.088 * * [misc]simplify:  Extracting #6: cost 1 inf + 352514
1550699525.117 * * [misc]simplify:  Extracting #7: cost 0 inf + 354277
1550699525.136 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699525.136 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550699525.136 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699525.136 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699525.136 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699525.141 * * [misc]simplify:  iters left: 4 (22 enodes)
1550699525.148 * * [misc]simplify:  iters left: 3 (39 enodes)
1550699525.161 * * [misc]simplify:  iters left: 2 (100 enodes)
1550699525.256 * * [misc]simplify:  iters left: 1 (391 enodes)
1550699526.219 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699526.219 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699526.221 * * [misc]simplify:  Extracting #2: cost 229 inf + 442
1550699526.224 * * [misc]simplify:  Extracting #3: cost 217 inf + 13851
1550699526.234 * * [misc]simplify:  Extracting #4: cost 93 inf + 128360
1550699526.255 * * [misc]simplify:  Extracting #5: cost 5 inf + 243742
1550699526.278 * * [misc]simplify:  Extracting #6: cost 0 inf + 250114
1550699526.312 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1550699526.312 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699526.313 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699526.313 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699526.318 * * [misc]simplify:  iters left: 4 (28 enodes)
1550699526.329 * * [misc]simplify:  iters left: 3 (72 enodes)
1550699526.362 * * [misc]simplify:  iters left: 2 (214 enodes)
1550699526.700 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699526.704 * * [misc]simplify:  Extracting #1: cost 61 inf + 0
1550699526.706 * * [misc]simplify:  Extracting #2: cost 251 inf + 1
1550699526.708 * * [misc]simplify:  Extracting #3: cost 264 inf + 9678
1550699526.715 * * [misc]simplify:  Extracting #4: cost 213 inf + 79781
1550699526.737 * * [misc]simplify:  Extracting #5: cost 49 inf + 282271
1550699526.766 * * [misc]simplify:  Extracting #6: cost 1 inf + 352514
1550699526.795 * * [misc]simplify:  Extracting #7: cost 0 inf + 354277
1550699526.824 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699526.824 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550699526.824 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699526.825 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699526.825 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699526.829 * * [misc]simplify:  iters left: 4 (22 enodes)
1550699526.837 * * [misc]simplify:  iters left: 3 (39 enodes)
1550699526.857 * * [misc]simplify:  iters left: 2 (100 enodes)
1550699526.974 * * [misc]simplify:  iters left: 1 (391 enodes)
1550699528.128 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699528.129 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699528.131 * * [misc]simplify:  Extracting #2: cost 229 inf + 442
1550699528.134 * * [misc]simplify:  Extracting #3: cost 217 inf + 13851
1550699528.145 * * [misc]simplify:  Extracting #4: cost 93 inf + 128360
1550699528.166 * * [misc]simplify:  Extracting #5: cost 5 inf + 243742
1550699528.179 * * [misc]simplify:  Extracting #6: cost 0 inf + 250114
1550699528.192 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1550699528.192 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699528.192 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1550699528.193 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699528.195 * * [misc]simplify:  iters left: 4 (28 enodes)
1550699528.203 * * [misc]simplify:  iters left: 3 (72 enodes)
1550699528.238 * * [misc]simplify:  iters left: 2 (214 enodes)
1550699528.519 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699528.519 * * [misc]simplify:  Extracting #1: cost 61 inf + 0
1550699528.521 * * [misc]simplify:  Extracting #2: cost 251 inf + 1
1550699528.523 * * [misc]simplify:  Extracting #3: cost 264 inf + 9678
1550699528.531 * * [misc]simplify:  Extracting #4: cost 213 inf + 79781
1550699528.553 * * [misc]simplify:  Extracting #5: cost 49 inf + 282271
1550699528.589 * * [misc]simplify:  Extracting #6: cost 1 inf + 352514
1550699528.622 * * [misc]simplify:  Extracting #7: cost 0 inf + 354277
1550699528.654 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699528.654 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550699528.654 * * * [misc]progress:  adding candidates to table
1550699529.502 * * [misc]progress:  iteration 4 / 4
1550699529.502 * * * [misc]progress:  picking best candidate
1550699529.843 * * * * [misc]pick:  Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699529.844 * * * [misc]progress:  localizing error
1550699530.092 * * * [misc]progress:  generating rewritten candidates
1550699530.092 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550699530.098 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550699530.102 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550699530.104 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550699530.128 * * * [misc]progress:  generating series expansions
1550699530.128 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550699530.128 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550699530.128 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550699530.128 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550699530.128 * * * [misc]progress:  simplifying candidates
1550699530.128 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.129 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
1550699530.129 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699530.132 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699530.136 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.136 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550699530.136 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699530.136 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699530.136 * * [misc]simplify:  Extracting #4: cost 0 inf + 1529
1550699530.136 * [exit]simplify:  Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
1550699530.136 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699530.136 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.136 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))>
1550699530.137 * [enter]simplify:  Simplifying (/.p16 i (real->posit16 2))
1550699530.137 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699530.139 * * [misc]simplify:  iters left: 1 (7 enodes)
1550699530.142 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.142 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699530.142 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699530.142 * * [misc]simplify:  Extracting #3: cost 0 inf + 445
1550699530.142 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550699530.142 * [misc]simplify:  Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))
1550699530.142 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.143 * [enter]simplify:  Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699530.143 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699530.147 * * [misc]simplify:  iters left: 2 (13 enodes)
1550699530.152 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.152 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699530.152 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699530.152 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550699530.152 * * [misc]simplify:  Extracting #4: cost 3 inf + 4
1550699530.152 * * [misc]simplify:  Extracting #5: cost 0 inf + 690
1550699530.152 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699530.152 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550699530.153 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (real->posit16 2) (/.p16 i i))))))>
1550699530.153 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.153 * [enter]simplify:  Simplifying (real->posit16 2)
1550699530.153 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699530.155 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.155 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699530.155 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699530.155 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699530.155 * [exit]simplify:  Simplified to (real->posit16 2)
1550699530.155 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699530.155 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1550699530.156 * [enter]simplify:  Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699530.156 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699530.160 * * [misc]simplify:  iters left: 2 (13 enodes)
1550699530.165 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.165 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699530.165 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699530.165 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550699530.165 * * [misc]simplify:  Extracting #4: cost 3 inf + 4
1550699530.165 * * [misc]simplify:  Extracting #5: cost 0 inf + 690
1550699530.165 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699530.165 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699530.166 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1550699530.166 * [enter]simplify:  Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1550699530.166 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699530.171 * * [misc]simplify:  iters left: 2 (19 enodes)
1550699530.179 * * [misc]simplify:  iters left: 1 (37 enodes)
1550699530.194 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.194 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699530.194 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550699530.194 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550699530.194 * * [misc]simplify:  Extracting #4: cost 27 inf + 167
1550699530.195 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550699530.197 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550699530.199 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550699530.199 * [misc]simplify:  Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550699530.200 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1550699530.200 * [enter]simplify:  Simplifying (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1550699530.200 * * [misc]simplify:  iters left: 5 (14 enodes)
1550699530.209 * * [misc]simplify:  iters left: 4 (39 enodes)
1550699530.229 * * [misc]simplify:  iters left: 3 (134 enodes)
1550699530.436 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.437 * * [misc]simplify:  Extracting #1: cost 61 inf + 0
1550699530.438 * * [misc]simplify:  Extracting #2: cost 192 inf + 1
1550699530.440 * * [misc]simplify:  Extracting #3: cost 180 inf + 18805
1550699530.444 * * [misc]simplify:  Extracting #4: cost 130 inf + 69151
1550699530.454 * * [misc]simplify:  Extracting #5: cost 34 inf + 186387
1550699530.472 * * [misc]simplify:  Extracting #6: cost 1 inf + 238803
1550699530.490 * * [misc]simplify:  Extracting #7: cost 0 inf + 240326
1550699530.511 * [exit]simplify:  Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550699530.512 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1550699530.512 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.512 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.512 * [enter]simplify:  Simplifying (real->posit16 2)
1550699530.512 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699530.514 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.514 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699530.514 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699530.514 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699530.514 * [exit]simplify:  Simplified to (real->posit16 2)
1550699530.514 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699530.514 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.515 * [enter]simplify:  Simplifying (real->posit16 2)
1550699530.515 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699530.516 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.516 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699530.516 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699530.516 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699530.517 * [exit]simplify:  Simplified to (real->posit16 2)
1550699530.517 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699530.517 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.517 * [enter]simplify:  Simplifying (real->posit16 2)
1550699530.517 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699530.519 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.519 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699530.519 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699530.519 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699530.519 * [exit]simplify:  Simplified to (real->posit16 2)
1550699530.519 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699530.520 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1550699530.520 * [enter]simplify:  Simplifying (real->posit16 2)
1550699530.520 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699530.521 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699530.521 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699530.521 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699530.521 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699530.521 * [exit]simplify:  Simplified to (real->posit16 2)
1550699530.521 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1550699530.521 * * * [misc]progress:  adding candidates to table
1550699531.713 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699531.713 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>)
1550699531.715 * * * [misc]regime-changes:  Trying 1 branch expressions: (i)
1550699531.715 * * * * [misc]regimes:  Trying to branch on i from (#<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>)
1550699532.266 * * * [misc]regime:  Found split indices: #<option (#s(si 10 256))>
1550699532.266 * [enter]simplify:  Simplifying (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1550699532.266 * * [misc]simplify:  iters left: 5 (14 enodes)
1550699532.269 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699532.269 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699532.269 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699532.269 * * [misc]simplify:  Extracting #3: cost 10 inf + 0
1550699532.269 * * [misc]simplify:  Extracting #4: cost 12 inf + 1
1550699532.269 * * [misc]simplify:  Extracting #5: cost 11 inf + 443
1550699532.269 * * [misc]simplify:  Extracting #6: cost 9 inf + 445
1550699532.269 * * [misc]simplify:  Extracting #7: cost 3 inf + 3738
1550699532.269 * * [misc]simplify:  Extracting #8: cost 0 inf + 10987
1550699532.269 * [exit]simplify:  Simplified to (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1550699532.270 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699532.281 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699532.284 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.285 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.286 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699532.290 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.291 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.293 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699532.296 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.300 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.307 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699532.313 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.325 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.339 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699532.343 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.356 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.371 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699532.374 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.422 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.453 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699532.457 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.508 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.652 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699532.658 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.875 * * * * [misc]points:  Setting MPFR precision to 320
1550699533.125 * * * * [misc]points:  Computing exacts for 8000 points
1550699533.133 * * * * [misc]points:  Setting MPFR precision to 64
1550699534.447 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.506 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699535.732 * * * * [misc]points:  Sampling 4001 additional inputs, on iter 1 have 3999 / 8000
1550699535.743 * * * * [misc]points:  Computing exacts on every 250 of 4001 points to ramp up precision
1550699535.749 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.751 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.753 * * * * [misc]points:  Computing exacts on every 125 of 4001 points to ramp up precision
1550699535.759 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.762 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.765 * * * * [misc]points:  Computing exacts on every 62 of 4001 points to ramp up precision
1550699535.771 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.777 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.785 * * * * [misc]points:  Computing exacts on every 31 of 4001 points to ramp up precision
1550699535.791 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.803 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.816 * * * * [misc]points:  Computing exacts on every 15 of 4001 points to ramp up precision
1550699535.848 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.875 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.902 * * * * [misc]points:  Computing exacts on every 7 of 4001 points to ramp up precision
1550699535.909 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.956 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.010 * * * * [misc]points:  Computing exacts on every 3 of 4001 points to ramp up precision
1550699536.016 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.158 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.269 * * * * [misc]points:  Computing exacts for 4001 points
1550699536.275 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.755 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.301 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699537.422 * * * * [misc]points:  Sampling 2048 additional inputs, on iter 2 have 5952 / 8000
1550699537.427 * * * * [misc]points:  Computing exacts on every 128 of 2048 points to ramp up precision
1550699537.433 * * * * [misc]points:  Setting MPFR precision to 64
1550699537.435 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.437 * * * * [misc]points:  Computing exacts on every 64 of 2048 points to ramp up precision
1550699537.442 * * * * [misc]points:  Setting MPFR precision to 64
1550699537.445 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.449 * * * * [misc]points:  Computing exacts on every 32 of 2048 points to ramp up precision
1550699537.455 * * * * [misc]points:  Setting MPFR precision to 64
1550699537.460 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.490 * * * * [misc]points:  Computing exacts on every 16 of 2048 points to ramp up precision
1550699537.496 * * * * [misc]points:  Setting MPFR precision to 64
1550699537.508 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.521 * * * * [misc]points:  Computing exacts on every 8 of 2048 points to ramp up precision
1550699537.527 * * * * [misc]points:  Setting MPFR precision to 64
1550699537.548 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.563 * * * * [misc]points:  Computing exacts on every 4 of 2048 points to ramp up precision
1550699537.566 * * * * [misc]points:  Setting MPFR precision to 64
1550699537.589 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.615 * * * * [misc]points:  Computing exacts on every 2 of 2048 points to ramp up precision
1550699537.618 * * * * [misc]points:  Setting MPFR precision to 64
1550699537.711 * * * * [misc]points:  Setting MPFR precision to 320
1550699537.785 * * * * [misc]points:  Computing exacts for 2048 points
1550699537.790 * * * * [misc]points:  Setting MPFR precision to 64
1550699538.000 * * * * [misc]points:  Setting MPFR precision to 320
1550699538.209 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699538.245 * * * * [misc]points:  Sampling 1024 additional inputs, on iter 3 have 6976 / 8000
1550699538.246 * * * * [misc]points:  Computing exacts on every 64 of 1024 points to ramp up precision
1550699538.250 * * * * [misc]points:  Setting MPFR precision to 64
1550699538.251 * * * * [misc]points:  Setting MPFR precision to 320
1550699538.252 * * * * [misc]points:  Computing exacts on every 32 of 1024 points to ramp up precision
1550699538.255 * * * * [misc]points:  Setting MPFR precision to 64
1550699538.257 * * * * [misc]points:  Setting MPFR precision to 320
1550699538.259 * * * * [misc]points:  Computing exacts on every 16 of 1024 points to ramp up precision
1550699538.262 * * * * [misc]points:  Setting MPFR precision to 64
1550699538.265 * * * * [misc]points:  Setting MPFR precision to 320
1550699538.269 * * * * [misc]points:  Computing exacts on every 8 of 1024 points to ramp up precision
1550699538.272 * * * * [misc]points:  Setting MPFR precision to 64
1550699538.278 * * * * [misc]points:  Setting MPFR precision to 320
1550699538.285 * * * * [misc]points:  Computing exacts on every 4 of 1024 points to ramp up precision
1550699538.782 * * * * [misc]points:  Setting MPFR precision to 64
1550699538.804 * * * * [misc]points:  Setting MPFR precision to 320
1550699538.827 * * * * [misc]points:  Computing exacts on every 2 of 1024 points to ramp up precision
1550699538.833 * * * * [misc]points:  Setting MPFR precision to 64
1550699538.867 * * * * [misc]points:  Setting MPFR precision to 320
1550699538.904 * * * * [misc]points:  Computing exacts for 1024 points
1550699538.910 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.002 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.106 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.125 * * * * [misc]points:  Sampling 537 additional inputs, on iter 4 have 7463 / 8000
1550699539.126 * * * * [misc]points:  Computing exacts on every 33 of 537 points to ramp up precision
1550699539.129 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.130 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.131 * * * * [misc]points:  Computing exacts on every 16 of 537 points to ramp up precision
1550699539.134 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.136 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.138 * * * * [misc]points:  Computing exacts on every 8 of 537 points to ramp up precision
1550699539.141 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.144 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.148 * * * * [misc]points:  Computing exacts on every 4 of 537 points to ramp up precision
1550699539.151 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.157 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.164 * * * * [misc]points:  Computing exacts on every 2 of 537 points to ramp up precision
1550699539.190 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.201 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.214 * * * * [misc]points:  Computing exacts for 537 points
1550699539.217 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.248 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.287 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.298 * * * * [misc]points:  Sampling 276 additional inputs, on iter 5 have 7724 / 8000
1550699539.299 * * * * [misc]points:  Computing exacts on every 17 of 276 points to ramp up precision
1550699539.302 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.303 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.304 * * * * [misc]points:  Computing exacts on every 8 of 276 points to ramp up precision
1550699539.307 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.308 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.310 * * * * [misc]points:  Computing exacts on every 4 of 276 points to ramp up precision
1550699539.313 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.316 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.344 * * * * [misc]points:  Computing exacts on every 2 of 276 points to ramp up precision
1550699539.347 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.354 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.360 * * * * [misc]points:  Computing exacts for 276 points
1550699539.363 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.379 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.397 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.403 * * * * [misc]points:  Sampling 140 additional inputs, on iter 6 have 7860 / 8000
1550699539.403 * * * * [misc]points:  Computing exacts on every 8 of 140 points to ramp up precision
1550699539.406 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.407 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.408 * * * * [misc]points:  Computing exacts on every 4 of 140 points to ramp up precision
1550699539.412 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.413 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.415 * * * * [misc]points:  Computing exacts on every 2 of 140 points to ramp up precision
1550699539.418 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.421 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.425 * * * * [misc]points:  Computing exacts for 140 points
1550699539.428 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.436 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.446 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.449 * * * * [misc]points:  Sampling 69 additional inputs, on iter 7 have 7931 / 8000
1550699539.449 * * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
1550699539.452 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.453 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.454 * * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
1550699539.457 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.458 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.480 * * * * [misc]points:  Computing exacts for 69 points
1550699539.483 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.487 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.494 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.495 * * * * [misc]points:  Sampling 36 additional inputs, on iter 8 have 7964 / 8000
1550699539.495 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1550699539.498 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.499 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.500 * * * * [misc]points:  Computing exacts for 36 points
1550699539.503 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.506 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.509 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.510 * * * * [misc]points:  Sampling 17 additional inputs, on iter 9 have 7983 / 8000
1550699539.510 * * * * [misc]points:  Computing exacts for 17 points
1550699539.513 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.514 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.515 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.516 * * * * [misc]points:  Sampling 10 additional inputs, on iter 10 have 7990 / 8000
1550699539.516 * * * * [misc]points:  Computing exacts for 10 points
1550699539.519 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.520 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.520 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.521 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7996 / 8000
1550699539.521 * * * * [misc]points:  Computing exacts for 4 points
1550699539.524 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.524 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.525 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.525 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7999 / 8000
1550699539.525 * * * * [misc]points:  Computing exacts for 4 points
1550699539.528 * * * * [misc]points:  Setting MPFR precision to 64
1550699539.529 * * * * [misc]points:  Setting MPFR precision to 320
1550699539.529 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699539.529 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699550.268 * [misc]regime-testing:  Baseline error score: 64.0
1550699550.270 * [misc]regime-testing:  Oracle error score: 64.0
1550699550.275 * [misc]regime-testing:  End program error score: 0.38944433461063394