1550619759.875 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619759.875 * * * [misc]progress:  [1/2] Preparing points
1550619759.877 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619759.877 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619759.881 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.883 * * * * [misc]points:  Setting MPFR precision to 320
1550619759.885 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619759.889 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.892 * * * * [misc]points:  Setting MPFR precision to 320
1550619759.895 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619759.898 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.901 * * * * [misc]points:  Setting MPFR precision to 320
1550619759.904 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619759.907 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.911 * * * * [misc]points:  Setting MPFR precision to 320
1550619759.922 * * * * [misc]points:  Computing exacts for 256 points
1550619759.925 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.939 * * * * [misc]points:  Setting MPFR precision to 320
1550619759.963 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619759.969 * * * * [misc]points:  Sampling 126 additional inputs, on iter 1 have 130 / 256
1550619759.969 * * * * [misc]points:  Computing exacts on every 7 of 126 points to ramp up precision
1550619759.973 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.974 * * * * [misc]points:  Setting MPFR precision to 320
1550619759.976 * * * * [misc]points:  Computing exacts on every 3 of 126 points to ramp up precision
1550619759.980 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.983 * * * * [misc]points:  Setting MPFR precision to 320
1550619759.986 * * * * [misc]points:  Computing exacts for 126 points
1550619759.989 * * * * [misc]points:  Setting MPFR precision to 64
1550619759.999 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.007 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619760.009 * * * * [misc]points:  Sampling 64 additional inputs, on iter 2 have 192 / 256
1550619760.009 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1550619760.013 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.014 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.015 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1550619760.021 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.024 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.026 * * * * [misc]points:  Computing exacts for 64 points
1550619760.031 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.036 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.043 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619760.045 * * * * [misc]points:  Sampling 25 additional inputs, on iter 3 have 231 / 256
1550619760.045 * * * * [misc]points:  Computing exacts for 25 points
1550619760.050 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.052 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.055 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619760.055 * * * * [misc]points:  Sampling 13 additional inputs, on iter 4 have 243 / 256
1550619760.055 * * * * [misc]points:  Computing exacts for 13 points
1550619760.060 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.061 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.063 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619760.063 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 253 / 256
1550619760.063 * * * * [misc]points:  Computing exacts for 4 points
1550619760.067 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.068 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.068 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619760.069 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 255 / 256
1550619760.069 * * * * [misc]points:  Computing exacts for 4 points
1550619760.095 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.096 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.096 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619760.096 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 255 / 256
1550619760.096 * * * * [misc]points:  Computing exacts for 4 points
1550619760.100 * * * * [misc]points:  Setting MPFR precision to 64
1550619760.100 * * * * [misc]points:  Setting MPFR precision to 320
1550619760.101 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619760.101 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619760.101 * * * [misc]progress:  [2/2] Setting up program.
1550619760.126 * [misc]progress:  [Phase 2 of 3] Improving.
1550619760.126 * * * * [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))))>
1550619760.126 * [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)))
1550619760.126 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619760.129 * * [misc]simplify:  iters left: 4 (43 enodes)
1550619760.139 * * [misc]simplify:  iters left: 3 (170 enodes)
1550619760.213 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.214 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1550619760.214 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1550619760.215 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1550619760.222 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1550619760.241 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1550619760.258 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1550619760.274 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1550619760.299 * [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))
1550619760.299 * [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)))
1550619760.348 * * [misc]progress:  iteration 1 / 4
1550619760.348 * * * [misc]progress:  picking best candidate
1550619760.399 * * * * [misc]pick:  Picked  #<alt (λ (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)))>
1550619760.399 * * * [misc]progress:  localizing error
1550619760.644 * * * [misc]progress:  generating rewritten candidates
1550619760.644 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550619760.648 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550619760.651 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1550619760.653 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550619760.661 * * * [misc]progress:  generating series expansions
1550619760.661 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550619760.661 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550619760.661 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1550619760.661 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550619760.661 * * * [misc]progress:  simplifying candidates
1550619760.662 * * * * [misc]progress:  [ 1 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.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)))>
1550619760.662 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619760.662 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619760.666 * * [misc]simplify:  iters left: 3 (27 enodes)
1550619760.683 * * [misc]simplify:  iters left: 2 (61 enodes)
1550619760.703 * * [misc]simplify:  iters left: 1 (182 enodes)
1550619760.807 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.807 * * [misc]simplify:  Extracting #1: cost 37 inf + 0
1550619760.807 * * [misc]simplify:  Extracting #2: cost 175 inf + 0
1550619760.808 * * [misc]simplify:  Extracting #3: cost 221 inf + 323
1550619760.810 * * [misc]simplify:  Extracting #4: cost 221 inf + 30993
1550619760.821 * * [misc]simplify:  Extracting #5: cost 76 inf + 221248
1550619760.838 * * [misc]simplify:  Extracting #6: cost 0 inf + 318421
1550619760.862 * * [misc]simplify:  Extracting #7: cost 0 inf + 316421
1550619760.891 * [exit]simplify:  Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619760.891 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.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)))
1550619760.891 * * * * [misc]progress:  [ 2 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (/.p16 (*.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))) i)) (*.p16 i i)))>
1550619760.892 * * * * [misc]progress:  [ 3 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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))) (*.p16 i i)))>
1550619760.892 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619760.892 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619760.894 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619760.897 * * [misc]simplify:  iters left: 2 (25 enodes)
1550619760.901 * * [misc]simplify:  iters left: 1 (29 enodes)
1550619760.906 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.906 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619760.906 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550619760.906 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550619760.906 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550619760.907 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619760.907 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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))) (*.p16 i i)))
1550619760.907 * * * * [misc]progress:  [ 4 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1550619760.907 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619760.907 * * [misc]simplify:  iters left: 4 (6 enodes)
1550619760.910 * * [misc]simplify:  iters left: 3 (16 enodes)
1550619760.914 * * [misc]simplify:  iters left: 2 (27 enodes)
1550619760.921 * * [misc]simplify:  iters left: 1 (33 enodes)
1550619760.929 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.929 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619760.929 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619760.929 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550619760.929 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550619760.929 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550619760.930 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550619760.930 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619760.930 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619760.930 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619760.931 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619760.934 * * [misc]simplify:  iters left: 4 (28 enodes)
1550619760.942 * * [misc]simplify:  iters left: 3 (66 enodes)
1550619760.956 * * [misc]simplify:  iters left: 2 (206 enodes)
1550619761.088 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.088 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550619761.089 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550619761.090 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550619761.092 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550619761.104 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550619761.124 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550619761.155 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550619761.443 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619761.443 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619761.443 * * * * [misc]progress:  [ 5 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.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)))) i) i))>
1550619761.443 * * * * [misc]progress:  [ 6 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (*.p16 (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 i i))))>
1550619761.444 * [enter]simplify:  Simplifying (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))))
1550619761.444 * * [misc]simplify:  iters left: 6 (13 enodes)
1550619761.447 * * [misc]simplify:  iters left: 5 (46 enodes)
1550619761.457 * * [misc]simplify:  iters left: 4 (170 enodes)
1550619761.525 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.525 * * [misc]simplify:  Extracting #1: cost 88 inf + 0
1550619761.526 * * [misc]simplify:  Extracting #2: cost 216 inf + 1524
1550619761.530 * * [misc]simplify:  Extracting #3: cost 193 inf + 60340
1550619761.546 * * [misc]simplify:  Extracting #4: cost 64 inf + 265197
1550619761.565 * * [misc]simplify:  Extracting #5: cost 12 inf + 357709
1550619761.596 * * [misc]simplify:  Extracting #6: cost 0 inf + 383025
1550619761.631 * * [misc]simplify:  Extracting #7: cost 0 inf + 382865
1550619761.656 * [exit]simplify:  Simplified to (/.p16 (*.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))) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))))
1550619761.656 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 (*.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))) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))) (*.p16 (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 i i))))
1550619761.656 * * * * [misc]progress:  [ 7 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))>
1550619761.657 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619761.657 * * [misc]simplify:  iters left: 4 (6 enodes)
1550619761.660 * * [misc]simplify:  iters left: 3 (16 enodes)
1550619761.664 * * [misc]simplify:  iters left: 2 (27 enodes)
1550619761.671 * * [misc]simplify:  iters left: 1 (33 enodes)
1550619761.676 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.676 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619761.676 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619761.676 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550619761.676 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550619761.676 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550619761.677 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550619761.677 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619761.677 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))
1550619761.677 * * * * [misc]progress:  [ 8 / 22 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.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)))))>
1550619761.677 * [enter]simplify:  Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1550619761.677 * * [misc]simplify:  iters left: 2 (3 enodes)
1550619761.678 * * [misc]simplify:  iters left: 1 (9 enodes)
1550619761.679 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.679 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550619761.679 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619761.679 * * [misc]simplify:  Extracting #3: cost 0 inf + 1604
1550619761.679 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1550619761.679 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.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)))))
1550619761.679 * * * * [misc]progress:  [ 9 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 i i) (/.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))))))>
1550619761.679 * * * * [misc]progress:  [ 10 / 22 ] simplifiying candidate #<alt (λ (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)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 i i)))>
1550619761.680 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619761.680 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619761.682 * * [misc]simplify:  iters left: 2 (13 enodes)
1550619761.684 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.684 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619761.684 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619761.684 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550619761.684 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550619761.684 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619761.684 * [misc]simplify:  Simplified (2 1 2 2 1) 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)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 i i)))
1550619761.684 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619761.684 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619761.686 * * [misc]simplify:  iters left: 2 (19 enodes)
1550619761.689 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619761.698 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.698 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619761.698 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550619761.699 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550619761.699 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550619761.699 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550619761.701 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550619761.702 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619761.702 * [misc]simplify:  Simplified (2 1 2 2 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)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 i i)))
1550619761.703 * * * * [misc]progress:  [ 11 / 22 ] simplifiying candidate #<alt (λ (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))) (neg.p16 (real->posit16 1.0))))) (*.p16 i i)))>
1550619761.703 * * * * [misc]progress:  [ 12 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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))))) (*.p16 i i)))>
1550619761.703 * * * * [misc]progress:  [ 13 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0))))) (*.p16 i i)))>
1550619761.703 * [enter]simplify:  Simplifying (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))
1550619761.703 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619761.707 * * [misc]simplify:  iters left: 3 (21 enodes)
1550619761.713 * * [misc]simplify:  iters left: 2 (45 enodes)
1550619761.726 * * [misc]simplify:  iters left: 1 (74 enodes)
1550619761.749 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.749 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550619761.749 * * [misc]simplify:  Extracting #2: cost 30 inf + 1
1550619761.749 * * [misc]simplify:  Extracting #3: cost 29 inf + 323
1550619761.750 * * [misc]simplify:  Extracting #4: cost 22 inf + 2894
1550619761.750 * * [misc]simplify:  Extracting #5: cost 15 inf + 7229
1550619761.752 * * [misc]simplify:  Extracting #6: cost 2 inf + 16939
1550619761.754 * * [misc]simplify:  Extracting #7: cost 0 inf + 18383
1550619761.756 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619761.756 * [misc]simplify:  Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))) (*.p16 i i)))
1550619761.756 * * * * [misc]progress:  [ 14 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))) (*.p16 i i)))>
1550619761.756 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619761.756 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619761.760 * * [misc]simplify:  iters left: 3 (21 enodes)
1550619761.766 * * [misc]simplify:  iters left: 2 (45 enodes)
1550619761.779 * * [misc]simplify:  iters left: 1 (72 enodes)
1550619761.798 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.798 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550619761.799 * * [misc]simplify:  Extracting #2: cost 24 inf + 1
1550619761.799 * * [misc]simplify:  Extracting #3: cost 22 inf + 324
1550619761.799 * * [misc]simplify:  Extracting #4: cost 15 inf + 2895
1550619761.800 * * [misc]simplify:  Extracting #5: cost 1 inf + 12686
1550619761.802 * * [misc]simplify:  Extracting #6: cost 0 inf + 13408
1550619761.803 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1550619761.803 * [misc]simplify:  Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))))) (*.p16 i i)))
1550619761.804 * * * * [misc]progress:  [ 15 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i 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 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))>
1550619761.804 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619761.804 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619761.807 * * [misc]simplify:  iters left: 2 (19 enodes)
1550619761.811 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619761.818 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.818 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619761.818 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550619761.818 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550619761.818 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550619761.818 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550619761.819 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550619761.820 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619761.820 * [misc]simplify:  Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i 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 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))
1550619761.820 * * * * [misc]progress:  [ 16 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 (*.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))) (*.p16 i i)))>
1550619761.820 * [enter]simplify:  Simplifying (*.p16 i (real->posit16 2))
1550619761.820 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619761.821 * * [misc]simplify:  iters left: 1 (8 enodes)
1550619761.823 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.823 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619761.823 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619761.823 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1550619761.823 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1550619761.823 * [misc]simplify:  Simplified (2 1 2 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 (*.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))) (*.p16 i i)))
1550619761.823 * * * * [misc]progress:  [ 17 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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)))) (*.p16 i i)))>
1550619761.823 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619761.823 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619761.825 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619761.828 * * [misc]simplify:  iters left: 2 (25 enodes)
1550619761.833 * * [misc]simplify:  iters left: 1 (29 enodes)
1550619761.839 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.839 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619761.840 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550619761.840 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550619761.840 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550619761.840 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619761.840 * [misc]simplify:  Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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)))) (*.p16 i i)))
1550619761.842 * * * * [misc]progress:  [ 18 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))) (*.p16 i i)))>
1550619761.842 * * * * [misc]progress:  [ 19 / 22 ] simplifiying candidate #<alt (λ (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)))>
1550619761.842 * [enter]simplify:  Simplifying (*.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))
1550619761.842 * * [misc]simplify:  iters left: 6 (12 enodes)
1550619761.847 * * [misc]simplify:  iters left: 5 (46 enodes)
1550619761.865 * * [misc]simplify:  iters left: 4 (191 enodes)
1550619761.992 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.992 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550619761.994 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550619761.999 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550619762.016 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550619762.046 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550619762.075 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550619762.108 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550619762.145 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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)))))
1550619762.145 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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))))))
1550619762.145 * * * * [misc]progress:  [ 20 / 22 ] simplifiying candidate #<alt (λ (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)))>
1550619762.145 * [enter]simplify:  Simplifying (*.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))
1550619762.145 * * [misc]simplify:  iters left: 6 (12 enodes)
1550619762.151 * * [misc]simplify:  iters left: 5 (46 enodes)
1550619762.170 * * [misc]simplify:  iters left: 4 (191 enodes)
1550619762.296 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619762.296 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550619762.298 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550619762.303 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550619762.322 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550619762.351 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550619762.377 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550619762.400 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550619762.423 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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)))))
1550619762.423 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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))))))
1550619762.423 * * * * [misc]progress:  [ 21 / 22 ] simplifiying candidate #<alt (λ (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)))>
1550619762.423 * [enter]simplify:  Simplifying (*.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))
1550619762.423 * * [misc]simplify:  iters left: 6 (12 enodes)
1550619762.427 * * [misc]simplify:  iters left: 5 (46 enodes)
1550619762.438 * * [misc]simplify:  iters left: 4 (191 enodes)
1550619762.530 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619762.531 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550619762.531 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550619762.534 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550619762.547 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550619762.574 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550619762.609 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550619762.640 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550619762.663 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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)))))
1550619762.663 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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))))))
1550619762.663 * * * * [misc]progress:  [ 22 / 22 ] simplifiying candidate #<alt (λ (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)))>
1550619762.663 * [enter]simplify:  Simplifying (*.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))
1550619762.663 * * [misc]simplify:  iters left: 6 (12 enodes)
1550619762.668 * * [misc]simplify:  iters left: 5 (46 enodes)
1550619762.690 * * [misc]simplify:  iters left: 4 (191 enodes)
1550619762.781 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619762.781 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550619762.782 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550619762.785 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550619762.802 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550619762.843 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550619762.869 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550619762.904 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550619762.931 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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)))))
1550619762.931 * [misc]simplify:  Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.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))))))
1550619762.931 * * * [misc]progress:  adding candidates to table
1550619764.141 * * [misc]progress:  iteration 2 / 4
1550619764.141 * * * [misc]progress:  picking best candidate
1550619764.491 * * * * [misc]pick:  Picked  #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1550619764.491 * * * [misc]progress:  localizing error
1550619764.685 * * * [misc]progress:  generating rewritten candidates
1550619764.685 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619764.689 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1550619764.693 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550619764.695 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550619764.700 * * * [misc]progress:  generating series expansions
1550619764.700 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619764.700 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1550619764.700 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550619764.700 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550619764.700 * * * [misc]progress:  simplifying candidates
1550619764.700 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))>
1550619764.700 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))>
1550619764.700 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619764.700 * * [misc]simplify:  iters left: 4 (6 enodes)
1550619764.703 * * [misc]simplify:  iters left: 3 (16 enodes)
1550619764.708 * * [misc]simplify:  iters left: 2 (27 enodes)
1550619764.716 * * [misc]simplify:  iters left: 1 (33 enodes)
1550619764.724 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619764.724 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619764.724 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619764.724 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550619764.724 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550619764.725 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550619764.725 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550619764.725 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619764.725 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))
1550619764.726 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
1550619764.726 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i))
1550619764.726 * * [misc]simplify:  iters left: 6 (9 enodes)
1550619764.730 * * [misc]simplify:  iters left: 5 (26 enodes)
1550619764.739 * * [misc]simplify:  iters left: 4 (67 enodes)
1550619764.758 * * [misc]simplify:  iters left: 3 (217 enodes)
1550619764.971 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619764.971 * * [misc]simplify:  Extracting #1: cost 45 inf + 0
1550619764.971 * * [misc]simplify:  Extracting #2: cost 74 inf + 763
1550619764.972 * * [misc]simplify:  Extracting #3: cost 62 inf + 7895
1550619764.974 * * [misc]simplify:  Extracting #4: cost 22 inf + 41744
1550619764.977 * * [misc]simplify:  Extracting #5: cost 1 inf + 66110
1550619764.982 * * [misc]simplify:  Extracting #6: cost 0 inf + 67193
1550619764.988 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
1550619764.989 * [misc]simplify:  Simplified (2 1) to (λ (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))))
1550619764.989 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))>
1550619764.989 * [enter]simplify:  Simplifying (*.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1550619764.989 * * [misc]simplify:  iters left: 6 (12 enodes)
1550619764.994 * * [misc]simplify:  iters left: 5 (38 enodes)
1550619765.006 * * [misc]simplify:  iters left: 4 (95 enodes)
1550619765.036 * * [misc]simplify:  iters left: 3 (325 enodes)
1550619765.223 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.223 * * [misc]simplify:  Extracting #1: cost 83 inf + 0
1550619765.224 * * [misc]simplify:  Extracting #2: cost 354 inf + 1
1550619765.226 * * [misc]simplify:  Extracting #3: cost 453 inf + 322
1550619765.228 * * [misc]simplify:  Extracting #4: cost 472 inf + 4417
1550619765.235 * * [misc]simplify:  Extracting #5: cost 345 inf + 175126
1550619765.266 * * [misc]simplify:  Extracting #6: cost 57 inf + 661423
1550619765.312 * * [misc]simplify:  Extracting #7: cost 1 inf + 765790
1550619765.371 * * [misc]simplify:  Extracting #8: cost 0 inf + 767393
1550619765.430 * * [misc]simplify:  Extracting #9: cost 0 inf + 767353
1550619765.484 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619765.484 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))
1550619765.484 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 i i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))))>
1550619765.484 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1550619765.484 * [enter]simplify:  Simplifying (*.p16 i (real->posit16 2))
1550619765.484 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619765.486 * * [misc]simplify:  iters left: 1 (8 enodes)
1550619765.488 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.488 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619765.488 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619765.488 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1550619765.488 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1550619765.488 * [misc]simplify:  Simplified (2 1 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619765.489 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))>
1550619765.489 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619765.489 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619765.492 * * [misc]simplify:  iters left: 2 (19 enodes)
1550619765.498 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619765.510 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.510 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619765.510 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550619765.510 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550619765.510 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550619765.511 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550619765.512 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550619765.513 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619765.513 * [misc]simplify:  Simplified (2 1 2 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))
1550619765.513 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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)))) (*.p16 i i)))>
1550619765.513 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619765.514 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619765.516 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619765.519 * * [misc]simplify:  iters left: 2 (25 enodes)
1550619765.523 * * [misc]simplify:  iters left: 1 (29 enodes)
1550619765.527 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.527 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619765.527 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550619765.527 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550619765.528 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550619765.528 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619765.528 * [misc]simplify:  Simplified (2 1 2 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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)))) (*.p16 i i)))
1550619765.528 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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))) (*.p16 i i)))>
1550619765.528 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619765.528 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619765.530 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619765.534 * * [misc]simplify:  iters left: 2 (25 enodes)
1550619765.540 * * [misc]simplify:  iters left: 1 (29 enodes)
1550619765.545 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.545 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619765.545 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550619765.545 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550619765.545 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550619765.546 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619765.546 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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))) (*.p16 i i)))
1550619765.546 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))>
1550619765.546 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619765.546 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619765.548 * * [misc]simplify:  iters left: 3 (27 enodes)
1550619765.554 * * [misc]simplify:  iters left: 2 (61 enodes)
1550619765.567 * * [misc]simplify:  iters left: 1 (182 enodes)
1550619765.665 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.665 * * [misc]simplify:  Extracting #1: cost 37 inf + 0
1550619765.666 * * [misc]simplify:  Extracting #2: cost 175 inf + 0
1550619765.667 * * [misc]simplify:  Extracting #3: cost 221 inf + 323
1550619765.671 * * [misc]simplify:  Extracting #4: cost 221 inf + 30993
1550619765.688 * * [misc]simplify:  Extracting #5: cost 76 inf + 221248
1550619765.717 * * [misc]simplify:  Extracting #6: cost 0 inf + 318421
1550619765.749 * * [misc]simplify:  Extracting #7: cost 0 inf + 316421
1550619765.778 * [exit]simplify:  Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619765.778 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))
1550619765.779 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 i i)))>
1550619765.779 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550619765.779 * * [misc]simplify:  iters left: 6 (10 enodes)
1550619765.783 * * [misc]simplify:  iters left: 5 (32 enodes)
1550619765.794 * * [misc]simplify:  iters left: 4 (77 enodes)
1550619765.822 * * [misc]simplify:  iters left: 3 (261 enodes)
1550619765.956 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.956 * * [misc]simplify:  Extracting #1: cost 62 inf + 0
1550619765.956 * * [misc]simplify:  Extracting #2: cost 262 inf + 322
1550619765.958 * * [misc]simplify:  Extracting #3: cost 352 inf + 322
1550619765.960 * * [misc]simplify:  Extracting #4: cost 358 inf + 17807
1550619765.972 * * [misc]simplify:  Extracting #5: cost 171 inf + 273596
1550619766.005 * * [misc]simplify:  Extracting #6: cost 2 inf + 561486
1550619766.050 * * [misc]simplify:  Extracting #7: cost 0 inf + 564492
1550619766.102 * [exit]simplify:  Simplified to (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550619766.102 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 i i)))
1550619766.102 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))) (*.p16 i i)))>
1550619766.102 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1550619766.102 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.103 * * [misc]simplify:  iters left: 4 (6 enodes)
1550619766.105 * * [misc]simplify:  iters left: 3 (16 enodes)
1550619766.109 * * [misc]simplify:  iters left: 2 (27 enodes)
1550619766.117 * * [misc]simplify:  iters left: 1 (33 enodes)
1550619766.122 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619766.122 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619766.122 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619766.122 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550619766.122 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550619766.122 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550619766.122 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550619766.123 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.123 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619766.123 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619766.123 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619766.126 * * [misc]simplify:  iters left: 4 (28 enodes)
1550619766.131 * * [misc]simplify:  iters left: 3 (66 enodes)
1550619766.145 * * [misc]simplify:  iters left: 2 (206 enodes)
1550619766.223 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619766.224 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550619766.224 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550619766.225 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550619766.226 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550619766.238 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550619766.260 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550619766.281 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550619766.303 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619766.303 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619766.303 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1550619766.303 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.303 * * [misc]simplify:  iters left: 4 (6 enodes)
1550619766.305 * * [misc]simplify:  iters left: 3 (16 enodes)
1550619766.307 * * [misc]simplify:  iters left: 2 (27 enodes)
1550619766.311 * * [misc]simplify:  iters left: 1 (33 enodes)
1550619766.316 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619766.316 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619766.316 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619766.316 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550619766.316 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550619766.316 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550619766.316 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550619766.317 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.317 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619766.317 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619766.317 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619766.319 * * [misc]simplify:  iters left: 4 (28 enodes)
1550619766.324 * * [misc]simplify:  iters left: 3 (66 enodes)
1550619766.340 * * [misc]simplify:  iters left: 2 (206 enodes)
1550619766.431 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619766.431 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550619766.432 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550619766.433 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550619766.436 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550619766.457 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550619766.495 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550619766.537 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550619766.560 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619766.561 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619766.561 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1550619766.561 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.561 * * [misc]simplify:  iters left: 4 (6 enodes)
1550619766.563 * * [misc]simplify:  iters left: 3 (16 enodes)
1550619766.566 * * [misc]simplify:  iters left: 2 (27 enodes)
1550619766.570 * * [misc]simplify:  iters left: 1 (33 enodes)
1550619766.575 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619766.575 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619766.575 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619766.575 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550619766.575 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550619766.576 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550619766.576 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550619766.576 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.576 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619766.577 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619766.577 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619766.581 * * [misc]simplify:  iters left: 4 (28 enodes)
1550619766.592 * * [misc]simplify:  iters left: 3 (66 enodes)
1550619766.619 * * [misc]simplify:  iters left: 2 (206 enodes)
1550619766.738 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619766.738 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550619766.738 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550619766.739 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550619766.740 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550619766.751 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550619766.784 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550619766.827 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550619766.874 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619766.874 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619766.874 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1550619766.874 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.874 * * [misc]simplify:  iters left: 4 (6 enodes)
1550619766.877 * * [misc]simplify:  iters left: 3 (16 enodes)
1550619766.883 * * [misc]simplify:  iters left: 2 (27 enodes)
1550619766.891 * * [misc]simplify:  iters left: 1 (33 enodes)
1550619766.900 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619766.900 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619766.900 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619766.900 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550619766.900 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550619766.900 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550619766.901 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550619766.901 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550619766.901 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619766.902 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619766.902 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619766.906 * * [misc]simplify:  iters left: 4 (28 enodes)
1550619766.917 * * [misc]simplify:  iters left: 3 (66 enodes)
1550619766.943 * * [misc]simplify:  iters left: 2 (206 enodes)
1550619767.064 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619767.064 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550619767.065 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550619767.065 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550619767.067 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550619767.081 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550619767.100 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550619767.122 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550619767.144 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550619767.144 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1550619767.144 * * * [misc]progress:  adding candidates to table
1550619768.046 * * [misc]progress:  iteration 3 / 4
1550619768.046 * * * [misc]progress:  picking best candidate
1550619768.259 * * * * [misc]pick:  Picked  #<alt (λ (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))))>
1550619768.259 * * * [misc]progress:  localizing error
1550619768.348 * * * [misc]progress:  generating rewritten candidates
1550619768.348 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619768.365 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550619768.369 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550619768.372 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1550619768.379 * * * [misc]progress:  generating series expansions
1550619768.380 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619768.380 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550619768.380 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550619768.380 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1550619768.380 * * * [misc]progress:  simplifying candidates
1550619768.380 * * * * [misc]progress:  [ 1 / 19 ] simplifiying candidate #<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 i (real->posit16 2)) (real->posit16 1.0))))>
1550619768.380 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619768.380 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619768.384 * * [misc]simplify:  iters left: 2 (19 enodes)
1550619768.391 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619768.403 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.403 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619768.403 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550619768.403 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550619768.404 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550619768.404 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550619768.405 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550619768.406 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619768.406 * [misc]simplify:  Simplified (2 2) 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 i (real->posit16 2)) (real->posit16 1.0))))
1550619768.406 * * * * [misc]progress:  [ 2 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))>
1550619768.406 * [enter]simplify:  Simplifying (/.p16 i (real->posit16 2))
1550619768.406 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619768.407 * * [misc]simplify:  iters left: 1 (7 enodes)
1550619768.408 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.408 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619768.408 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619768.408 * * [misc]simplify:  Extracting #3: cost 0 inf + 445
1550619768.408 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550619768.409 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
1550619768.409 * * * * [misc]progress:  [ 3 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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))))>
1550619768.409 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619768.409 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619768.411 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619768.414 * * [misc]simplify:  iters left: 2 (25 enodes)
1550619768.418 * * [misc]simplify:  iters left: 1 (29 enodes)
1550619768.422 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.422 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619768.422 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550619768.422 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550619768.422 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550619768.423 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550619768.423 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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))))
1550619768.423 * * * * [misc]progress:  [ 4 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))>
1550619768.423 * [enter]simplify:  Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
1550619768.423 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619768.424 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619768.426 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619768.428 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.428 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619768.428 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550619768.428 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1550619768.428 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1550619768.428 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))
1550619768.428 * * * * [misc]progress:  [ 5 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))>
1550619768.428 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
1550619768.428 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619768.429 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619768.431 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619768.433 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.433 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619768.433 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550619768.433 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1550619768.433 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1550619768.433 * [misc]simplify:  Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))
1550619768.433 * * * * [misc]progress:  [ 6 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619768.433 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619768.433 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619768.435 * * [misc]simplify:  iters left: 3 (17 enodes)
1550619768.438 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619768.441 * * [misc]simplify:  iters left: 1 (28 enodes)
1550619768.446 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.446 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550619768.446 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619768.446 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550619768.446 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550619768.446 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550619768.447 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550619768.447 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550619768.447 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619768.447 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619768.447 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619768.449 * * [misc]simplify:  iters left: 3 (23 enodes)
1550619768.453 * * [misc]simplify:  iters left: 2 (48 enodes)
1550619768.464 * * [misc]simplify:  iters left: 1 (130 enodes)
1550619768.507 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.507 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550619768.507 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550619768.507 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550619768.508 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550619768.513 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550619768.529 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550619768.542 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550619768.551 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619768.551 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550619768.552 * * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619768.552 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619768.552 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619768.554 * * [misc]simplify:  iters left: 2 (13 enodes)
1550619768.556 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.556 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619768.556 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619768.556 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550619768.556 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550619768.556 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619768.557 * [misc]simplify:  Simplified (2 2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619768.557 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619768.557 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619768.559 * * [misc]simplify:  iters left: 2 (19 enodes)
1550619768.564 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619768.571 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.571 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619768.571 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550619768.571 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550619768.571 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550619768.571 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550619768.572 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550619768.573 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619768.573 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619768.573 * * * * [misc]progress:  [ 8 / 19 ] simplifiying candidate #<alt (λ (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))) (neg.p16 (real->posit16 1.0)))))>
1550619768.573 * * * * [misc]progress:  [ 9 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.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)))))>
1550619768.573 * * * * [misc]progress:  [ 10 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
1550619768.573 * [enter]simplify:  Simplifying (real->posit16 2)
1550619768.573 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619768.574 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.574 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619768.574 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619768.574 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619768.574 * [exit]simplify:  Simplified to (real->posit16 2)
1550619768.574 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550619768.574 * * * * [misc]progress:  [ 11 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
1550619768.574 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
1550619768.575 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619768.576 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619768.577 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619768.579 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.579 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619768.579 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550619768.579 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1550619768.580 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1550619768.580 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550619768.580 * * * * [misc]progress:  [ 12 / 19 ] simplifiying candidate #<alt (λ (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))))>
1550619768.580 * * * * [misc]progress:  [ 13 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))>
1550619768.580 * [enter]simplify:  Simplifying (real->posit16 2)
1550619768.580 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619768.581 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.581 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619768.581 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619768.581 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619768.581 * [exit]simplify:  Simplified to (real->posit16 2)
1550619768.581 * [misc]simplify:  Simplified (2 2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))
1550619768.581 * * * * [misc]progress:  [ 14 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))>
1550619768.581 * * * * [misc]progress:  [ 15 / 19 ] simplifiying candidate #<alt (λ (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))))>
1550619768.581 * * * * [misc]progress:  [ 16 / 19 ] simplifiying candidate #<alt (λ (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))))>
1550619768.581 * [enter]simplify:  Simplifying (/.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)))
1550619768.581 * * [misc]simplify:  iters left: 5 (11 enodes)
1550619768.584 * * [misc]simplify:  iters left: 4 (36 enodes)
1550619768.591 * * [misc]simplify:  iters left: 3 (93 enodes)
1550619768.619 * * [misc]simplify:  iters left: 2 (324 enodes)
1550619768.834 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.834 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550619768.835 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550619768.837 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550619768.846 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550619768.879 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550619768.930 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550619768.982 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550619769.048 * [exit]simplify:  Simplified to (/.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)))
1550619769.048 * [misc]simplify:  Simplified (2) to (λ (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))))
1550619769.048 * * * * [misc]progress:  [ 17 / 19 ] simplifiying candidate #<alt (λ (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))))>
1550619769.049 * [enter]simplify:  Simplifying (/.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)))
1550619769.049 * * [misc]simplify:  iters left: 5 (11 enodes)
1550619769.054 * * [misc]simplify:  iters left: 4 (36 enodes)
1550619769.064 * * [misc]simplify:  iters left: 3 (93 enodes)
1550619769.085 * * [misc]simplify:  iters left: 2 (324 enodes)
1550619769.296 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619769.297 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550619769.298 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550619769.299 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550619769.305 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550619769.345 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550619769.393 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550619769.459 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550619769.540 * [exit]simplify:  Simplified to (/.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)))
1550619769.541 * [misc]simplify:  Simplified (2) to (λ (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))))
1550619769.541 * * * * [misc]progress:  [ 18 / 19 ] simplifiying candidate #<alt (λ (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))))>
1550619769.541 * [enter]simplify:  Simplifying (/.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)))
1550619769.541 * * [misc]simplify:  iters left: 5 (11 enodes)
1550619769.544 * * [misc]simplify:  iters left: 4 (36 enodes)
1550619769.551 * * [misc]simplify:  iters left: 3 (93 enodes)
1550619769.573 * * [misc]simplify:  iters left: 2 (324 enodes)
1550619769.817 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619769.817 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550619769.818 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550619769.820 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550619769.826 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550619769.858 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550619769.905 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550619769.960 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550619770.020 * [exit]simplify:  Simplified to (/.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)))
1550619770.020 * [misc]simplify:  Simplified (2) to (λ (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))))
1550619770.020 * * * * [misc]progress:  [ 19 / 19 ] simplifiying candidate #<alt (λ (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))))>
1550619770.020 * [enter]simplify:  Simplifying (/.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)))
1550619770.021 * * [misc]simplify:  iters left: 5 (11 enodes)
1550619770.026 * * [misc]simplify:  iters left: 4 (36 enodes)
1550619770.039 * * [misc]simplify:  iters left: 3 (93 enodes)
1550619770.077 * * [misc]simplify:  iters left: 2 (324 enodes)
1550619770.323 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619770.324 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550619770.325 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550619770.329 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550619770.335 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550619770.358 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550619770.414 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550619770.495 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550619770.547 * [exit]simplify:  Simplified to (/.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)))
1550619770.547 * [misc]simplify:  Simplified (2) to (λ (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))))
1550619770.547 * * * [misc]progress:  adding candidates to table
1550619771.733 * * [misc]progress:  iteration 4 / 4
1550619771.733 * * * [misc]progress:  picking best candidate
1550619771.973 * * * * [misc]pick:  Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619771.973 * * * [misc]progress:  localizing error
1550619772.149 * * * [misc]progress:  generating rewritten candidates
1550619772.149 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550619772.150 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550619772.152 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1550619772.156 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550619772.157 * * * [misc]progress:  generating series expansions
1550619772.157 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550619772.157 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550619772.157 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1550619772.157 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550619772.157 * * * [misc]progress:  simplifying candidates
1550619772.157 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619772.157 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619772.157 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619772.159 * * [misc]simplify:  iters left: 2 (13 enodes)
1550619772.162 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.162 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619772.163 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619772.163 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550619772.163 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550619772.163 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619772.163 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619772.163 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
1550619772.163 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619772.163 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
1550619772.163 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619772.163 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619772.166 * * [misc]simplify:  iters left: 2 (13 enodes)
1550619772.169 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.169 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619772.169 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619772.169 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550619772.169 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550619772.170 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619772.170 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.170 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
1550619772.170 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619772.170 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619772.173 * * [misc]simplify:  iters left: 2 (19 enodes)
1550619772.178 * * [misc]simplify:  iters left: 1 (37 enodes)
1550619772.189 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.189 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619772.189 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550619772.190 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550619772.190 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550619772.190 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550619772.191 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550619772.193 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550619772.193 * [misc]simplify:  Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.193 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
1550619772.193 * [enter]simplify:  Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.194 * * [misc]simplify:  iters left: 5 (10 enodes)
1550619772.197 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619772.213 * * [misc]simplify:  iters left: 3 (71 enodes)
1550619772.230 * * [misc]simplify:  iters left: 2 (226 enodes)
1550619772.338 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.339 * * [misc]simplify:  Extracting #1: cost 76 inf + 0
1550619772.342 * * [misc]simplify:  Extracting #2: cost 266 inf + 322
1550619772.345 * * [misc]simplify:  Extracting #3: cost 288 inf + 11470
1550619772.348 * * [misc]simplify:  Extracting #4: cost 267 inf + 40495
1550619772.368 * * [misc]simplify:  Extracting #5: cost 84 inf + 325096
1550619772.403 * * [misc]simplify:  Extracting #6: cost 0 inf + 450491
1550619772.447 * * [misc]simplify:  Extracting #7: cost 0 inf + 450131
1550619772.487 * [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)))
1550619772.487 * [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 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.487 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619772.487 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (neg.p16 (real->posit16 1.0))))))>
1550619772.487 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
1550619772.487 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619772.488 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.488 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.494 * * [misc]simplify:  iters left: 3 (17 enodes)
1550619772.499 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619772.506 * * [misc]simplify:  iters left: 1 (28 enodes)
1550619772.516 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.516 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550619772.516 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619772.516 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550619772.516 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550619772.517 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550619772.517 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550619772.518 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550619772.518 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619772.518 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.518 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.523 * * [misc]simplify:  iters left: 3 (23 enodes)
1550619772.531 * * [misc]simplify:  iters left: 2 (48 enodes)
1550619772.543 * * [misc]simplify:  iters left: 1 (130 enodes)
1550619772.585 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.585 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550619772.585 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550619772.586 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550619772.586 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550619772.589 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550619772.597 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550619772.607 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550619772.617 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.617 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550619772.617 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619772.617 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.617 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.619 * * [misc]simplify:  iters left: 3 (17 enodes)
1550619772.622 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619772.627 * * [misc]simplify:  iters left: 1 (28 enodes)
1550619772.637 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.637 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550619772.637 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619772.638 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550619772.638 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550619772.638 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550619772.639 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550619772.639 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550619772.639 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619772.640 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.640 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.644 * * [misc]simplify:  iters left: 3 (23 enodes)
1550619772.653 * * [misc]simplify:  iters left: 2 (48 enodes)
1550619772.662 * * [misc]simplify:  iters left: 1 (130 enodes)
1550619772.704 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.704 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550619772.705 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550619772.705 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550619772.706 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550619772.709 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550619772.717 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550619772.726 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550619772.735 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.735 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550619772.735 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619772.736 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.736 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.738 * * [misc]simplify:  iters left: 3 (17 enodes)
1550619772.741 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619772.745 * * [misc]simplify:  iters left: 1 (28 enodes)
1550619772.753 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.753 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550619772.753 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619772.753 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550619772.753 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550619772.753 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550619772.753 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550619772.754 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550619772.754 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619772.754 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.754 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.756 * * [misc]simplify:  iters left: 3 (23 enodes)
1550619772.761 * * [misc]simplify:  iters left: 2 (48 enodes)
1550619772.770 * * [misc]simplify:  iters left: 1 (130 enodes)
1550619772.811 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.811 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550619772.811 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550619772.811 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550619772.812 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550619772.817 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550619772.825 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550619772.836 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550619772.845 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.845 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550619772.845 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1550619772.846 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.846 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.848 * * [misc]simplify:  iters left: 3 (17 enodes)
1550619772.852 * * [misc]simplify:  iters left: 2 (20 enodes)
1550619772.857 * * [misc]simplify:  iters left: 1 (28 enodes)
1550619772.862 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.862 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550619772.862 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550619772.862 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550619772.862 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550619772.862 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550619772.862 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550619772.863 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550619772.863 * [misc]simplify:  Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1550619772.863 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550619772.863 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619772.865 * * [misc]simplify:  iters left: 3 (23 enodes)
1550619772.869 * * [misc]simplify:  iters left: 2 (48 enodes)
1550619772.878 * * [misc]simplify:  iters left: 1 (130 enodes)
1550619772.930 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619772.930 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550619772.931 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550619772.931 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550619772.932 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550619772.934 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550619772.942 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550619772.957 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550619772.973 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619772.973 * [misc]simplify:  Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1550619772.973 * * * [misc]progress:  adding candidates to table
1550619773.716 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619773.716 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.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)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i 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 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (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 i (real->posit16 2)) (real->posit16 1.0))))>)
1550619773.717 * * * [misc]regime-changes:  Trying 1 branch expressions: (i)
1550619773.717 * * * * [misc]regimes:  Trying to branch on i from (#<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.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)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i 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 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (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 i (real->posit16 2)) (real->posit16 1.0))))>)
1550619774.120 * * * [misc]regime:  Found split indices: #<option (#s(si 4 256))>
1550619774.121 * [enter]simplify:  Simplifying (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619774.121 * * [misc]simplify:  iters left: 6 (13 enodes)
1550619774.122 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619774.122 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619774.122 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619774.122 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1550619774.122 * * [misc]simplify:  Extracting #4: cost 12 inf + 1
1550619774.122 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550619774.122 * * [misc]simplify:  Extracting #6: cost 6 inf + 769
1550619774.122 * * [misc]simplify:  Extracting #7: cost 2 inf + 3501
1550619774.123 * * [misc]simplify:  Extracting #8: cost 0 inf + 7027
1550619774.123 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550619774.123 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619774.134 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619774.137 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.138 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.138 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619774.141 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.142 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.144 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619774.147 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.150 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.162 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619774.165 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.175 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.185 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619774.189 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.207 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.228 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619774.232 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.268 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.311 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619774.315 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.418 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.504 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619774.507 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.644 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.790 * * * * [misc]points:  Computing exacts for 8000 points
1550619774.793 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.612 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.251 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619776.406 * * * * [misc]points:  Sampling 4002 additional inputs, on iter 1 have 3998 / 8000
1550619776.412 * * * * [misc]points:  Computing exacts on every 250 of 4002 points to ramp up precision
1550619776.415 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.416 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.416 * * * * [misc]points:  Computing exacts on every 125 of 4002 points to ramp up precision
1550619776.429 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.431 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.433 * * * * [misc]points:  Computing exacts on every 62 of 4002 points to ramp up precision
1550619776.435 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.439 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.442 * * * * [misc]points:  Computing exacts on every 31 of 4002 points to ramp up precision
1550619776.445 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.451 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.459 * * * * [misc]points:  Computing exacts on every 15 of 4002 points to ramp up precision
1550619776.462 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.474 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.489 * * * * [misc]points:  Computing exacts on every 7 of 4002 points to ramp up precision
1550619776.491 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.516 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.544 * * * * [misc]points:  Computing exacts on every 3 of 4002 points to ramp up precision
1550619776.568 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.620 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.679 * * * * [misc]points:  Computing exacts for 4002 points
1550619776.681 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.932 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.279 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.359 * * * * [misc]points:  Sampling 2031 additional inputs, on iter 2 have 5969 / 8000
1550619777.362 * * * * [misc]points:  Computing exacts on every 126 of 2031 points to ramp up precision
1550619777.365 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.366 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.367 * * * * [misc]points:  Computing exacts on every 63 of 2031 points to ramp up precision
1550619777.370 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.372 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.373 * * * * [misc]points:  Computing exacts on every 31 of 2031 points to ramp up precision
1550619777.376 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.379 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.384 * * * * [misc]points:  Computing exacts on every 15 of 2031 points to ramp up precision
1550619777.387 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.393 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.401 * * * * [misc]points:  Computing exacts on every 7 of 2031 points to ramp up precision
1550619777.403 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.418 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.443 * * * * [misc]points:  Computing exacts on every 3 of 2031 points to ramp up precision
1550619777.447 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.472 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.525 * * * * [misc]points:  Computing exacts for 2031 points
1550619777.528 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.655 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.779 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.871 * * * * [misc]points:  Sampling 1000 additional inputs, on iter 3 have 7000 / 8000
1550619777.874 * * * * [misc]points:  Computing exacts on every 62 of 1000 points to ramp up precision
1550619777.878 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.880 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.881 * * * * [misc]points:  Computing exacts on every 31 of 1000 points to ramp up precision
1550619777.885 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.888 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.891 * * * * [misc]points:  Computing exacts on every 15 of 1000 points to ramp up precision
1550619777.895 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.900 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.906 * * * * [misc]points:  Computing exacts on every 7 of 1000 points to ramp up precision
1550619777.910 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.920 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.932 * * * * [misc]points:  Computing exacts on every 3 of 1000 points to ramp up precision
1550619777.937 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.957 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.973 * * * * [misc]points:  Computing exacts for 1000 points
1550619777.975 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.046 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.106 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.124 * * * * [misc]points:  Sampling 492 additional inputs, on iter 4 have 7508 / 8000
1550619778.125 * * * * [misc]points:  Computing exacts on every 30 of 492 points to ramp up precision
1550619778.127 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.128 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.129 * * * * [misc]points:  Computing exacts on every 15 of 492 points to ramp up precision
1550619778.156 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.158 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.159 * * * * [misc]points:  Computing exacts on every 7 of 492 points to ramp up precision
1550619778.162 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.166 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.170 * * * * [misc]points:  Computing exacts on every 3 of 492 points to ramp up precision
1550619778.172 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.178 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.187 * * * * [misc]points:  Computing exacts for 492 points
1550619778.189 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.214 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.245 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.254 * * * * [misc]points:  Sampling 241 additional inputs, on iter 5 have 7759 / 8000
1550619778.255 * * * * [misc]points:  Computing exacts on every 15 of 241 points to ramp up precision
1550619778.257 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.258 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.259 * * * * [misc]points:  Computing exacts on every 7 of 241 points to ramp up precision
1550619778.261 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.263 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.265 * * * * [misc]points:  Computing exacts on every 3 of 241 points to ramp up precision
1550619778.267 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.589 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.593 * * * * [misc]points:  Computing exacts for 241 points
1550619778.595 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.609 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.625 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.632 * * * * [misc]points:  Sampling 122 additional inputs, on iter 6 have 7878 / 8000
1550619778.632 * * * * [misc]points:  Computing exacts on every 7 of 122 points to ramp up precision
1550619778.635 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.636 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.637 * * * * [misc]points:  Computing exacts on every 3 of 122 points to ramp up precision
1550619778.639 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.641 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.642 * * * * [misc]points:  Computing exacts for 122 points
1550619778.645 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.651 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.657 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.659 * * * * [misc]points:  Sampling 64 additional inputs, on iter 7 have 7936 / 8000
1550619778.660 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1550619778.662 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.663 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.664 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1550619778.666 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.667 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.669 * * * * [misc]points:  Computing exacts for 64 points
1550619778.673 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.679 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.685 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.687 * * * * [misc]points:  Sampling 36 additional inputs, on iter 8 have 7964 / 8000
1550619778.687 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1550619778.692 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.693 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.694 * * * * [misc]points:  Computing exacts for 36 points
1550619778.699 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.702 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.706 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.707 * * * * [misc]points:  Sampling 19 additional inputs, on iter 9 have 7981 / 8000
1550619778.707 * * * * [misc]points:  Computing exacts for 19 points
1550619778.711 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.739 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.742 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.742 * * * * [misc]points:  Sampling 10 additional inputs, on iter 10 have 7990 / 8000
1550619778.742 * * * * [misc]points:  Computing exacts for 10 points
1550619778.745 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.746 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.746 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.747 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7999 / 8000
1550619778.747 * * * * [misc]points:  Computing exacts for 4 points
1550619778.750 * * * * [misc]points:  Setting MPFR precision to 64
1550619778.751 * * * * [misc]points:  Setting MPFR precision to 320
1550619778.751 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619778.751 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619787.049 * [misc]regime-testing:  Baseline error score: 64.0
1550619787.051 * [misc]regime-testing:  Oracle error score: 64.0
1550619787.055 * [misc]regime-testing:  End program error score: 0.4489314412551052