1550842856.720 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842856.720 * * * [misc]progress:  [1/2] Preparing points
1550842856.721 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550842856.722 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550842856.726 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.727 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.729 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550842856.734 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.737 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.739 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550842856.744 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.753 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.758 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550842856.764 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.771 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.779 * * * * [misc]points:  Computing exacts for 256 points
1550842856.784 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.804 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.827 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842856.833 * * * * [misc]points:  Sampling 141 additional inputs, on iter 1 have 115 / 256
1550842856.833 * * * * [misc]points:  Computing exacts on every 8 of 141 points to ramp up precision
1550842856.838 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.839 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.840 * * * * [misc]points:  Computing exacts on every 4 of 141 points to ramp up precision
1550842856.845 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.847 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.850 * * * * [misc]points:  Computing exacts on every 2 of 141 points to ramp up precision
1550842856.854 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.858 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.863 * * * * [misc]points:  Computing exacts for 141 points
1550842856.867 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.878 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.891 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842856.895 * * * * [misc]points:  Sampling 63 additional inputs, on iter 2 have 193 / 256
1550842856.895 * * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
1550842856.900 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.901 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.903 * * * * [misc]points:  Computing exacts for 63 points
1550842856.907 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.913 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.940 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842856.941 * * * * [misc]points:  Sampling 27 additional inputs, on iter 3 have 229 / 256
1550842856.941 * * * * [misc]points:  Computing exacts for 27 points
1550842856.945 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.947 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.948 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842856.949 * * * * [misc]points:  Sampling 13 additional inputs, on iter 4 have 243 / 256
1550842856.949 * * * * [misc]points:  Computing exacts for 13 points
1550842856.951 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.952 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.953 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842856.953 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 253 / 256
1550842856.953 * * * * [misc]points:  Computing exacts for 4 points
1550842856.956 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.956 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.957 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842856.957 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 254 / 256
1550842856.957 * * * * [misc]points:  Computing exacts for 4 points
1550842856.959 * * * * [misc]points:  Setting MPFR precision to 64
1550842856.959 * * * * [misc]points:  Setting MPFR precision to 320
1550842856.960 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842856.960 * * * * [exit]points:  Sampled 257 points with exact outputs
1550842856.960 * * * [misc]progress:  [2/2] Setting up program.
1550842856.981 * [misc]progress:  [Phase 2 of 3] Improving.
1550842856.981 * * * * [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))))>
1550842856.981 * [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)))
1550842856.981 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842856.985 * * [misc]simplify:  iters left: 4 (43 enodes)
1550842857.001 * * [misc]simplify:  iters left: 3 (170 enodes)
1550842857.090 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842857.091 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1550842857.092 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1550842857.094 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1550842857.102 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1550842857.127 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1550842857.157 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1550842857.193 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1550842857.221 * [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))
1550842857.221 * [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)))
1550842857.261 * * [misc]progress:  iteration 1 / 4
1550842857.261 * * * [misc]progress:  picking best candidate
1550842857.316 * * * * [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)))>
1550842857.316 * * * [misc]progress:  localizing error
1550842857.679 * * * [misc]progress:  generating rewritten candidates
1550842857.679 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550842857.684 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550842857.693 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550842857.704 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2)
1550842857.706 * * * [misc]progress:  generating series expansions
1550842857.706 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550842857.706 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550842857.706 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550842857.706 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2)
1550842857.706 * * * [misc]progress:  simplifying candidates
1550842857.706 * * * * [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)))>
1550842857.706 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842857.706 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842857.709 * * [misc]simplify:  iters left: 3 (27 enodes)
1550842857.717 * * [misc]simplify:  iters left: 2 (61 enodes)
1550842857.736 * * [misc]simplify:  iters left: 1 (182 enodes)
1550842857.829 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842857.829 * * [misc]simplify:  Extracting #1: cost 37 inf + 0
1550842857.830 * * [misc]simplify:  Extracting #2: cost 175 inf + 0
1550842857.830 * * [misc]simplify:  Extracting #3: cost 221 inf + 323
1550842857.833 * * [misc]simplify:  Extracting #4: cost 221 inf + 30993
1550842857.848 * * [misc]simplify:  Extracting #5: cost 76 inf + 221248
1550842857.868 * * [misc]simplify:  Extracting #6: cost 0 inf + 318421
1550842857.896 * * [misc]simplify:  Extracting #7: cost 0 inf + 316421
1550842857.925 * [exit]simplify:  Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842857.925 * [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)))
1550842857.925 * * * * [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)))>
1550842857.925 * * * * [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)))>
1550842857.925 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842857.926 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842857.928 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842857.931 * * [misc]simplify:  iters left: 2 (25 enodes)
1550842857.935 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842857.939 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842857.939 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842857.939 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550842857.939 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550842857.939 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550842857.939 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842857.939 * [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)))
1550842857.939 * * * * [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)))>
1550842857.940 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842857.940 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842857.941 * * [misc]simplify:  iters left: 3 (16 enodes)
1550842857.944 * * [misc]simplify:  iters left: 2 (27 enodes)
1550842857.948 * * [misc]simplify:  iters left: 1 (33 enodes)
1550842857.953 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842857.953 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842857.953 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550842857.953 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550842857.953 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550842857.953 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550842857.954 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550842857.954 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842857.954 * [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)))
1550842857.954 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842857.954 * * [misc]simplify:  iters left: 5 (9 enodes)
1550842857.956 * * [misc]simplify:  iters left: 4 (28 enodes)
1550842857.962 * * [misc]simplify:  iters left: 3 (66 enodes)
1550842857.981 * * [misc]simplify:  iters left: 2 (206 enodes)
1550842858.080 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.081 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550842858.081 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550842858.082 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550842858.083 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550842858.093 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550842858.113 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550842858.151 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550842858.180 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842858.180 * [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)))
1550842858.180 * * * * [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))>
1550842858.180 * * * * [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))))>
1550842858.181 * [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)))))
1550842858.181 * * [misc]simplify:  iters left: 6 (13 enodes)
1550842858.187 * * [misc]simplify:  iters left: 5 (46 enodes)
1550842858.203 * * [misc]simplify:  iters left: 4 (170 enodes)
1550842858.267 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.267 * * [misc]simplify:  Extracting #1: cost 88 inf + 0
1550842858.267 * * [misc]simplify:  Extracting #2: cost 216 inf + 1524
1550842858.271 * * [misc]simplify:  Extracting #3: cost 193 inf + 60340
1550842858.284 * * [misc]simplify:  Extracting #4: cost 64 inf + 265197
1550842858.300 * * [misc]simplify:  Extracting #5: cost 12 inf + 357709
1550842858.324 * * [misc]simplify:  Extracting #6: cost 0 inf + 383025
1550842858.344 * * [misc]simplify:  Extracting #7: cost 0 inf + 382865
1550842858.363 * [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))))
1550842858.363 * [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))))
1550842858.363 * * * * [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))))>
1550842858.363 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842858.364 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842858.365 * * [misc]simplify:  iters left: 3 (16 enodes)
1550842858.368 * * [misc]simplify:  iters left: 2 (27 enodes)
1550842858.372 * * [misc]simplify:  iters left: 1 (33 enodes)
1550842858.377 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.377 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842858.377 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550842858.377 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550842858.377 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550842858.377 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550842858.377 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550842858.378 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842858.378 * [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))))
1550842858.378 * * * * [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)))))>
1550842858.378 * [enter]simplify:  Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1550842858.378 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842858.379 * * [misc]simplify:  iters left: 1 (9 enodes)
1550842858.380 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.380 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842858.380 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550842858.380 * * [misc]simplify:  Extracting #3: cost 0 inf + 1604
1550842858.380 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1550842858.380 * [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)))))
1550842858.380 * * * * [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))))))>
1550842858.380 * * * * [misc]progress:  [ 10 / 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)))>
1550842858.381 * [enter]simplify:  Simplifying (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))
1550842858.381 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842858.383 * * [misc]simplify:  iters left: 3 (21 enodes)
1550842858.387 * * [misc]simplify:  iters left: 2 (45 enodes)
1550842858.395 * * [misc]simplify:  iters left: 1 (74 enodes)
1550842858.409 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.409 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550842858.410 * * [misc]simplify:  Extracting #2: cost 30 inf + 1
1550842858.410 * * [misc]simplify:  Extracting #3: cost 29 inf + 323
1550842858.410 * * [misc]simplify:  Extracting #4: cost 22 inf + 2894
1550842858.411 * * [misc]simplify:  Extracting #5: cost 15 inf + 7229
1550842858.412 * * [misc]simplify:  Extracting #6: cost 2 inf + 16939
1550842858.414 * * [misc]simplify:  Extracting #7: cost 0 inf + 18383
1550842858.415 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842858.415 * [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)))
1550842858.415 * * * * [misc]progress:  [ 11 / 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)))>
1550842858.415 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842858.415 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842858.418 * * [misc]simplify:  iters left: 3 (21 enodes)
1550842858.421 * * [misc]simplify:  iters left: 2 (45 enodes)
1550842858.429 * * [misc]simplify:  iters left: 1 (72 enodes)
1550842858.441 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.441 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550842858.441 * * [misc]simplify:  Extracting #2: cost 24 inf + 1
1550842858.441 * * [misc]simplify:  Extracting #3: cost 22 inf + 324
1550842858.442 * * [misc]simplify:  Extracting #4: cost 15 inf + 2895
1550842858.442 * * [misc]simplify:  Extracting #5: cost 1 inf + 12686
1550842858.443 * * [misc]simplify:  Extracting #6: cost 0 inf + 13408
1550842858.444 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1550842858.444 * [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)))
1550842858.444 * * * * [misc]progress:  [ 12 / 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)))>
1550842858.444 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842858.445 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842858.446 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842858.450 * * [misc]simplify:  iters left: 1 (37 enodes)
1550842858.457 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.457 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842858.457 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550842858.457 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550842858.457 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550842858.458 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550842858.458 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550842858.459 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842858.459 * [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)))
1550842858.459 * * * * [misc]progress:  [ 13 / 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)))>
1550842858.460 * [enter]simplify:  Simplifying (*.p16 i (real->posit16 2))
1550842858.460 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842858.461 * * [misc]simplify:  iters left: 1 (8 enodes)
1550842858.462 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.462 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842858.462 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550842858.462 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1550842858.462 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1550842858.462 * [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)))
1550842858.462 * * * * [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 (*.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)))>
1550842858.462 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842858.463 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842858.465 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842858.468 * * [misc]simplify:  iters left: 2 (25 enodes)
1550842858.474 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842858.483 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.484 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842858.484 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550842858.484 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550842858.484 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550842858.485 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842858.485 * [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)))
1550842858.485 * * * * [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))) (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))) (*.p16 i i)))>
1550842858.485 * * * * [misc]progress:  [ 16 / 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)))>
1550842858.485 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842858.485 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842858.488 * * [misc]simplify:  iters left: 2 (13 enodes)
1550842858.492 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.492 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842858.492 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842858.492 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550842858.492 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550842858.492 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842858.492 * [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)))
1550842858.493 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842858.493 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842858.496 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842858.501 * * [misc]simplify:  iters left: 1 (37 enodes)
1550842858.508 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.508 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842858.509 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550842858.509 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550842858.509 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550842858.509 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550842858.511 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550842858.512 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842858.512 * [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)))
1550842858.513 * * * * [misc]progress:  [ 17 / 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)))>
1550842858.513 * * * * [misc]progress:  [ 18 / 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)))>
1550842858.513 * * * * [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)))>
1550842858.513 * [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))
1550842858.513 * * [misc]simplify:  iters left: 6 (12 enodes)
1550842858.518 * * [misc]simplify:  iters left: 5 (46 enodes)
1550842858.537 * * [misc]simplify:  iters left: 4 (191 enodes)
1550842858.619 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.619 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550842858.620 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550842858.623 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550842858.639 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550842858.662 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550842858.691 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550842858.730 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550842858.770 * [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)))))
1550842858.770 * [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))))))
1550842858.770 * * * * [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)))>
1550842858.770 * [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))
1550842858.771 * * [misc]simplify:  iters left: 6 (12 enodes)
1550842858.777 * * [misc]simplify:  iters left: 5 (46 enodes)
1550842858.796 * * [misc]simplify:  iters left: 4 (191 enodes)
1550842858.918 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842858.918 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550842858.919 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550842858.922 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550842858.934 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550842858.959 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550842858.988 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550842859.013 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550842859.037 * [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)))))
1550842859.037 * [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))))))
1550842859.037 * * * * [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)))>
1550842859.037 * [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))
1550842859.037 * * [misc]simplify:  iters left: 6 (12 enodes)
1550842859.041 * * [misc]simplify:  iters left: 5 (46 enodes)
1550842859.052 * * [misc]simplify:  iters left: 4 (191 enodes)
1550842859.153 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842859.153 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550842859.155 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550842859.161 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550842859.178 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550842859.208 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550842859.246 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550842859.277 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550842859.315 * [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)))))
1550842859.315 * [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))))))
1550842859.316 * * * * [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)))>
1550842859.316 * [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))
1550842859.316 * * [misc]simplify:  iters left: 6 (12 enodes)
1550842859.324 * * [misc]simplify:  iters left: 5 (46 enodes)
1550842859.339 * * [misc]simplify:  iters left: 4 (191 enodes)
1550842859.421 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842859.422 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1550842859.424 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1550842859.429 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1550842859.450 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1550842859.476 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1550842859.502 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1550842859.524 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1550842859.547 * [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)))))
1550842859.547 * [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))))))
1550842859.547 * * * [misc]progress:  adding candidates to table
1550842860.637 * * [misc]progress:  iteration 2 / 4
1550842860.637 * * * [misc]progress:  picking best candidate
1550842860.831 * * * * [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)))>
1550842860.831 * * * [misc]progress:  localizing error
1550842860.964 * * * [misc]progress:  generating rewritten candidates
1550842860.964 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842860.968 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1550842860.972 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550842860.974 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550842860.980 * * * [misc]progress:  generating series expansions
1550842860.980 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842860.980 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1550842860.980 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550842860.980 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550842860.980 * * * [misc]progress:  simplifying candidates
1550842860.980 * * * * [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))>
1550842860.980 * * * * [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))))>
1550842860.980 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842860.981 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842860.985 * * [misc]simplify:  iters left: 3 (16 enodes)
1550842860.990 * * [misc]simplify:  iters left: 2 (27 enodes)
1550842860.999 * * [misc]simplify:  iters left: 1 (33 enodes)
1550842861.009 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842861.009 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842861.009 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550842861.009 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550842861.009 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550842861.009 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550842861.010 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550842861.010 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842861.010 * [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))))
1550842861.010 * * * * [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))))>
1550842861.011 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i))
1550842861.011 * * [misc]simplify:  iters left: 6 (9 enodes)
1550842861.015 * * [misc]simplify:  iters left: 5 (26 enodes)
1550842861.024 * * [misc]simplify:  iters left: 4 (67 enodes)
1550842861.060 * * [misc]simplify:  iters left: 3 (217 enodes)
1550842861.306 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842861.306 * * [misc]simplify:  Extracting #1: cost 45 inf + 0
1550842861.307 * * [misc]simplify:  Extracting #2: cost 74 inf + 763
1550842861.307 * * [misc]simplify:  Extracting #3: cost 62 inf + 7895
1550842861.309 * * [misc]simplify:  Extracting #4: cost 22 inf + 41744
1550842861.313 * * [misc]simplify:  Extracting #5: cost 1 inf + 66110
1550842861.317 * * [misc]simplify:  Extracting #6: cost 0 inf + 67193
1550842861.321 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
1550842861.321 * [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))))
1550842861.321 * * * * [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)))))>
1550842861.321 * [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))
1550842861.321 * * [misc]simplify:  iters left: 6 (12 enodes)
1550842861.324 * * [misc]simplify:  iters left: 5 (38 enodes)
1550842861.332 * * [misc]simplify:  iters left: 4 (95 enodes)
1550842861.356 * * [misc]simplify:  iters left: 3 (325 enodes)
1550842861.552 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842861.552 * * [misc]simplify:  Extracting #1: cost 83 inf + 0
1550842861.553 * * [misc]simplify:  Extracting #2: cost 354 inf + 1
1550842861.554 * * [misc]simplify:  Extracting #3: cost 453 inf + 322
1550842861.556 * * [misc]simplify:  Extracting #4: cost 472 inf + 4417
1550842861.564 * * [misc]simplify:  Extracting #5: cost 345 inf + 175126
1550842861.600 * * [misc]simplify:  Extracting #6: cost 57 inf + 661423
1550842861.648 * * [misc]simplify:  Extracting #7: cost 1 inf + 765790
1550842861.713 * * [misc]simplify:  Extracting #8: cost 0 inf + 767393
1550842861.778 * * [misc]simplify:  Extracting #9: cost 0 inf + 767353
1550842861.844 * [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)))
1550842861.845 * [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)))))
1550842861.845 * * * * [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))))))>
1550842861.845 * * * * [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)))>
1550842861.845 * [enter]simplify:  Simplifying (*.p16 i (real->posit16 2))
1550842861.845 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842861.847 * * [misc]simplify:  iters left: 1 (8 enodes)
1550842861.849 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842861.849 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842861.849 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550842861.849 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1550842861.849 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1550842861.849 * [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)))
1550842861.849 * * * * [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)))>
1550842861.849 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842861.849 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842861.852 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842861.857 * * [misc]simplify:  iters left: 1 (37 enodes)
1550842861.868 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842861.868 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842861.868 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550842861.868 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550842861.868 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550842861.869 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550842861.870 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550842861.871 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842861.871 * [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)))
1550842861.871 * * * * [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)))>
1550842861.872 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842861.872 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842861.875 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842861.879 * * [misc]simplify:  iters left: 2 (25 enodes)
1550842861.885 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842861.891 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842861.891 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842861.891 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550842861.891 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550842861.891 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550842861.893 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842861.893 * [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)))
1550842861.893 * * * * [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)))>
1550842861.893 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842861.893 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842861.896 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842861.899 * * [misc]simplify:  iters left: 2 (25 enodes)
1550842861.904 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842861.910 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842861.910 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842861.910 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550842861.911 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550842861.911 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550842861.911 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842861.911 * [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)))
1550842861.911 * * * * [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)))>
1550842861.912 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842861.912 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842861.915 * * [misc]simplify:  iters left: 3 (27 enodes)
1550842861.923 * * [misc]simplify:  iters left: 2 (61 enodes)
1550842861.942 * * [misc]simplify:  iters left: 1 (182 enodes)
1550842862.031 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842862.031 * * [misc]simplify:  Extracting #1: cost 37 inf + 0
1550842862.032 * * [misc]simplify:  Extracting #2: cost 175 inf + 0
1550842862.033 * * [misc]simplify:  Extracting #3: cost 221 inf + 323
1550842862.035 * * [misc]simplify:  Extracting #4: cost 221 inf + 30993
1550842862.046 * * [misc]simplify:  Extracting #5: cost 76 inf + 221248
1550842862.070 * * [misc]simplify:  Extracting #6: cost 0 inf + 318421
1550842862.092 * * [misc]simplify:  Extracting #7: cost 0 inf + 316421
1550842862.119 * [exit]simplify:  Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842862.119 * [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)))
1550842862.119 * * * * [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)))>
1550842862.119 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550842862.119 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842862.123 * * [misc]simplify:  iters left: 5 (32 enodes)
1550842862.133 * * [misc]simplify:  iters left: 4 (77 enodes)
1550842862.158 * * [misc]simplify:  iters left: 3 (261 enodes)
1550842862.322 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842862.322 * * [misc]simplify:  Extracting #1: cost 62 inf + 0
1550842862.323 * * [misc]simplify:  Extracting #2: cost 262 inf + 322
1550842862.325 * * [misc]simplify:  Extracting #3: cost 352 inf + 322
1550842862.328 * * [misc]simplify:  Extracting #4: cost 358 inf + 17807
1550842862.346 * * [misc]simplify:  Extracting #5: cost 171 inf + 273596
1550842862.389 * * [misc]simplify:  Extracting #6: cost 2 inf + 561486
1550842862.436 * * [misc]simplify:  Extracting #7: cost 0 inf + 564492
1550842862.485 * [exit]simplify:  Simplified to (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1550842862.485 * [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)))
1550842862.485 * * * * [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)))>
1550842862.485 * * * * [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)))>
1550842862.486 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842862.486 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842862.488 * * [misc]simplify:  iters left: 3 (16 enodes)
1550842862.492 * * [misc]simplify:  iters left: 2 (27 enodes)
1550842862.498 * * [misc]simplify:  iters left: 1 (33 enodes)
1550842862.502 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842862.502 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842862.502 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550842862.502 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550842862.503 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550842862.503 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550842862.503 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550842862.503 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842862.503 * [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)))
1550842862.503 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842862.503 * * [misc]simplify:  iters left: 5 (9 enodes)
1550842862.506 * * [misc]simplify:  iters left: 4 (28 enodes)
1550842862.511 * * [misc]simplify:  iters left: 3 (66 enodes)
1550842862.532 * * [misc]simplify:  iters left: 2 (206 enodes)
1550842862.639 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842862.640 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550842862.640 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550842862.641 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550842862.642 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550842862.657 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550842862.687 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550842862.714 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550842862.747 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842862.747 * [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)))
1550842862.747 * * * * [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)))>
1550842862.747 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842862.747 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842862.750 * * [misc]simplify:  iters left: 3 (16 enodes)
1550842862.754 * * [misc]simplify:  iters left: 2 (27 enodes)
1550842862.763 * * [misc]simplify:  iters left: 1 (33 enodes)
1550842862.769 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842862.769 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842862.769 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550842862.769 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550842862.769 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550842862.770 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550842862.770 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550842862.770 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842862.770 * [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)))
1550842862.770 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842862.770 * * [misc]simplify:  iters left: 5 (9 enodes)
1550842862.773 * * [misc]simplify:  iters left: 4 (28 enodes)
1550842862.778 * * [misc]simplify:  iters left: 3 (66 enodes)
1550842862.796 * * [misc]simplify:  iters left: 2 (206 enodes)
1550842862.908 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842862.908 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550842862.910 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550842862.911 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550842862.914 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550842862.932 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550842862.962 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550842862.993 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550842863.025 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842863.025 * [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)))
1550842863.026 * * * * [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)))>
1550842863.026 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842863.026 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842863.029 * * [misc]simplify:  iters left: 3 (16 enodes)
1550842863.033 * * [misc]simplify:  iters left: 2 (27 enodes)
1550842863.038 * * [misc]simplify:  iters left: 1 (33 enodes)
1550842863.042 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842863.043 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842863.043 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550842863.043 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550842863.043 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550842863.043 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550842863.043 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550842863.043 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842863.043 * [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)))
1550842863.044 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842863.044 * * [misc]simplify:  iters left: 5 (9 enodes)
1550842863.046 * * [misc]simplify:  iters left: 4 (28 enodes)
1550842863.054 * * [misc]simplify:  iters left: 3 (66 enodes)
1550842863.078 * * [misc]simplify:  iters left: 2 (206 enodes)
1550842863.197 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842863.198 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550842863.198 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550842863.199 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550842863.202 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550842863.216 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550842863.240 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550842863.270 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550842863.297 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842863.297 * [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)))
1550842863.297 * * * * [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)))>
1550842863.297 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842863.297 * * [misc]simplify:  iters left: 4 (6 enodes)
1550842863.299 * * [misc]simplify:  iters left: 3 (16 enodes)
1550842863.303 * * [misc]simplify:  iters left: 2 (27 enodes)
1550842863.308 * * [misc]simplify:  iters left: 1 (33 enodes)
1550842863.315 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842863.315 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842863.315 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550842863.315 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1550842863.315 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1550842863.315 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1550842863.316 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1550842863.316 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1550842863.316 * [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)))
1550842863.316 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842863.316 * * [misc]simplify:  iters left: 5 (9 enodes)
1550842863.320 * * [misc]simplify:  iters left: 4 (28 enodes)
1550842863.326 * * [misc]simplify:  iters left: 3 (66 enodes)
1550842863.340 * * [misc]simplify:  iters left: 2 (206 enodes)
1550842863.431 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842863.431 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1550842863.431 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1550842863.432 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1550842863.434 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1550842863.444 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1550842863.473 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1550842863.503 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1550842863.538 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1550842863.538 * [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)))
1550842863.539 * * * [misc]progress:  adding candidates to table
1550842864.452 * * [misc]progress:  iteration 3 / 4
1550842864.452 * * * [misc]progress:  picking best candidate
1550842864.774 * * * * [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))))>
1550842864.774 * * * [misc]progress:  localizing error
1550842864.906 * * * [misc]progress:  generating rewritten candidates
1550842864.906 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550842864.911 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550842864.914 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1550842864.918 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550842864.919 * * * [misc]progress:  generating series expansions
1550842864.920 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550842864.920 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550842864.920 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1550842864.920 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550842864.920 * * * [misc]progress:  simplifying candidates
1550842864.920 * * * * [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))))>
1550842864.920 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842864.920 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842864.922 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842864.926 * * [misc]simplify:  iters left: 1 (37 enodes)
1550842864.936 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842864.936 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842864.936 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550842864.936 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550842864.936 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550842864.937 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550842864.937 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550842864.938 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842864.938 * [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))))
1550842864.938 * * * * [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)))))>
1550842864.939 * [enter]simplify:  Simplifying (/.p16 i (real->posit16 2))
1550842864.939 * * [misc]simplify:  iters left: 2 (4 enodes)
1550842864.940 * * [misc]simplify:  iters left: 1 (7 enodes)
1550842864.941 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842864.941 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842864.941 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550842864.941 * * [misc]simplify:  Extracting #3: cost 0 inf + 445
1550842864.941 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1550842864.941 * [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)))))
1550842864.941 * * * * [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))))>
1550842864.941 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842864.941 * * [misc]simplify:  iters left: 4 (8 enodes)
1550842864.943 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842864.947 * * [misc]simplify:  iters left: 2 (25 enodes)
1550842864.958 * * [misc]simplify:  iters left: 1 (29 enodes)
1550842864.966 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842864.966 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842864.966 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550842864.966 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1550842864.966 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1550842864.967 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1550842864.967 * [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))))
1550842864.967 * * * * [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))))>
1550842864.967 * [enter]simplify:  Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
1550842864.967 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842864.970 * * [misc]simplify:  iters left: 2 (11 enodes)
1550842864.973 * * [misc]simplify:  iters left: 1 (13 enodes)
1550842864.977 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842864.977 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842864.977 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842864.977 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1550842864.977 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1550842864.977 * [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))))
1550842864.977 * * * * [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))))>
1550842864.978 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
1550842864.978 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842864.980 * * [misc]simplify:  iters left: 2 (11 enodes)
1550842864.982 * * [misc]simplify:  iters left: 1 (13 enodes)
1550842864.984 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842864.984 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842864.984 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842864.984 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1550842864.984 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1550842864.984 * [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))))
1550842864.984 * * * * [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)))))>
1550842864.984 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842864.984 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842864.987 * * [misc]simplify:  iters left: 3 (17 enodes)
1550842864.989 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842864.993 * * [misc]simplify:  iters left: 1 (28 enodes)
1550842864.998 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842864.998 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550842864.998 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550842864.998 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550842864.998 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550842864.999 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550842864.999 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550842864.999 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550842864.999 * [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)))))
1550842864.999 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842864.999 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842865.002 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842865.006 * * [misc]simplify:  iters left: 2 (48 enodes)
1550842865.016 * * [misc]simplify:  iters left: 1 (130 enodes)
1550842865.070 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.070 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550842865.071 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550842865.071 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550842865.073 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550842865.077 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550842865.090 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550842865.106 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550842865.122 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550842865.122 * [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))))))
1550842865.123 * * * * [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)))))>
1550842865.123 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842865.123 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842865.126 * * [misc]simplify:  iters left: 2 (13 enodes)
1550842865.130 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.130 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842865.130 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842865.130 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550842865.130 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550842865.130 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842865.130 * [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)))))
1550842865.131 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842865.131 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842865.134 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842865.140 * * [misc]simplify:  iters left: 1 (37 enodes)
1550842865.149 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.149 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842865.149 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550842865.149 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550842865.149 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550842865.149 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550842865.150 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550842865.151 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842865.151 * [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)))))
1550842865.151 * * * * [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)))))>
1550842865.151 * * * * [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)))))>
1550842865.151 * * * * [misc]progress:  [ 10 / 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))))>
1550842865.151 * [enter]simplify:  Simplifying (real->posit16 2)
1550842865.152 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842865.152 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.152 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842865.152 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842865.153 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550842865.153 * [exit]simplify:  Simplified to (real->posit16 2)
1550842865.153 * [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))))
1550842865.153 * * * * [misc]progress:  [ 11 / 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))))>
1550842865.153 * * * * [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))))>
1550842865.153 * * * * [misc]progress:  [ 13 / 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))))>
1550842865.153 * [enter]simplify:  Simplifying (real->posit16 2)
1550842865.153 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842865.154 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.154 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842865.154 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842865.154 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550842865.154 * [exit]simplify:  Simplified to (real->posit16 2)
1550842865.154 * [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))))
1550842865.154 * * * * [misc]progress:  [ 14 / 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))))>
1550842865.154 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
1550842865.154 * * [misc]simplify:  iters left: 3 (5 enodes)
1550842865.157 * * [misc]simplify:  iters left: 2 (11 enodes)
1550842865.159 * * [misc]simplify:  iters left: 1 (13 enodes)
1550842865.162 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.163 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842865.163 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842865.163 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1550842865.163 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1550842865.163 * [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))))
1550842865.163 * * * * [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))))>
1550842865.163 * * * * [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))))>
1550842865.163 * [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)))
1550842865.164 * * [misc]simplify:  iters left: 5 (11 enodes)
1550842865.168 * * [misc]simplify:  iters left: 4 (36 enodes)
1550842865.180 * * [misc]simplify:  iters left: 3 (93 enodes)
1550842865.200 * * [misc]simplify:  iters left: 2 (324 enodes)
1550842865.412 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.412 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550842865.414 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550842865.417 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550842865.426 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550842865.464 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550842865.531 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550842865.595 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550842865.656 * [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)))
1550842865.656 * [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))))
1550842865.656 * * * * [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))))>
1550842865.656 * [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)))
1550842865.656 * * [misc]simplify:  iters left: 5 (11 enodes)
1550842865.661 * * [misc]simplify:  iters left: 4 (36 enodes)
1550842865.673 * * [misc]simplify:  iters left: 3 (93 enodes)
1550842865.706 * * [misc]simplify:  iters left: 2 (324 enodes)
1550842865.972 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842865.972 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550842865.973 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550842865.975 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550842865.980 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550842866.006 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550842866.049 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550842866.092 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550842866.137 * [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)))
1550842866.137 * [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))))
1550842866.137 * * * * [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))))>
1550842866.137 * [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)))
1550842866.137 * * [misc]simplify:  iters left: 5 (11 enodes)
1550842866.140 * * [misc]simplify:  iters left: 4 (36 enodes)
1550842866.148 * * [misc]simplify:  iters left: 3 (93 enodes)
1550842866.168 * * [misc]simplify:  iters left: 2 (324 enodes)
1550842866.447 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842866.448 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550842866.450 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550842866.453 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550842866.463 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550842866.511 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550842866.588 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550842866.651 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550842866.719 * [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)))
1550842866.719 * [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))))
1550842866.719 * * * * [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))))>
1550842866.720 * [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)))
1550842866.720 * * [misc]simplify:  iters left: 5 (11 enodes)
1550842866.726 * * [misc]simplify:  iters left: 4 (36 enodes)
1550842866.739 * * [misc]simplify:  iters left: 3 (93 enodes)
1550842866.763 * * [misc]simplify:  iters left: 2 (324 enodes)
1550842866.961 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842866.961 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1550842866.963 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1550842866.964 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1550842866.973 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1550842866.996 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1550842867.068 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1550842867.153 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1550842867.209 * [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)))
1550842867.209 * [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))))
1550842867.209 * * * [misc]progress:  adding candidates to table
1550842868.361 * * [misc]progress:  iteration 4 / 4
1550842868.361 * * * [misc]progress:  picking best candidate
1550842868.653 * * * * [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)))))>
1550842868.653 * * * [misc]progress:  localizing error
1550842868.880 * * * [misc]progress:  generating rewritten candidates
1550842868.880 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550842868.892 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550842868.896 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1550842868.900 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550842868.901 * * * [misc]progress:  generating series expansions
1550842868.902 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550842868.902 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550842868.902 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1550842868.902 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550842868.902 * * * [misc]progress:  simplifying candidates
1550842868.902 * * * * [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)))))>
1550842868.902 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842868.902 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842868.904 * * [misc]simplify:  iters left: 2 (13 enodes)
1550842868.906 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842868.906 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842868.907 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842868.907 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550842868.907 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550842868.907 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842868.907 * [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)))))
1550842868.907 * * * * [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)))))>
1550842868.907 * * * * [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)))))>
1550842868.907 * * * * [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))))>
1550842868.907 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842868.907 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842868.909 * * [misc]simplify:  iters left: 2 (13 enodes)
1550842868.914 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842868.914 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842868.914 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842868.914 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1550842868.914 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1550842868.914 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842868.914 * [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))))
1550842868.914 * * * * [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))))>
1550842868.915 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842868.915 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842868.919 * * [misc]simplify:  iters left: 2 (19 enodes)
1550842868.926 * * [misc]simplify:  iters left: 1 (37 enodes)
1550842868.940 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842868.940 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842868.940 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1550842868.940 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1550842868.940 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1550842868.941 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1550842868.943 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1550842868.945 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1550842868.945 * [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))))
1550842868.945 * * * * [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))))>
1550842868.945 * [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))))
1550842868.945 * * [misc]simplify:  iters left: 5 (10 enodes)
1550842868.950 * * [misc]simplify:  iters left: 4 (29 enodes)
1550842868.962 * * [misc]simplify:  iters left: 3 (71 enodes)
1550842868.991 * * [misc]simplify:  iters left: 2 (226 enodes)
1550842869.198 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.199 * * [misc]simplify:  Extracting #1: cost 76 inf + 0
1550842869.200 * * [misc]simplify:  Extracting #2: cost 266 inf + 322
1550842869.203 * * [misc]simplify:  Extracting #3: cost 288 inf + 11470
1550842869.208 * * [misc]simplify:  Extracting #4: cost 267 inf + 40495
1550842869.233 * * [misc]simplify:  Extracting #5: cost 84 inf + 325096
1550842869.279 * * [misc]simplify:  Extracting #6: cost 0 inf + 450491
1550842869.323 * * [misc]simplify:  Extracting #7: cost 0 inf + 450131
1550842869.366 * [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)))
1550842869.366 * [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))))
1550842869.366 * * * * [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)))))>
1550842869.366 * * * * [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))))))>
1550842869.366 * * * * [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))))))>
1550842869.366 * * * * [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)))))>
1550842869.366 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.366 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.369 * * [misc]simplify:  iters left: 3 (17 enodes)
1550842869.371 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842869.375 * * [misc]simplify:  iters left: 1 (28 enodes)
1550842869.380 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.380 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550842869.380 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550842869.380 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550842869.381 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550842869.381 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550842869.381 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550842869.381 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550842869.381 * [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)))))
1550842869.381 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.382 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.384 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842869.392 * * [misc]simplify:  iters left: 2 (48 enodes)
1550842869.411 * * [misc]simplify:  iters left: 1 (130 enodes)
1550842869.459 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.459 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550842869.460 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550842869.460 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550842869.461 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550842869.467 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550842869.483 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550842869.502 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550842869.515 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550842869.515 * [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))))))
1550842869.515 * * * * [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)))))>
1550842869.515 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.515 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.520 * * [misc]simplify:  iters left: 3 (17 enodes)
1550842869.523 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842869.526 * * [misc]simplify:  iters left: 1 (28 enodes)
1550842869.531 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.531 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550842869.531 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550842869.532 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550842869.532 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550842869.532 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550842869.532 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550842869.532 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550842869.532 * [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)))))
1550842869.533 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.533 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.536 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842869.542 * * [misc]simplify:  iters left: 2 (48 enodes)
1550842869.560 * * [misc]simplify:  iters left: 1 (130 enodes)
1550842869.621 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.621 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550842869.621 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550842869.622 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550842869.623 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550842869.627 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550842869.640 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550842869.649 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550842869.659 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550842869.659 * [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))))))
1550842869.659 * * * * [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)))))>
1550842869.659 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.659 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.662 * * [misc]simplify:  iters left: 3 (17 enodes)
1550842869.665 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842869.668 * * [misc]simplify:  iters left: 1 (28 enodes)
1550842869.674 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.674 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550842869.674 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550842869.674 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550842869.674 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550842869.674 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550842869.675 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550842869.675 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550842869.675 * [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)))))
1550842869.676 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.676 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.680 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842869.689 * * [misc]simplify:  iters left: 2 (48 enodes)
1550842869.698 * * [misc]simplify:  iters left: 1 (130 enodes)
1550842869.755 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.756 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550842869.756 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550842869.757 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550842869.758 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550842869.764 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550842869.778 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550842869.788 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550842869.797 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550842869.798 * [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))))))
1550842869.798 * * * * [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)))))>
1550842869.798 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.798 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.801 * * [misc]simplify:  iters left: 3 (17 enodes)
1550842869.803 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842869.812 * * [misc]simplify:  iters left: 1 (28 enodes)
1550842869.822 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.822 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550842869.823 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1550842869.823 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1550842869.823 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1550842869.823 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1550842869.824 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1550842869.824 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1550842869.824 * [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)))))
1550842869.825 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1550842869.825 * * [misc]simplify:  iters left: 4 (9 enodes)
1550842869.827 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842869.832 * * [misc]simplify:  iters left: 2 (48 enodes)
1550842869.841 * * [misc]simplify:  iters left: 1 (130 enodes)
1550842869.911 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842869.911 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1550842869.912 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1550842869.913 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1550842869.917 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1550842869.923 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1550842869.939 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1550842869.959 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1550842869.977 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1550842869.977 * [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))))))
1550842869.978 * * * [misc]progress:  adding candidates to table
1550842871.161 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842871.161 * * [misc]regime:  Finding splitpoints for: (#<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)))))> #<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))))))> #<alt (λ (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)))))> #<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)))))> #<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)))> #<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))))> #<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 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 (/.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))> #<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))))>)
1550842871.164 * * * [misc]regime-changes:  Trying 1 branch expressions: (i)
1550842871.164 * * * * [misc]regimes:  Trying to branch on i from (#<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)))))> #<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))))))> #<alt (λ (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)))))> #<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)))))> #<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)))> #<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))))> #<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 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 (/.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))> #<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))))>)
1550842871.817 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1550842871.817 * [enter]simplify:  Simplifying (*.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))))
1550842871.817 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842871.819 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842871.819 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842871.819 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842871.819 * * [misc]simplify:  Extracting #3: cost 10 inf + 0
1550842871.819 * * [misc]simplify:  Extracting #4: cost 11 inf + 1
1550842871.819 * * [misc]simplify:  Extracting #5: cost 0 inf + 6144
1550842871.820 * [exit]simplify:  Simplified to (*.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))))
1550842871.820 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550842871.841 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550842871.846 * * * * [misc]points:  Setting MPFR precision to 64
1550842871.848 * * * * [misc]points:  Setting MPFR precision to 320
1550842871.850 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550842871.854 * * * * [misc]points:  Setting MPFR precision to 64
1550842871.856 * * * * [misc]points:  Setting MPFR precision to 320
1550842871.858 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550842871.861 * * * * [misc]points:  Setting MPFR precision to 64
1550842871.865 * * * * [misc]points:  Setting MPFR precision to 320
1550842871.869 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550842871.873 * * * * [misc]points:  Setting MPFR precision to 64
1550842871.881 * * * * [misc]points:  Setting MPFR precision to 320
1550842871.888 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550842871.902 * * * * [misc]points:  Setting MPFR precision to 64
1550842871.915 * * * * [misc]points:  Setting MPFR precision to 320
1550842871.929 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550842871.932 * * * * [misc]points:  Setting MPFR precision to 64
1550842871.957 * * * * [misc]points:  Setting MPFR precision to 320
1550842871.984 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550842871.988 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.090 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.145 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550842872.148 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.359 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.626 * * * * [misc]points:  Computing exacts for 8000 points
1550842872.631 * * * * [misc]points:  Setting MPFR precision to 64
1550842873.338 * * * * [misc]points:  Setting MPFR precision to 320
1550842874.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842874.649 * * * * [misc]points:  Sampling 3984 additional inputs, on iter 1 have 4016 / 8000
1550842874.656 * * * * [misc]points:  Computing exacts on every 249 of 3984 points to ramp up precision
1550842874.662 * * * * [misc]points:  Setting MPFR precision to 64
1550842874.664 * * * * [misc]points:  Setting MPFR precision to 320
1550842874.666 * * * * [misc]points:  Computing exacts on every 124 of 3984 points to ramp up precision
1550842874.671 * * * * [misc]points:  Setting MPFR precision to 64
1550842874.674 * * * * [misc]points:  Setting MPFR precision to 320
1550842874.677 * * * * [misc]points:  Computing exacts on every 62 of 3984 points to ramp up precision
1550842874.683 * * * * [misc]points:  Setting MPFR precision to 64
1550842874.689 * * * * [misc]points:  Setting MPFR precision to 320
1550842874.696 * * * * [misc]points:  Computing exacts on every 31 of 3984 points to ramp up precision
1550842874.702 * * * * [misc]points:  Setting MPFR precision to 64
1550842874.713 * * * * [misc]points:  Setting MPFR precision to 320
1550842874.719 * * * * [misc]points:  Computing exacts on every 15 of 3984 points to ramp up precision
1550842874.722 * * * * [misc]points:  Setting MPFR precision to 64
1550842874.735 * * * * [misc]points:  Setting MPFR precision to 320
1550842874.750 * * * * [misc]points:  Computing exacts on every 7 of 3984 points to ramp up precision
1550842874.753 * * * * [misc]points:  Setting MPFR precision to 64
1550842874.783 * * * * [misc]points:  Setting MPFR precision to 320
1550842874.842 * * * * [misc]points:  Computing exacts on every 3 of 3984 points to ramp up precision
1550842874.848 * * * * [misc]points:  Setting MPFR precision to 64
1550842874.914 * * * * [misc]points:  Setting MPFR precision to 320
1550842875.030 * * * * [misc]points:  Computing exacts for 3984 points
1550842875.036 * * * * [misc]points:  Setting MPFR precision to 64
1550842875.311 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.054 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842876.138 * * * * [misc]points:  Sampling 2033 additional inputs, on iter 2 have 5967 / 8000
1550842876.141 * * * * [misc]points:  Computing exacts on every 127 of 2033 points to ramp up precision
1550842876.144 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.145 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.146 * * * * [misc]points:  Computing exacts on every 63 of 2033 points to ramp up precision
1550842876.149 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.150 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.152 * * * * [misc]points:  Computing exacts on every 31 of 2033 points to ramp up precision
1550842876.155 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.158 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.162 * * * * [misc]points:  Computing exacts on every 15 of 2033 points to ramp up precision
1550842876.165 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.171 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.178 * * * * [misc]points:  Computing exacts on every 7 of 2033 points to ramp up precision
1550842876.181 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.193 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.208 * * * * [misc]points:  Computing exacts on every 3 of 2033 points to ramp up precision
1550842876.210 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.255 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.283 * * * * [misc]points:  Computing exacts for 2033 points
1550842876.286 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.422 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.593 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842876.656 * * * * [misc]points:  Sampling 1005 additional inputs, on iter 3 have 6995 / 8000
1550842876.658 * * * * [misc]points:  Computing exacts on every 62 of 1005 points to ramp up precision
1550842876.664 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.666 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.668 * * * * [misc]points:  Computing exacts on every 31 of 1005 points to ramp up precision
1550842876.672 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.675 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.678 * * * * [misc]points:  Computing exacts on every 15 of 1005 points to ramp up precision
1550842876.683 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.688 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.694 * * * * [misc]points:  Computing exacts on every 7 of 1005 points to ramp up precision
1550842876.700 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.711 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.721 * * * * [misc]points:  Computing exacts on every 3 of 1005 points to ramp up precision
1550842876.724 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.771 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.801 * * * * [misc]points:  Computing exacts for 1005 points
1550842876.806 * * * * [misc]points:  Setting MPFR precision to 64
1550842876.869 * * * * [misc]points:  Setting MPFR precision to 320
1550842876.939 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842876.992 * * * * [misc]points:  Sampling 495 additional inputs, on iter 4 have 7505 / 8000
1550842876.993 * * * * [misc]points:  Computing exacts on every 30 of 495 points to ramp up precision
1550842876.999 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.001 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.002 * * * * [misc]points:  Computing exacts on every 15 of 495 points to ramp up precision
1550842877.008 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.011 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.014 * * * * [misc]points:  Computing exacts on every 7 of 495 points to ramp up precision
1550842877.020 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.026 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.032 * * * * [misc]points:  Computing exacts on every 3 of 495 points to ramp up precision
1550842877.038 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.049 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.062 * * * * [misc]points:  Computing exacts for 495 points
1550842877.068 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.092 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.149 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.163 * * * * [misc]points:  Sampling 235 additional inputs, on iter 5 have 7765 / 8000
1550842877.164 * * * * [misc]points:  Computing exacts on every 14 of 235 points to ramp up precision
1550842877.168 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.169 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.170 * * * * [misc]points:  Computing exacts on every 7 of 235 points to ramp up precision
1550842877.172 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.174 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.176 * * * * [misc]points:  Computing exacts on every 3 of 235 points to ramp up precision
1550842877.179 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.182 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.185 * * * * [misc]points:  Computing exacts for 235 points
1550842877.188 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.200 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.214 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.218 * * * * [misc]points:  Sampling 96 additional inputs, on iter 6 have 7904 / 8000
1550842877.219 * * * * [misc]points:  Computing exacts on every 6 of 96 points to ramp up precision
1550842877.222 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.223 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.223 * * * * [misc]points:  Computing exacts on every 3 of 96 points to ramp up precision
1550842877.226 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.228 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.230 * * * * [misc]points:  Computing exacts for 96 points
1550842877.235 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.242 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.248 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.250 * * * * [misc]points:  Sampling 54 additional inputs, on iter 7 have 7946 / 8000
1550842877.250 * * * * [misc]points:  Computing exacts on every 3 of 54 points to ramp up precision
1550842877.253 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.254 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.254 * * * * [misc]points:  Computing exacts for 54 points
1550842877.257 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.281 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.288 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.292 * * * * [misc]points:  Sampling 29 additional inputs, on iter 8 have 7971 / 8000
1550842877.292 * * * * [misc]points:  Computing exacts for 29 points
1550842877.298 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.300 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.302 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.302 * * * * [misc]points:  Sampling 16 additional inputs, on iter 9 have 7984 / 8000
1550842877.303 * * * * [misc]points:  Computing exacts for 16 points
1550842877.305 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.306 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.307 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.308 * * * * [misc]points:  Sampling 7 additional inputs, on iter 10 have 7993 / 8000
1550842877.308 * * * * [misc]points:  Computing exacts for 7 points
1550842877.310 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.311 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.311 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.311 * * * * [misc]points:  Sampling 5 additional inputs, on iter 11 have 7995 / 8000
1550842877.311 * * * * [misc]points:  Computing exacts for 5 points
1550842877.314 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.315 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.315 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.315 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7997 / 8000
1550842877.315 * * * * [misc]points:  Computing exacts for 4 points
1550842877.318 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.319 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.319 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.319 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 7999 / 8000
1550842877.319 * * * * [misc]points:  Computing exacts for 4 points
1550842877.322 * * * * [misc]points:  Setting MPFR precision to 64
1550842877.322 * * * * [misc]points:  Setting MPFR precision to 320
1550842877.322 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842877.323 * * * * [exit]points:  Sampled 8002 points with exact outputs
1550842885.000 * [misc]regime-testing:  Baseline error score: 64.0
1550842885.005 * [misc]regime-testing:  Oracle error score: 64.0
1550842885.009 * [misc]regime-testing:  End program error score: 0.38470007266646605