1554304955.391 * [misc]progress:  [Phase 1 of 3] Setting up.
1554304955.391 * * * [misc]progress:  [1/2] Preparing points
1554304955.392 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554304955.393 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554304955.398 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.400 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.402 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554304955.407 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.410 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.413 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554304955.419 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.424 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.428 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554304955.434 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.441 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.449 * * * * [misc]points:  Computing exacts for 256 points
1554304955.455 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.478 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.501 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.502 * * * * [misc]points:  Sampling 136 additional inputs, on iter 1 have 120 / 256
1554304955.502 * * * * [misc]points:  Computing exacts on every 8 of 136 points to ramp up precision
1554304955.532 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.535 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.536 * * * * [misc]points:  Computing exacts on every 4 of 136 points to ramp up precision
1554304955.542 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.544 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.547 * * * * [misc]points:  Computing exacts on every 2 of 136 points to ramp up precision
1554304955.553 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.557 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.561 * * * * [misc]points:  Computing exacts for 136 points
1554304955.566 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.572 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.579 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.579 * * * * [misc]points:  Sampling 57 additional inputs, on iter 2 have 199 / 256
1554304955.579 * * * * [misc]points:  Computing exacts on every 3 of 57 points to ramp up precision
1554304955.582 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.583 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.584 * * * * [misc]points:  Computing exacts for 57 points
1554304955.587 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.589 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.592 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.592 * * * * [misc]points:  Sampling 30 additional inputs, on iter 3 have 226 / 256
1554304955.592 * * * * [misc]points:  Computing exacts for 30 points
1554304955.595 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.597 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.599 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.599 * * * * [misc]points:  Sampling 17 additional inputs, on iter 4 have 239 / 256
1554304955.599 * * * * [misc]points:  Computing exacts for 17 points
1554304955.602 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.603 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.604 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.604 * * * * [misc]points:  Sampling 9 additional inputs, on iter 5 have 247 / 256
1554304955.604 * * * * [misc]points:  Computing exacts for 9 points
1554304955.609 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.610 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.611 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.611 * * * * [misc]points:  Sampling 5 additional inputs, on iter 6 have 251 / 256
1554304955.611 * * * * [misc]points:  Computing exacts for 5 points
1554304955.616 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.617 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.617 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.618 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 255 / 256
1554304955.618 * * * * [misc]points:  Computing exacts for 4 points
1554304955.623 * * * * [misc]points:  Setting MPFR precision to 64
1554304955.624 * * * * [misc]points:  Setting MPFR precision to 320
1554304955.624 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304955.624 * * * * [exit]points:  Sampled 256 points with exact outputs
1554304955.624 * * * [misc]progress:  [2/2] Setting up program.
1554304955.645 * [misc]progress:  [Phase 2 of 3] Improving.
1554304955.645 * * * * [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))))>
1554304955.645 * [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)))
1554304955.646 * * [misc]simplify:  iters left: 5 (12 enodes)
1554304955.653 * * [misc]simplify:  iters left: 4 (43 enodes)
1554304955.701 * * [misc]simplify:  iters left: 3 (170 enodes)
1554304955.799 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304955.799 * * [misc]simplify:  Extracting #1: cost 78 inf + 0
1554304955.801 * * [misc]simplify:  Extracting #2: cost 269 inf + 322
1554304955.809 * * [misc]simplify:  Extracting #3: cost 284 inf + 8772
1554304955.817 * * [misc]simplify:  Extracting #4: cost 196 inf + 144483
1554304955.835 * * [misc]simplify:  Extracting #5: cost 27 inf + 409616
1554304955.851 * * [misc]simplify:  Extracting #6: cost 0 inf + 414512
1554304955.867 * * [misc]simplify:  Extracting #7: cost 0 inf + 407040
1554304955.884 * [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))
1554304955.884 * [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)))
1554304955.912 * * [misc]progress:  iteration 1 / 4
1554304955.912 * * * [misc]progress:  picking best candidate
1554304955.935 * * * * [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)))>
1554304955.935 * * * [misc]progress:  localizing error
1554304956.109 * * * [misc]progress:  generating rewritten candidates
1554304956.109 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1554304956.113 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1554304956.115 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1554304956.118 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1554304956.125 * * * [misc]progress:  generating series expansions
1554304956.125 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1554304956.126 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1554304956.126 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1554304956.126 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1554304956.126 * * * [misc]progress:  simplifying candidates
1554304956.126 * * * * [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)))>
1554304956.126 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304956.126 * * [misc]simplify:  iters left: 4 (8 enodes)
1554304956.128 * * [misc]simplify:  iters left: 3 (27 enodes)
1554304956.134 * * [misc]simplify:  iters left: 2 (61 enodes)
1554304956.161 * * [misc]simplify:  iters left: 1 (182 enodes)
1554304956.264 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.264 * * [misc]simplify:  Extracting #1: cost 37 inf + 0
1554304956.264 * * [misc]simplify:  Extracting #2: cost 175 inf + 0
1554304956.265 * * [misc]simplify:  Extracting #3: cost 221 inf + 323
1554304956.267 * * [misc]simplify:  Extracting #4: cost 221 inf + 30993
1554304956.278 * * [misc]simplify:  Extracting #5: cost 76 inf + 221248
1554304956.299 * * [misc]simplify:  Extracting #6: cost 0 inf + 318421
1554304956.317 * * [misc]simplify:  Extracting #7: cost 0 inf + 316421
1554304956.338 * [exit]simplify:  Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304956.338 * [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)))
1554304956.338 * * * * [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)))>
1554304956.338 * * * * [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)))>
1554304956.338 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304956.338 * * [misc]simplify:  iters left: 4 (8 enodes)
1554304956.340 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304956.343 * * [misc]simplify:  iters left: 2 (25 enodes)
1554304956.347 * * [misc]simplify:  iters left: 1 (29 enodes)
1554304956.351 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.351 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304956.351 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1554304956.351 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1554304956.352 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1554304956.352 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304956.352 * [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)))
1554304956.352 * * * * [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)))>
1554304956.352 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304956.352 * * [misc]simplify:  iters left: 4 (6 enodes)
1554304956.354 * * [misc]simplify:  iters left: 3 (16 enodes)
1554304956.356 * * [misc]simplify:  iters left: 2 (27 enodes)
1554304956.360 * * [misc]simplify:  iters left: 1 (33 enodes)
1554304956.365 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.365 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554304956.365 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554304956.365 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1554304956.365 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1554304956.365 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1554304956.365 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1554304956.366 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304956.366 * [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)))
1554304956.366 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304956.366 * * [misc]simplify:  iters left: 5 (9 enodes)
1554304956.368 * * [misc]simplify:  iters left: 4 (28 enodes)
1554304956.374 * * [misc]simplify:  iters left: 3 (66 enodes)
1554304956.388 * * [misc]simplify:  iters left: 2 (206 enodes)
1554304956.489 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.489 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1554304956.490 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1554304956.491 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1554304956.492 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1554304956.506 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1554304956.541 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1554304956.564 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1554304956.601 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304956.602 * [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)))
1554304956.602 * * * * [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))>
1554304956.602 * * * * [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))))>
1554304956.602 * [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)))))
1554304956.602 * * [misc]simplify:  iters left: 6 (13 enodes)
1554304956.606 * * [misc]simplify:  iters left: 5 (46 enodes)
1554304956.620 * * [misc]simplify:  iters left: 4 (170 enodes)
1554304956.684 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.685 * * [misc]simplify:  Extracting #1: cost 88 inf + 0
1554304956.685 * * [misc]simplify:  Extracting #2: cost 216 inf + 1524
1554304956.688 * * [misc]simplify:  Extracting #3: cost 193 inf + 60340
1554304956.698 * * [misc]simplify:  Extracting #4: cost 64 inf + 265197
1554304956.715 * * [misc]simplify:  Extracting #5: cost 12 inf + 357709
1554304956.734 * * [misc]simplify:  Extracting #6: cost 0 inf + 383025
1554304956.756 * * [misc]simplify:  Extracting #7: cost 0 inf + 382865
1554304956.777 * [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))))
1554304956.778 * [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))))
1554304956.778 * * * * [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))))>
1554304956.778 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304956.778 * * [misc]simplify:  iters left: 4 (6 enodes)
1554304956.780 * * [misc]simplify:  iters left: 3 (16 enodes)
1554304956.782 * * [misc]simplify:  iters left: 2 (27 enodes)
1554304956.787 * * [misc]simplify:  iters left: 1 (33 enodes)
1554304956.796 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.796 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554304956.796 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554304956.796 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1554304956.796 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1554304956.796 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1554304956.797 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1554304956.797 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304956.797 * [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))))
1554304956.797 * * * * [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)))))>
1554304956.797 * [enter]simplify:  Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1554304956.797 * * [misc]simplify:  iters left: 2 (3 enodes)
1554304956.799 * * [misc]simplify:  iters left: 1 (9 enodes)
1554304956.801 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.801 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554304956.801 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304956.801 * * [misc]simplify:  Extracting #3: cost 0 inf + 1604
1554304956.801 * [exit]simplify:  Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1554304956.801 * [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)))))
1554304956.801 * * * * [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))))))>
1554304956.802 * * * * [misc]progress:  [ 10 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 i i)))>
1554304956.802 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304956.802 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304956.805 * * [misc]simplify:  iters left: 2 (13 enodes)
1554304956.807 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.807 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304956.807 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554304956.807 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1554304956.807 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1554304956.807 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304956.807 * [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)))
1554304956.808 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304956.808 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304956.809 * * [misc]simplify:  iters left: 2 (19 enodes)
1554304956.813 * * [misc]simplify:  iters left: 1 (37 enodes)
1554304956.820 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.820 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304956.820 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1554304956.820 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1554304956.820 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1554304956.820 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1554304956.821 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1554304956.822 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304956.822 * [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)))
1554304956.822 * * * * [misc]progress:  [ 11 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0))))) (*.p16 i i)))>
1554304956.822 * * * * [misc]progress:  [ 12 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))) (*.p16 i i)))>
1554304956.822 * * * * [misc]progress:  [ 13 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0))))) (*.p16 i i)))>
1554304956.822 * [enter]simplify:  Simplifying (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))
1554304956.822 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304956.826 * * [misc]simplify:  iters left: 3 (21 enodes)
1554304956.832 * * [misc]simplify:  iters left: 2 (45 enodes)
1554304956.847 * * [misc]simplify:  iters left: 1 (74 enodes)
1554304956.864 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.864 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1554304956.864 * * [misc]simplify:  Extracting #2: cost 30 inf + 1
1554304956.864 * * [misc]simplify:  Extracting #3: cost 29 inf + 323
1554304956.865 * * [misc]simplify:  Extracting #4: cost 22 inf + 2894
1554304956.865 * * [misc]simplify:  Extracting #5: cost 15 inf + 7229
1554304956.866 * * [misc]simplify:  Extracting #6: cost 2 inf + 16939
1554304956.867 * * [misc]simplify:  Extracting #7: cost 0 inf + 18383
1554304956.868 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304956.868 * [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)))
1554304956.868 * * * * [misc]progress:  [ 14 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))) (*.p16 i i)))>
1554304956.869 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304956.869 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304956.871 * * [misc]simplify:  iters left: 3 (21 enodes)
1554304956.875 * * [misc]simplify:  iters left: 2 (45 enodes)
1554304956.883 * * [misc]simplify:  iters left: 1 (72 enodes)
1554304956.894 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.894 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1554304956.895 * * [misc]simplify:  Extracting #2: cost 24 inf + 1
1554304956.895 * * [misc]simplify:  Extracting #3: cost 22 inf + 324
1554304956.895 * * [misc]simplify:  Extracting #4: cost 15 inf + 2895
1554304956.896 * * [misc]simplify:  Extracting #5: cost 1 inf + 12686
1554304956.898 * * [misc]simplify:  Extracting #6: cost 0 inf + 13408
1554304956.900 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1554304956.900 * [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)))
1554304956.900 * * * * [misc]progress:  [ 15 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))>
1554304956.900 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304956.900 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304956.904 * * [misc]simplify:  iters left: 2 (19 enodes)
1554304956.910 * * [misc]simplify:  iters left: 1 (37 enodes)
1554304956.922 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.922 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304956.922 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1554304956.922 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1554304956.923 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1554304956.923 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1554304956.924 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1554304956.926 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304956.926 * [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)))
1554304956.927 * * * * [misc]progress:  [ 16 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 (*.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))) (*.p16 i i)))>
1554304956.927 * [enter]simplify:  Simplifying (*.p16 i (real->posit16 2))
1554304956.927 * * [misc]simplify:  iters left: 2 (4 enodes)
1554304956.929 * * [misc]simplify:  iters left: 1 (8 enodes)
1554304956.931 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.931 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304956.932 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304956.932 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1554304956.932 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1554304956.932 * [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)))
1554304956.932 * * * * [misc]progress:  [ 17 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1554304956.932 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304956.932 * * [misc]simplify:  iters left: 4 (8 enodes)
1554304956.936 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304956.939 * * [misc]simplify:  iters left: 2 (25 enodes)
1554304956.943 * * [misc]simplify:  iters left: 1 (29 enodes)
1554304956.948 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304956.948 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304956.948 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1554304956.948 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1554304956.948 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1554304956.948 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304956.948 * [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)))
1554304956.948 * * * * [misc]progress:  [ 18 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))) (*.p16 i i)))>
1554304956.948 * * * * [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)))>
1554304956.948 * [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))
1554304956.949 * * [misc]simplify:  iters left: 6 (12 enodes)
1554304956.952 * * [misc]simplify:  iters left: 5 (46 enodes)
1554304956.965 * * [misc]simplify:  iters left: 4 (191 enodes)
1554304957.085 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304957.085 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1554304957.087 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1554304957.093 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1554304957.115 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1554304957.158 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1554304957.181 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1554304957.204 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1554304957.242 * [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)))))
1554304957.242 * [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))))))
1554304957.243 * * * * [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)))>
1554304957.243 * [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))
1554304957.243 * * [misc]simplify:  iters left: 6 (12 enodes)
1554304957.249 * * [misc]simplify:  iters left: 5 (46 enodes)
1554304957.273 * * [misc]simplify:  iters left: 4 (191 enodes)
1554304957.424 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304957.425 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1554304957.427 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1554304957.433 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1554304957.455 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1554304957.496 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1554304957.526 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1554304957.548 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1554304957.576 * [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)))))
1554304957.576 * [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))))))
1554304957.576 * * * * [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)))>
1554304957.576 * [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))
1554304957.576 * * [misc]simplify:  iters left: 6 (12 enodes)
1554304957.582 * * [misc]simplify:  iters left: 5 (46 enodes)
1554304957.599 * * [misc]simplify:  iters left: 4 (191 enodes)
1554304957.686 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304957.728 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1554304957.729 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1554304957.732 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1554304957.744 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1554304957.781 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1554304957.817 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1554304957.858 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1554304957.890 * [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)))))
1554304957.890 * [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))))))
1554304957.890 * * * * [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)))>
1554304957.891 * [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))
1554304957.891 * * [misc]simplify:  iters left: 6 (12 enodes)
1554304957.896 * * [misc]simplify:  iters left: 5 (46 enodes)
1554304957.914 * * [misc]simplify:  iters left: 4 (191 enodes)
1554304958.333 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304958.334 * * [misc]simplify:  Extracting #1: cost 94 inf + 0
1554304958.335 * * [misc]simplify:  Extracting #2: cost 340 inf + 1404
1554304958.338 * * [misc]simplify:  Extracting #3: cost 320 inf + 83239
1554304958.349 * * [misc]simplify:  Extracting #4: cost 119 inf + 431218
1554304958.373 * * [misc]simplify:  Extracting #5: cost 4 inf + 595019
1554304958.397 * * [misc]simplify:  Extracting #6: cost 0 inf + 539239
1554304958.422 * * [misc]simplify:  Extracting #7: cost 0 inf + 536243
1554304958.445 * [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)))))
1554304958.445 * [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))))))
1554304958.446 * * * [misc]progress:  adding candidates to table
1554304959.028 * * [misc]progress:  iteration 2 / 4
1554304959.028 * * * [misc]progress:  picking best candidate
1554304959.165 * * * * [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)))>
1554304959.165 * * * [misc]progress:  localizing error
1554304959.249 * * * [misc]progress:  generating rewritten candidates
1554304959.249 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554304959.252 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1554304959.254 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1554304959.255 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1554304959.257 * * * [misc]progress:  generating series expansions
1554304959.257 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554304959.257 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1554304959.257 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1554304959.257 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1554304959.257 * * * [misc]progress:  simplifying candidates
1554304959.257 * * * * [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))>
1554304959.257 * * * * [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))))>
1554304959.258 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304959.258 * * [misc]simplify:  iters left: 4 (6 enodes)
1554304959.260 * * [misc]simplify:  iters left: 3 (16 enodes)
1554304959.262 * * [misc]simplify:  iters left: 2 (27 enodes)
1554304959.267 * * [misc]simplify:  iters left: 1 (33 enodes)
1554304959.271 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304959.271 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554304959.271 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554304959.272 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1554304959.272 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1554304959.272 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1554304959.272 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1554304959.272 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304959.272 * [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))))
1554304959.272 * * * * [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))))>
1554304959.272 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i))
1554304959.273 * * [misc]simplify:  iters left: 6 (9 enodes)
1554304959.275 * * [misc]simplify:  iters left: 5 (26 enodes)
1554304959.282 * * [misc]simplify:  iters left: 4 (67 enodes)
1554304959.303 * * [misc]simplify:  iters left: 3 (217 enodes)
1554304959.545 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304959.546 * * [misc]simplify:  Extracting #1: cost 45 inf + 0
1554304959.546 * * [misc]simplify:  Extracting #2: cost 74 inf + 763
1554304959.547 * * [misc]simplify:  Extracting #3: cost 62 inf + 7895
1554304959.548 * * [misc]simplify:  Extracting #4: cost 22 inf + 41744
1554304959.552 * * [misc]simplify:  Extracting #5: cost 1 inf + 66110
1554304959.556 * * [misc]simplify:  Extracting #6: cost 0 inf + 67193
1554304959.559 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
1554304959.559 * [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))))
1554304959.560 * * * * [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)))))>
1554304959.560 * [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))
1554304959.560 * * [misc]simplify:  iters left: 6 (12 enodes)
1554304959.563 * * [misc]simplify:  iters left: 5 (38 enodes)
1554304959.571 * * [misc]simplify:  iters left: 4 (95 enodes)
1554304959.600 * * [misc]simplify:  iters left: 3 (325 enodes)
1554304959.841 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304959.842 * * [misc]simplify:  Extracting #1: cost 83 inf + 0
1554304959.843 * * [misc]simplify:  Extracting #2: cost 354 inf + 1
1554304959.844 * * [misc]simplify:  Extracting #3: cost 453 inf + 322
1554304959.846 * * [misc]simplify:  Extracting #4: cost 472 inf + 4417
1554304959.853 * * [misc]simplify:  Extracting #5: cost 345 inf + 175126
1554304959.886 * * [misc]simplify:  Extracting #6: cost 57 inf + 661423
1554304959.955 * * [misc]simplify:  Extracting #7: cost 1 inf + 765790
1554304960.027 * * [misc]simplify:  Extracting #8: cost 0 inf + 767393
1554304960.087 * * [misc]simplify:  Extracting #9: cost 0 inf + 767353
1554304960.135 * [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)))
1554304960.135 * [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)))))
1554304960.135 * * * * [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))))))>
1554304960.135 * * * * [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)))>
1554304960.135 * [enter]simplify:  Simplifying (*.p16 i (real->posit16 2))
1554304960.135 * * [misc]simplify:  iters left: 2 (4 enodes)
1554304960.137 * * [misc]simplify:  iters left: 1 (8 enodes)
1554304960.139 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.139 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304960.139 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304960.139 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1554304960.140 * [exit]simplify:  Simplified to (*.p16 i (real->posit16 2))
1554304960.140 * [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)))
1554304960.140 * * * * [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)))>
1554304960.140 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304960.140 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304960.143 * * [misc]simplify:  iters left: 2 (19 enodes)
1554304960.149 * * [misc]simplify:  iters left: 1 (37 enodes)
1554304960.160 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.160 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304960.160 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1554304960.160 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1554304960.160 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1554304960.161 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1554304960.162 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1554304960.164 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304960.164 * [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)))
1554304960.164 * * * * [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)))>
1554304960.165 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304960.165 * * [misc]simplify:  iters left: 4 (8 enodes)
1554304960.168 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304960.173 * * [misc]simplify:  iters left: 2 (25 enodes)
1554304960.181 * * [misc]simplify:  iters left: 1 (29 enodes)
1554304960.188 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.188 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304960.189 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1554304960.189 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1554304960.189 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1554304960.189 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304960.189 * [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)))
1554304960.189 * * * * [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)))>
1554304960.189 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304960.190 * * [misc]simplify:  iters left: 4 (8 enodes)
1554304960.192 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304960.195 * * [misc]simplify:  iters left: 2 (25 enodes)
1554304960.202 * * [misc]simplify:  iters left: 1 (29 enodes)
1554304960.209 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.209 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304960.209 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1554304960.209 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1554304960.210 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1554304960.210 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304960.210 * [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)))
1554304960.210 * * * * [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)))>
1554304960.211 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304960.211 * * [misc]simplify:  iters left: 4 (8 enodes)
1554304960.215 * * [misc]simplify:  iters left: 3 (27 enodes)
1554304960.224 * * [misc]simplify:  iters left: 2 (61 enodes)
1554304960.243 * * [misc]simplify:  iters left: 1 (182 enodes)
1554304960.314 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.314 * * [misc]simplify:  Extracting #1: cost 37 inf + 0
1554304960.315 * * [misc]simplify:  Extracting #2: cost 175 inf + 0
1554304960.316 * * [misc]simplify:  Extracting #3: cost 221 inf + 323
1554304960.318 * * [misc]simplify:  Extracting #4: cost 221 inf + 30993
1554304960.328 * * [misc]simplify:  Extracting #5: cost 76 inf + 221248
1554304960.349 * * [misc]simplify:  Extracting #6: cost 0 inf + 318421
1554304960.366 * * [misc]simplify:  Extracting #7: cost 0 inf + 316421
1554304960.384 * [exit]simplify:  Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304960.384 * [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)))
1554304960.385 * * * * [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)))>
1554304960.385 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1554304960.385 * * [misc]simplify:  iters left: 6 (10 enodes)
1554304960.388 * * [misc]simplify:  iters left: 5 (32 enodes)
1554304960.394 * * [misc]simplify:  iters left: 4 (77 enodes)
1554304960.411 * * [misc]simplify:  iters left: 3 (261 enodes)
1554304960.579 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.579 * * [misc]simplify:  Extracting #1: cost 62 inf + 0
1554304960.580 * * [misc]simplify:  Extracting #2: cost 262 inf + 322
1554304960.581 * * [misc]simplify:  Extracting #3: cost 352 inf + 322
1554304960.583 * * [misc]simplify:  Extracting #4: cost 358 inf + 17807
1554304960.596 * * [misc]simplify:  Extracting #5: cost 171 inf + 273596
1554304960.626 * * [misc]simplify:  Extracting #6: cost 2 inf + 561486
1554304960.667 * * [misc]simplify:  Extracting #7: cost 0 inf + 564492
1554304960.701 * [exit]simplify:  Simplified to (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1554304960.701 * [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)))
1554304960.701 * * * * [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)))>
1554304960.701 * * * * [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)))>
1554304960.702 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304960.702 * * [misc]simplify:  iters left: 4 (6 enodes)
1554304960.703 * * [misc]simplify:  iters left: 3 (16 enodes)
1554304960.706 * * [misc]simplify:  iters left: 2 (27 enodes)
1554304960.710 * * [misc]simplify:  iters left: 1 (33 enodes)
1554304960.715 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.715 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554304960.715 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554304960.715 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1554304960.715 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1554304960.715 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1554304960.715 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1554304960.716 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304960.716 * [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)))
1554304960.716 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304960.716 * * [misc]simplify:  iters left: 5 (9 enodes)
1554304960.718 * * [misc]simplify:  iters left: 4 (28 enodes)
1554304960.723 * * [misc]simplify:  iters left: 3 (66 enodes)
1554304960.737 * * [misc]simplify:  iters left: 2 (206 enodes)
1554304960.859 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.859 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1554304960.860 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1554304960.861 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1554304960.864 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1554304960.882 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1554304960.912 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1554304960.945 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1554304960.973 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304960.974 * [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)))
1554304960.974 * * * * [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)))>
1554304960.974 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304960.974 * * [misc]simplify:  iters left: 4 (6 enodes)
1554304960.977 * * [misc]simplify:  iters left: 3 (16 enodes)
1554304960.980 * * [misc]simplify:  iters left: 2 (27 enodes)
1554304960.984 * * [misc]simplify:  iters left: 1 (33 enodes)
1554304960.989 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304960.989 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554304960.989 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554304960.989 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1554304960.989 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1554304960.989 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1554304960.989 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1554304960.990 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304960.990 * [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)))
1554304960.990 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304960.990 * * [misc]simplify:  iters left: 5 (9 enodes)
1554304960.992 * * [misc]simplify:  iters left: 4 (28 enodes)
1554304960.998 * * [misc]simplify:  iters left: 3 (66 enodes)
1554304961.012 * * [misc]simplify:  iters left: 2 (206 enodes)
1554304961.098 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304961.098 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1554304961.098 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1554304961.099 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1554304961.101 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1554304961.114 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1554304961.134 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1554304961.156 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1554304961.199 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304961.199 * [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)))
1554304961.199 * * * * [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)))>
1554304961.199 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304961.199 * * [misc]simplify:  iters left: 4 (6 enodes)
1554304961.203 * * [misc]simplify:  iters left: 3 (16 enodes)
1554304961.208 * * [misc]simplify:  iters left: 2 (27 enodes)
1554304961.217 * * [misc]simplify:  iters left: 1 (33 enodes)
1554304961.222 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304961.222 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554304961.223 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554304961.223 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1554304961.223 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1554304961.223 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1554304961.223 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1554304961.223 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304961.223 * [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)))
1554304961.224 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304961.224 * * [misc]simplify:  iters left: 5 (9 enodes)
1554304961.226 * * [misc]simplify:  iters left: 4 (28 enodes)
1554304961.234 * * [misc]simplify:  iters left: 3 (66 enodes)
1554304961.248 * * [misc]simplify:  iters left: 2 (206 enodes)
1554304961.362 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304961.362 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1554304961.363 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1554304961.364 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1554304961.366 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1554304961.376 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1554304961.401 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1554304961.423 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1554304961.454 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304961.454 * [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)))
1554304961.455 * * * * [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)))>
1554304961.455 * [enter]simplify:  Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304961.455 * * [misc]simplify:  iters left: 4 (6 enodes)
1554304961.457 * * [misc]simplify:  iters left: 3 (16 enodes)
1554304961.459 * * [misc]simplify:  iters left: 2 (27 enodes)
1554304961.463 * * [misc]simplify:  iters left: 1 (33 enodes)
1554304961.468 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304961.468 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554304961.468 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1554304961.468 * * [misc]simplify:  Extracting #3: cost 11 inf + 763
1554304961.468 * * [misc]simplify:  Extracting #4: cost 9 inf + 765
1554304961.468 * * [misc]simplify:  Extracting #5: cost 2 inf + 3698
1554304961.468 * * [misc]simplify:  Extracting #6: cost 0 inf + 4861
1554304961.469 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1554304961.469 * [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)))
1554304961.469 * [enter]simplify:  Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304961.469 * * [misc]simplify:  iters left: 5 (9 enodes)
1554304961.471 * * [misc]simplify:  iters left: 4 (28 enodes)
1554304961.477 * * [misc]simplify:  iters left: 3 (66 enodes)
1554304961.492 * * [misc]simplify:  iters left: 2 (206 enodes)
1554304961.586 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304961.586 * * [misc]simplify:  Extracting #1: cost 39 inf + 0
1554304961.587 * * [misc]simplify:  Extracting #2: cost 172 inf + 1
1554304961.588 * * [misc]simplify:  Extracting #3: cost 247 inf + 322
1554304961.590 * * [misc]simplify:  Extracting #4: cost 253 inf + 16849
1554304961.603 * * [misc]simplify:  Extracting #5: cost 114 inf + 204899
1554304961.623 * * [misc]simplify:  Extracting #6: cost 7 inf + 360159
1554304961.646 * * [misc]simplify:  Extracting #7: cost 0 inf + 374380
1554304961.676 * [exit]simplify:  Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1554304961.676 * [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)))
1554304961.677 * * * [misc]progress:  adding candidates to table
1554304962.175 * * [misc]progress:  iteration 3 / 4
1554304962.175 * * * [misc]progress:  picking best candidate
1554304962.324 * * * * [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))))>
1554304962.324 * * * [misc]progress:  localizing error
1554304962.377 * * * [misc]progress:  generating rewritten candidates
1554304962.377 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554304962.379 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1554304962.381 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1554304962.392 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1554304962.394 * * * [misc]progress:  generating series expansions
1554304962.394 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554304962.394 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1554304962.394 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1554304962.394 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1554304962.394 * * * [misc]progress:  simplifying candidates
1554304962.394 * * * * [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))))>
1554304962.394 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304962.394 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304962.397 * * [misc]simplify:  iters left: 2 (19 enodes)
1554304962.401 * * [misc]simplify:  iters left: 1 (37 enodes)
1554304962.407 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.407 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304962.408 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1554304962.408 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1554304962.408 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1554304962.408 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1554304962.409 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1554304962.410 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304962.410 * [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))))
1554304962.410 * * * * [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)))))>
1554304962.410 * [enter]simplify:  Simplifying (/.p16 i (real->posit16 2))
1554304962.410 * * [misc]simplify:  iters left: 2 (4 enodes)
1554304962.411 * * [misc]simplify:  iters left: 1 (7 enodes)
1554304962.412 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.412 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304962.412 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304962.412 * * [misc]simplify:  Extracting #3: cost 0 inf + 445
1554304962.412 * [exit]simplify:  Simplified to (/.p16 i (real->posit16 2))
1554304962.412 * [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)))))
1554304962.412 * * * * [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))))>
1554304962.413 * [enter]simplify:  Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304962.413 * * [misc]simplify:  iters left: 4 (8 enodes)
1554304962.415 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304962.418 * * [misc]simplify:  iters left: 2 (25 enodes)
1554304962.424 * * [misc]simplify:  iters left: 1 (29 enodes)
1554304962.431 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.431 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304962.431 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1554304962.431 * * [misc]simplify:  Extracting #3: cost 9 inf + 3
1554304962.431 * * [misc]simplify:  Extracting #4: cost 0 inf + 3578
1554304962.432 * [exit]simplify:  Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554304962.432 * [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))))
1554304962.432 * * * * [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))))>
1554304962.432 * [enter]simplify:  Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
1554304962.432 * * [misc]simplify:  iters left: 3 (5 enodes)
1554304962.434 * * [misc]simplify:  iters left: 2 (11 enodes)
1554304962.437 * * [misc]simplify:  iters left: 1 (13 enodes)
1554304962.439 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.439 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554304962.439 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1554304962.439 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1554304962.439 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1554304962.439 * [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))))
1554304962.439 * * * * [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))))>
1554304962.439 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
1554304962.440 * * [misc]simplify:  iters left: 3 (5 enodes)
1554304962.441 * * [misc]simplify:  iters left: 2 (11 enodes)
1554304962.442 * * [misc]simplify:  iters left: 1 (13 enodes)
1554304962.444 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.444 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554304962.444 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1554304962.444 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1554304962.445 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1554304962.445 * [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))))
1554304962.445 * * * * [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)))))>
1554304962.445 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304962.445 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304962.448 * * [misc]simplify:  iters left: 3 (17 enodes)
1554304962.453 * * [misc]simplify:  iters left: 2 (20 enodes)
1554304962.458 * * [misc]simplify:  iters left: 1 (28 enodes)
1554304962.464 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.464 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1554304962.464 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1554304962.464 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1554304962.464 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1554304962.464 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1554304962.465 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1554304962.465 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1554304962.465 * [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)))))
1554304962.465 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304962.465 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304962.467 * * [misc]simplify:  iters left: 3 (23 enodes)
1554304962.472 * * [misc]simplify:  iters left: 2 (48 enodes)
1554304962.482 * * [misc]simplify:  iters left: 1 (130 enodes)
1554304962.520 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.520 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1554304962.520 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1554304962.521 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1554304962.522 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1554304962.524 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1554304962.532 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1554304962.541 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1554304962.552 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554304962.552 * [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))))))
1554304962.552 * * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1554304962.553 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304962.553 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304962.555 * * [misc]simplify:  iters left: 2 (13 enodes)
1554304962.557 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.557 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304962.557 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554304962.557 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1554304962.557 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1554304962.557 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304962.557 * [misc]simplify:  Simplified (2 2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1554304962.557 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304962.557 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304962.559 * * [misc]simplify:  iters left: 2 (19 enodes)
1554304962.563 * * [misc]simplify:  iters left: 1 (37 enodes)
1554304962.569 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.569 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304962.569 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1554304962.569 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1554304962.569 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1554304962.570 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1554304962.570 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1554304962.571 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304962.571 * [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)))))
1554304962.572 * * * * [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)))))>
1554304962.572 * * * * [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)))))>
1554304962.572 * * * * [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))))>
1554304962.572 * [enter]simplify:  Simplifying (real->posit16 2)
1554304962.572 * * [misc]simplify:  iters left: 1 (2 enodes)
1554304962.573 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.573 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554304962.573 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554304962.573 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1554304962.573 * [exit]simplify:  Simplified to (real->posit16 2)
1554304962.573 * [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))))
1554304962.573 * * * * [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))))>
1554304962.573 * * * * [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))))>
1554304962.573 * * * * [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))))>
1554304962.573 * [enter]simplify:  Simplifying (real->posit16 2)
1554304962.573 * * [misc]simplify:  iters left: 1 (2 enodes)
1554304962.574 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.574 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554304962.574 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554304962.574 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1554304962.574 * [exit]simplify:  Simplified to (real->posit16 2)
1554304962.574 * [misc]simplify:  Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1554304962.574 * * * * [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))))>
1554304962.574 * [enter]simplify:  Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
1554304962.574 * * [misc]simplify:  iters left: 3 (5 enodes)
1554304962.576 * * [misc]simplify:  iters left: 2 (11 enodes)
1554304962.578 * * [misc]simplify:  iters left: 1 (13 enodes)
1554304962.580 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.580 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554304962.580 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1554304962.580 * * [misc]simplify:  Extracting #3: cost 0 inf + 1970
1554304962.580 * [exit]simplify:  Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
1554304962.580 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1554304962.580 * * * * [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))))>
1554304962.580 * * * * [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))))>
1554304962.580 * [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)))
1554304962.580 * * [misc]simplify:  iters left: 5 (11 enodes)
1554304962.583 * * [misc]simplify:  iters left: 4 (36 enodes)
1554304962.590 * * [misc]simplify:  iters left: 3 (93 enodes)
1554304962.610 * * [misc]simplify:  iters left: 2 (324 enodes)
1554304962.811 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304962.812 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1554304962.814 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1554304962.815 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1554304962.823 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1554304962.846 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1554304962.890 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1554304962.933 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1554304962.983 * [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)))
1554304962.983 * [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))))
1554304962.983 * * * * [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))))>
1554304962.983 * [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)))
1554304962.983 * * [misc]simplify:  iters left: 5 (11 enodes)
1554304962.988 * * [misc]simplify:  iters left: 4 (36 enodes)
1554304963.000 * * [misc]simplify:  iters left: 3 (93 enodes)
1554304963.032 * * [misc]simplify:  iters left: 2 (324 enodes)
1554304963.326 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304963.326 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1554304963.328 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1554304963.332 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1554304963.342 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1554304963.384 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1554304963.455 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1554304963.526 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1554304963.595 * [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)))
1554304963.595 * [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))))
1554304963.596 * * * * [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))))>
1554304963.596 * [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)))
1554304963.596 * * [misc]simplify:  iters left: 5 (11 enodes)
1554304963.601 * * [misc]simplify:  iters left: 4 (36 enodes)
1554304963.613 * * [misc]simplify:  iters left: 3 (93 enodes)
1554304963.650 * * [misc]simplify:  iters left: 2 (324 enodes)
1554304963.927 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304963.927 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1554304963.929 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1554304963.933 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1554304963.942 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1554304963.982 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1554304964.048 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1554304964.098 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1554304964.159 * [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)))
1554304964.159 * [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))))
1554304964.159 * * * * [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))))>
1554304964.159 * [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)))
1554304964.159 * * [misc]simplify:  iters left: 5 (11 enodes)
1554304964.162 * * [misc]simplify:  iters left: 4 (36 enodes)
1554304964.169 * * [misc]simplify:  iters left: 3 (93 enodes)
1554304964.191 * * [misc]simplify:  iters left: 2 (324 enodes)
1554304964.365 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304964.365 * * [misc]simplify:  Extracting #1: cost 100 inf + 0
1554304964.366 * * [misc]simplify:  Extracting #2: cost 387 inf + 322
1554304964.368 * * [misc]simplify:  Extracting #3: cost 451 inf + 10427
1554304964.373 * * [misc]simplify:  Extracting #4: cost 402 inf + 115864
1554304964.396 * * [misc]simplify:  Extracting #5: cost 172 inf + 531234
1554304964.449 * * [misc]simplify:  Extracting #6: cost 5 inf + 787856
1554304964.493 * * [misc]simplify:  Extracting #7: cost 0 inf + 796751
1554304964.534 * [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)))
1554304964.534 * [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))))
1554304964.534 * * * [misc]progress:  adding candidates to table
1554304965.231 * * [misc]progress:  iteration 4 / 4
1554304965.231 * * * [misc]progress:  picking best candidate
1554304965.410 * * * * [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)))))>
1554304965.410 * * * [misc]progress:  localizing error
1554304965.523 * * * [misc]progress:  generating rewritten candidates
1554304965.523 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1554304965.526 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1554304965.530 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1554304965.536 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1554304965.539 * * * [misc]progress:  generating series expansions
1554304965.539 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1554304965.539 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1554304965.540 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1554304965.540 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1554304965.540 * * * [misc]progress:  simplifying candidates
1554304965.540 * * * * [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)))))>
1554304965.540 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304965.540 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304965.544 * * [misc]simplify:  iters left: 2 (13 enodes)
1554304965.548 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304965.548 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304965.549 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554304965.549 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1554304965.549 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1554304965.549 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304965.549 * [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)))))
1554304965.549 * * * * [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)))))>
1554304965.549 * * * * [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)))))>
1554304965.549 * * * * [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))))>
1554304965.550 * [enter]simplify:  Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304965.550 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304965.553 * * [misc]simplify:  iters left: 2 (13 enodes)
1554304965.557 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304965.557 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304965.558 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554304965.558 * * [misc]simplify:  Extracting #3: cost 4 inf + 3
1554304965.558 * * [misc]simplify:  Extracting #4: cost 0 inf + 690
1554304965.558 * [exit]simplify:  Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304965.558 * [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))))
1554304965.558 * * * * [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))))>
1554304965.558 * [enter]simplify:  Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304965.559 * * [misc]simplify:  iters left: 3 (7 enodes)
1554304965.561 * * [misc]simplify:  iters left: 2 (19 enodes)
1554304965.565 * * [misc]simplify:  iters left: 1 (37 enodes)
1554304965.573 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304965.573 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554304965.573 * * [misc]simplify:  Extracting #2: cost 21 inf + 0
1554304965.574 * * [misc]simplify:  Extracting #3: cost 27 inf + 165
1554304965.574 * * [misc]simplify:  Extracting #4: cost 28 inf + 166
1554304965.574 * * [misc]simplify:  Extracting #5: cost 18 inf + 4946
1554304965.575 * * [misc]simplify:  Extracting #6: cost 0 inf + 22111
1554304965.576 * [exit]simplify:  Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554304965.576 * [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))))
1554304965.576 * * * * [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))))>
1554304965.576 * [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))))
1554304965.576 * * [misc]simplify:  iters left: 5 (10 enodes)
1554304965.579 * * [misc]simplify:  iters left: 4 (29 enodes)
1554304965.586 * * [misc]simplify:  iters left: 3 (71 enodes)
1554304965.616 * * [misc]simplify:  iters left: 2 (226 enodes)
1554304965.742 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304965.742 * * [misc]simplify:  Extracting #1: cost 76 inf + 0
1554304965.743 * * [misc]simplify:  Extracting #2: cost 266 inf + 322
1554304965.744 * * [misc]simplify:  Extracting #3: cost 288 inf + 11470
1554304965.746 * * [misc]simplify:  Extracting #4: cost 267 inf + 40495
1554304965.763 * * [misc]simplify:  Extracting #5: cost 84 inf + 325096
1554304965.784 * * [misc]simplify:  Extracting #6: cost 0 inf + 450491
1554304965.805 * * [misc]simplify:  Extracting #7: cost 0 inf + 450131
1554304965.829 * [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)))
1554304965.829 * [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))))
1554304965.829 * * * * [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)))))>
1554304965.829 * * * * [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))))))>
1554304965.829 * * * * [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))))))>
1554304965.829 * * * * [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)))))>
1554304965.829 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304965.830 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304965.834 * * [misc]simplify:  iters left: 3 (17 enodes)
1554304965.839 * * [misc]simplify:  iters left: 2 (20 enodes)
1554304965.846 * * [misc]simplify:  iters left: 1 (28 enodes)
1554304965.857 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304965.857 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1554304965.857 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1554304965.857 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1554304965.858 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1554304965.858 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1554304965.858 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1554304965.859 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1554304965.859 * [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)))))
1554304965.859 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304965.859 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304965.863 * * [misc]simplify:  iters left: 3 (23 enodes)
1554304965.872 * * [misc]simplify:  iters left: 2 (48 enodes)
1554304965.889 * * [misc]simplify:  iters left: 1 (130 enodes)
1554304965.946 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304965.946 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1554304965.947 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1554304965.947 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1554304965.949 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1554304965.956 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1554304965.969 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1554304965.984 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1554304965.999 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554304965.999 * [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))))))
1554304965.999 * * * * [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)))))>
1554304965.999 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304965.999 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304966.002 * * [misc]simplify:  iters left: 3 (17 enodes)
1554304966.005 * * [misc]simplify:  iters left: 2 (20 enodes)
1554304966.008 * * [misc]simplify:  iters left: 1 (28 enodes)
1554304966.013 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304966.013 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1554304966.013 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1554304966.013 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1554304966.014 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1554304966.014 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1554304966.014 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1554304966.014 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1554304966.014 * [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)))))
1554304966.015 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304966.015 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304966.017 * * [misc]simplify:  iters left: 3 (23 enodes)
1554304966.022 * * [misc]simplify:  iters left: 2 (48 enodes)
1554304966.032 * * [misc]simplify:  iters left: 1 (130 enodes)
1554304966.076 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304966.076 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1554304966.077 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1554304966.077 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1554304966.078 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1554304966.081 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1554304966.089 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1554304966.098 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1554304966.107 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554304966.107 * [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))))))
1554304966.107 * * * * [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)))))>
1554304966.107 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304966.107 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304966.109 * * [misc]simplify:  iters left: 3 (17 enodes)
1554304966.112 * * [misc]simplify:  iters left: 2 (20 enodes)
1554304966.116 * * [misc]simplify:  iters left: 1 (28 enodes)
1554304966.120 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304966.120 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1554304966.120 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1554304966.121 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1554304966.121 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1554304966.121 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1554304966.123 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1554304966.124 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1554304966.124 * [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)))))
1554304966.124 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304966.124 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304966.127 * * [misc]simplify:  iters left: 3 (23 enodes)
1554304966.131 * * [misc]simplify:  iters left: 2 (48 enodes)
1554304966.140 * * [misc]simplify:  iters left: 1 (130 enodes)
1554304966.181 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304966.181 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1554304966.182 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1554304966.182 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1554304966.183 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1554304966.186 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1554304966.196 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1554304966.205 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1554304966.215 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554304966.215 * [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))))))
1554304966.215 * * * * [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)))))>
1554304966.215 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304966.216 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304966.218 * * [misc]simplify:  iters left: 3 (17 enodes)
1554304966.221 * * [misc]simplify:  iters left: 2 (20 enodes)
1554304966.224 * * [misc]simplify:  iters left: 1 (28 enodes)
1554304966.230 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304966.230 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1554304966.230 * * [misc]simplify:  Extracting #2: cost 10 inf + 1
1554304966.230 * * [misc]simplify:  Extracting #3: cost 11 inf + 2
1554304966.230 * * [misc]simplify:  Extracting #4: cost 7 inf + 767
1554304966.230 * * [misc]simplify:  Extracting #5: cost 2 inf + 2777
1554304966.231 * * [misc]simplify:  Extracting #6: cost 0 inf + 4702
1554304966.231 * [exit]simplify:  Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
1554304966.231 * [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)))))
1554304966.231 * [enter]simplify:  Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554304966.231 * * [misc]simplify:  iters left: 4 (9 enodes)
1554304966.234 * * [misc]simplify:  iters left: 3 (23 enodes)
1554304966.238 * * [misc]simplify:  iters left: 2 (48 enodes)
1554304966.247 * * [misc]simplify:  iters left: 1 (130 enodes)
1554304966.288 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304966.288 * * [misc]simplify:  Extracting #1: cost 33 inf + 0
1554304966.288 * * [misc]simplify:  Extracting #2: cost 121 inf + 1
1554304966.289 * * [misc]simplify:  Extracting #3: cost 150 inf + 767
1554304966.289 * * [misc]simplify:  Extracting #4: cost 147 inf + 6462
1554304966.292 * * [misc]simplify:  Extracting #5: cost 102 inf + 59322
1554304966.300 * * [misc]simplify:  Extracting #6: cost 7 inf + 167589
1554304966.309 * * [misc]simplify:  Extracting #7: cost 0 inf + 181450
1554304966.319 * [exit]simplify:  Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554304966.319 * [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))))))
1554304966.319 * * * [misc]progress:  adding candidates to table
1554304966.751 * [misc]progress:  [Phase 3 of 3] Extracting.
1554304966.751 * * [misc]regime:  Finding splitpoints for: (#<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)))))> #<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 (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (*.p16 (/.p16 (/.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)))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))> #<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))))>)
1554304966.752 * * * [misc]regime-changes:  Trying 1 branch expressions: (i)
1554304966.752 * * * * [misc]regimes:  Trying to branch on i from (#<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)))))> #<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 (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (*.p16 (/.p16 (/.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)))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))> #<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))))>)
1554304966.956 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1554304966.956 * [enter]simplify:  Simplifying (/.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)))
1554304966.956 * * [misc]simplify:  iters left: 6 (12 enodes)
1554304966.958 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304966.958 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304966.958 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554304966.958 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554304966.958 * * [misc]simplify:  Extracting #4: cost 9 inf + 3
1554304966.958 * * [misc]simplify:  Extracting #5: cost 0 inf + 6504
1554304966.959 * [exit]simplify:  Simplified to (/.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)))
1554304966.959 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554304966.971 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554304966.973 * * * * [misc]points:  Setting MPFR precision to 64
1554304966.974 * * * * [misc]points:  Setting MPFR precision to 320
1554304966.975 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554304966.978 * * * * [misc]points:  Setting MPFR precision to 64
1554304966.980 * * * * [misc]points:  Setting MPFR precision to 320
1554304966.981 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554304966.984 * * * * [misc]points:  Setting MPFR precision to 64
1554304966.987 * * * * [misc]points:  Setting MPFR precision to 320
1554304966.992 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554304967.011 * * * * [misc]points:  Setting MPFR precision to 64
1554304967.022 * * * * [misc]points:  Setting MPFR precision to 320
1554304967.028 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554304967.031 * * * * [misc]points:  Setting MPFR precision to 64
1554304967.043 * * * * [misc]points:  Setting MPFR precision to 320
1554304967.056 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554304967.059 * * * * [misc]points:  Setting MPFR precision to 64
1554304967.090 * * * * [misc]points:  Setting MPFR precision to 320
1554304967.125 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554304967.128 * * * * [misc]points:  Setting MPFR precision to 64
1554304967.240 * * * * [misc]points:  Setting MPFR precision to 320
1554304967.296 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554304967.302 * * * * [misc]points:  Setting MPFR precision to 64
1554304967.487 * * * * [misc]points:  Setting MPFR precision to 320
1554304967.688 * * * * [misc]points:  Computing exacts for 8000 points
1554304967.693 * * * * [misc]points:  Setting MPFR precision to 64
1554304968.259 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.143 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304969.152 * * * * [misc]points:  Sampling 4017 additional inputs, on iter 1 have 3983 / 8000
1554304969.161 * * * * [misc]points:  Computing exacts on every 251 of 4017 points to ramp up precision
1554304969.166 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.167 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.169 * * * * [misc]points:  Computing exacts on every 125 of 4017 points to ramp up precision
1554304969.173 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.175 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.176 * * * * [misc]points:  Computing exacts on every 62 of 4017 points to ramp up precision
1554304969.179 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.182 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.185 * * * * [misc]points:  Computing exacts on every 31 of 4017 points to ramp up precision
1554304969.188 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.194 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.200 * * * * [misc]points:  Computing exacts on every 15 of 4017 points to ramp up precision
1554304969.203 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.215 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.228 * * * * [misc]points:  Computing exacts on every 7 of 4017 points to ramp up precision
1554304969.249 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.272 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.299 * * * * [misc]points:  Computing exacts on every 3 of 4017 points to ramp up precision
1554304969.304 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.360 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.440 * * * * [misc]points:  Computing exacts for 4017 points
1554304969.443 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.711 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.972 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304969.975 * * * * [misc]points:  Sampling 1973 additional inputs, on iter 2 have 6027 / 8000
1554304969.978 * * * * [misc]points:  Computing exacts on every 123 of 1973 points to ramp up precision
1554304969.983 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.984 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.986 * * * * [misc]points:  Computing exacts on every 61 of 1973 points to ramp up precision
1554304969.990 * * * * [misc]points:  Setting MPFR precision to 64
1554304969.993 * * * * [misc]points:  Setting MPFR precision to 320
1554304969.995 * * * * [misc]points:  Computing exacts on every 30 of 1973 points to ramp up precision
1554304970.000 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.005 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.010 * * * * [misc]points:  Computing exacts on every 15 of 1973 points to ramp up precision
1554304970.041 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.053 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.062 * * * * [misc]points:  Computing exacts on every 7 of 1973 points to ramp up precision
1554304970.067 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.085 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.105 * * * * [misc]points:  Computing exacts on every 3 of 1973 points to ramp up precision
1554304970.109 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.147 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.187 * * * * [misc]points:  Computing exacts for 1973 points
1554304970.192 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.343 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.471 * * * * [misc]points:  Sampling 971 additional inputs, on iter 3 have 7029 / 8000
1554304970.473 * * * * [misc]points:  Computing exacts on every 60 of 971 points to ramp up precision
1554304970.476 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.477 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.478 * * * * [misc]points:  Computing exacts on every 30 of 971 points to ramp up precision
1554304970.481 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.483 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.484 * * * * [misc]points:  Computing exacts on every 15 of 971 points to ramp up precision
1554304970.487 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.490 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.493 * * * * [misc]points:  Computing exacts on every 7 of 971 points to ramp up precision
1554304970.496 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.502 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.508 * * * * [misc]points:  Computing exacts on every 3 of 971 points to ramp up precision
1554304970.511 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.543 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.557 * * * * [misc]points:  Computing exacts for 971 points
1554304970.560 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.605 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.652 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.653 * * * * [misc]points:  Sampling 499 additional inputs, on iter 4 have 7501 / 8000
1554304970.654 * * * * [misc]points:  Computing exacts on every 31 of 499 points to ramp up precision
1554304970.681 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.682 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.682 * * * * [misc]points:  Computing exacts on every 15 of 499 points to ramp up precision
1554304970.685 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.687 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.690 * * * * [misc]points:  Computing exacts on every 7 of 499 points to ramp up precision
1554304970.693 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.696 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.699 * * * * [misc]points:  Computing exacts on every 3 of 499 points to ramp up precision
1554304970.702 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.707 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.714 * * * * [misc]points:  Computing exacts for 499 points
1554304970.716 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.740 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.764 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.765 * * * * [misc]points:  Sampling 243 additional inputs, on iter 5 have 7757 / 8000
1554304970.765 * * * * [misc]points:  Computing exacts on every 15 of 243 points to ramp up precision
1554304970.768 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.769 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.770 * * * * [misc]points:  Computing exacts on every 7 of 243 points to ramp up precision
1554304970.773 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.774 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.776 * * * * [misc]points:  Computing exacts on every 3 of 243 points to ramp up precision
1554304970.801 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.804 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.807 * * * * [misc]points:  Computing exacts for 243 points
1554304970.811 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.823 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.834 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.835 * * * * [misc]points:  Sampling 118 additional inputs, on iter 6 have 7882 / 8000
1554304970.835 * * * * [misc]points:  Computing exacts on every 7 of 118 points to ramp up precision
1554304970.838 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.839 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.839 * * * * [misc]points:  Computing exacts on every 3 of 118 points to ramp up precision
1554304970.842 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.844 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.845 * * * * [misc]points:  Computing exacts for 118 points
1554304970.848 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.853 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.859 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.859 * * * * [misc]points:  Sampling 51 additional inputs, on iter 7 have 7949 / 8000
1554304970.860 * * * * [misc]points:  Computing exacts on every 3 of 51 points to ramp up precision
1554304970.862 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.863 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.864 * * * * [misc]points:  Computing exacts for 51 points
1554304970.866 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.869 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.871 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.871 * * * * [misc]points:  Sampling 25 additional inputs, on iter 8 have 7975 / 8000
1554304970.872 * * * * [misc]points:  Computing exacts for 25 points
1554304970.874 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.876 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.877 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.877 * * * * [misc]points:  Sampling 10 additional inputs, on iter 9 have 7990 / 8000
1554304970.877 * * * * [misc]points:  Computing exacts for 10 points
1554304970.880 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.880 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.881 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.881 * * * * [misc]points:  Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1554304970.881 * * * * [misc]points:  Computing exacts for 5 points
1554304970.884 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.884 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.884 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.884 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1554304970.884 * * * * [misc]points:  Computing exacts for 4 points
1554304970.905 * * * * [misc]points:  Setting MPFR precision to 64
1554304970.905 * * * * [misc]points:  Setting MPFR precision to 320
1554304970.906 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304970.906 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554304976.748 * [misc]regime-testing:  Baseline error score: 64.0
1554304976.750 * [misc]regime-testing:  Oracle error score: 64.0
1554304976.754 * [misc]regime-testing:  End program error score: 0.38924357841071583