1553935185.518 * [progress]: [Phase 1 of 3] Setting up.
1553935185.518 * * * [progress]: [1/2] Preparing points
1553935185.519 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553935185.519 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553935185.522 * * * * [points]: Setting MPFR precision to 64
1553935185.524 * * * * [points]: Setting MPFR precision to 320
1553935185.525 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553935185.527 * * * * [points]: Setting MPFR precision to 64
1553935185.529 * * * * [points]: Setting MPFR precision to 320
1553935185.531 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553935185.533 * * * * [points]: Setting MPFR precision to 64
1553935185.536 * * * * [points]: Setting MPFR precision to 320
1553935185.539 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553935185.542 * * * * [points]: Setting MPFR precision to 64
1553935185.547 * * * * [points]: Setting MPFR precision to 320
1553935185.552 * * * * [points]: Computing exacts for 256 points
1553935185.563 * * * * [points]: Setting MPFR precision to 64
1553935185.577 * * * * [points]: Setting MPFR precision to 320
1553935185.594 * * * * [points]: Filtering points with unrepresentable outputs
1553935185.598 * * * * [points]: Sampling 136 additional inputs, on iter 1 have 120 / 256
1553935185.599 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
1553935185.601 * * * * [points]: Setting MPFR precision to 64
1553935185.602 * * * * [points]: Setting MPFR precision to 320
1553935185.603 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
1553935185.606 * * * * [points]: Setting MPFR precision to 64
1553935185.607 * * * * [points]: Setting MPFR precision to 320
1553935185.609 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
1553935185.612 * * * * [points]: Setting MPFR precision to 64
1553935185.614 * * * * [points]: Setting MPFR precision to 320
1553935185.617 * * * * [points]: Computing exacts for 136 points
1553935185.620 * * * * [points]: Setting MPFR precision to 64
1553935185.627 * * * * [points]: Setting MPFR precision to 320
1553935185.636 * * * * [points]: Filtering points with unrepresentable outputs
1553935185.638 * * * * [points]: Sampling 69 additional inputs, on iter 2 have 187 / 256
1553935185.638 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
1553935185.641 * * * * [points]: Setting MPFR precision to 64
1553935185.642 * * * * [points]: Setting MPFR precision to 320
1553935185.643 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
1553935185.646 * * * * [points]: Setting MPFR precision to 64
1553935185.647 * * * * [points]: Setting MPFR precision to 320
1553935185.648 * * * * [points]: Computing exacts for 69 points
1553935185.651 * * * * [points]: Setting MPFR precision to 64
1553935185.655 * * * * [points]: Setting MPFR precision to 320
1553935185.659 * * * * [points]: Filtering points with unrepresentable outputs
1553935185.660 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
1553935185.660 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1553935185.663 * * * * [points]: Setting MPFR precision to 64
1553935185.664 * * * * [points]: Setting MPFR precision to 320
1553935185.665 * * * * [points]: Computing exacts for 37 points
1553935185.683 * * * * [points]: Setting MPFR precision to 64
1553935185.685 * * * * [points]: Setting MPFR precision to 320
1553935185.687 * * * * [points]: Filtering points with unrepresentable outputs
1553935185.688 * * * * [points]: Sampling 20 additional inputs, on iter 4 have 236 / 256
1553935185.688 * * * * [points]: Computing exacts for 20 points
1553935185.693 * * * * [points]: Setting MPFR precision to 64
1553935185.695 * * * * [points]: Setting MPFR precision to 320
1553935185.697 * * * * [points]: Filtering points with unrepresentable outputs
1553935185.698 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
1553935185.698 * * * * [points]: Computing exacts for 6 points
1553935185.704 * * * * [points]: Setting MPFR precision to 64
1553935185.705 * * * * [points]: Setting MPFR precision to 320
1553935185.705 * * * * [points]: Filtering points with unrepresentable outputs
1553935185.705 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
1553935185.705 * * * * [points]: Computing exacts for 4 points
1553935185.710 * * * * [points]: Setting MPFR precision to 64
1553935185.711 * * * * [points]: Setting MPFR precision to 320
1553935185.711 * * * * [points]: Filtering points with unrepresentable outputs
1553935185.712 * * * * [points]: Sampled 256 points with exact outputs
1553935185.712 * * * [progress]: [2/2] Setting up program.
1553935185.748 * [progress]: [Phase 2 of 3] Improving.
1553935185.748 * * * * [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))))>
1553935185.749 * [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)))
1553935185.749 * * [simplify]: iters left: 5 (12 enodes)
1553935185.755 * * [simplify]: iters left: 4 (43 enodes)
1553935185.768 * * [simplify]: iters left: 3 (170 enodes)
1553935185.830 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935185.830 * * [simplify]: Extracting #1: cost 78 inf + 0
1553935185.831 * * [simplify]: Extracting #2: cost 269 inf + 322
1553935185.832 * * [simplify]: Extracting #3: cost 284 inf + 8772
1553935185.836 * * [simplify]: Extracting #4: cost 196 inf + 144483
1553935185.849 * * [simplify]: Extracting #5: cost 27 inf + 409616
1553935185.865 * * [simplify]: Extracting #6: cost 0 inf + 414512
1553935185.885 * * [simplify]: Extracting #7: cost 0 inf + 407040
1553935185.902 * [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))
1553935185.902 * [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)))
1553935185.947 * * [progress]: iteration 1 / 4
1553935185.948 * * * [progress]: picking best candidate
1553935185.991 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935185.991 * * * [progress]: localizing error
1553935186.281 * * * [progress]: generating rewritten candidates
1553935186.281 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553935186.302 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553935186.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1553935186.313 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1553935186.319 * * * [progress]: generating series expansions
1553935186.319 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553935186.319 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553935186.319 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1553935186.319 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1553935186.319 * * * [progress]: simplifying candidates
1553935186.319 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.319 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
1553935186.319 * * [simplify]: iters left: 2 (4 enodes)
1553935186.321 * * [simplify]: iters left: 1 (8 enodes)
1553935186.322 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.322 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935186.322 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935186.322 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935186.322 * * [simplify]: Extracting #4: cost 0 inf + 325
1553935186.322 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1553935186.322 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935186.322 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.322 * [simplify]: Simplifying (*.p16 i i)
1553935186.322 * * [simplify]: iters left: 1 (2 enodes)
1553935186.323 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.323 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935186.323 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935186.323 * * [simplify]: Extracting #3: cost 0 inf + 322
1553935186.323 * [simplify]: Simplified to (*.p16 i i)
1553935186.323 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935186.323 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.323 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1553935186.323 * * [simplify]: iters left: 3 (6 enodes)
1553935186.325 * * [simplify]: iters left: 2 (17 enodes)
1553935186.328 * * [simplify]: iters left: 1 (32 enodes)
1553935186.336 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.336 * * [simplify]: Extracting #1: cost 11 inf + 0
1553935186.336 * * [simplify]: Extracting #2: cost 13 inf + 1
1553935186.336 * * [simplify]: Extracting #3: cost 4 inf + 2294
1553935186.336 * * [simplify]: Extracting #4: cost 0 inf + 4582
1553935186.337 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1553935186.337 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935186.337 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1553935186.337 * * [simplify]: iters left: 3 (6 enodes)
1553935186.339 * * [simplify]: iters left: 2 (17 enodes)
1553935186.342 * * [simplify]: iters left: 1 (32 enodes)
1553935186.350 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.350 * * [simplify]: Extracting #1: cost 11 inf + 0
1553935186.350 * * [simplify]: Extracting #2: cost 13 inf + 1
1553935186.350 * * [simplify]: Extracting #3: cost 4 inf + 2294
1553935186.350 * * [simplify]: Extracting #4: cost 0 inf + 4582
1553935186.350 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1553935186.350 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935186.351 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1553935186.351 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935186.351 * * [simplify]: iters left: 3 (7 enodes)
1553935186.353 * * [simplify]: iters left: 2 (19 enodes)
1553935186.356 * * [simplify]: iters left: 1 (37 enodes)
1553935186.364 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.364 * * [simplify]: Extracting #1: cost 10 inf + 0
1553935186.364 * * [simplify]: Extracting #2: cost 21 inf + 0
1553935186.364 * * [simplify]: Extracting #3: cost 27 inf + 165
1553935186.364 * * [simplify]: Extracting #4: cost 27 inf + 167
1553935186.364 * * [simplify]: Extracting #5: cost 18 inf + 4946
1553935186.365 * * [simplify]: Extracting #6: cost 0 inf + 22111
1553935186.366 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935186.366 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935186.366 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))>
1553935186.366 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1553935186.366 * * [simplify]: iters left: 3 (6 enodes)
1553935186.368 * * [simplify]: iters left: 2 (17 enodes)
1553935186.371 * * [simplify]: iters left: 1 (32 enodes)
1553935186.381 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.381 * * [simplify]: Extracting #1: cost 11 inf + 0
1553935186.381 * * [simplify]: Extracting #2: cost 13 inf + 1
1553935186.382 * * [simplify]: Extracting #3: cost 4 inf + 2294
1553935186.382 * * [simplify]: Extracting #4: cost 0 inf + 4582
1553935186.382 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1553935186.382 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))
1553935186.382 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.382 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1553935186.383 * * [simplify]: iters left: 4 (8 enodes)
1553935186.385 * * [simplify]: iters left: 3 (18 enodes)
1553935186.388 * * [simplify]: iters left: 2 (25 enodes)
1553935186.392 * * [simplify]: iters left: 1 (29 enodes)
1553935186.396 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.396 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935186.396 * * [simplify]: Extracting #2: cost 11 inf + 0
1553935186.396 * * [simplify]: Extracting #3: cost 8 inf + 324
1553935186.397 * * [simplify]: Extracting #4: cost 7 inf + 325
1553935186.397 * * [simplify]: Extracting #5: cost 0 inf + 3578
1553935186.397 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1553935186.397 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1553935186.397 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))>
1553935186.397 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1553935186.397 * * [simplify]: iters left: 2 (3 enodes)
1553935186.398 * * [simplify]: iters left: 1 (9 enodes)
1553935186.400 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.400 * * [simplify]: Extracting #1: cost 4 inf + 0
1553935186.400 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935186.400 * * [simplify]: Extracting #3: cost 0 inf + 1604
1553935186.400 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1553935186.400 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))
1553935186.400 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935186.400 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935186.400 * * [simplify]: iters left: 4 (10 enodes)
1553935186.403 * * [simplify]: iters left: 3 (25 enodes)
1553935186.408 * * [simplify]: iters left: 2 (51 enodes)
1553935186.423 * * [simplify]: iters left: 1 (112 enodes)
1553935186.469 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.469 * * [simplify]: Extracting #1: cost 57 inf + 0
1553935186.470 * * [simplify]: Extracting #2: cost 185 inf + 763
1553935186.471 * * [simplify]: Extracting #3: cost 127 inf + 36834
1553935186.474 * * [simplify]: Extracting #4: cost 71 inf + 75466
1553935186.481 * * [simplify]: Extracting #5: cost 6 inf + 143781
1553935186.494 * * [simplify]: Extracting #6: cost 0 inf + 152919
1553935186.507 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1553935186.507 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935186.507 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935186.507 * * [simplify]: iters left: 4 (10 enodes)
1553935186.513 * * [simplify]: iters left: 3 (31 enodes)
1553935186.526 * * [simplify]: iters left: 2 (84 enodes)
1553935186.564 * * [simplify]: iters left: 1 (243 enodes)
1553935186.784 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.784 * * [simplify]: Extracting #1: cost 69 inf + 0
1553935186.784 * * [simplify]: Extracting #2: cost 292 inf + 763
1553935186.789 * * [simplify]: Extracting #3: cost 290 inf + 19278
1553935186.794 * * [simplify]: Extracting #4: cost 211 inf + 140467
1553935186.808 * * [simplify]: Extracting #5: cost 50 inf + 372763
1553935186.826 * * [simplify]: Extracting #6: cost 0 inf + 397205
1553935186.843 * * [simplify]: Extracting #7: cost 0 inf + 392365
1553935186.863 * * [simplify]: Extracting #8: cost 0 inf + 392245
1553935186.895 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1553935186.895 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
1553935186.895 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935186.895 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935186.895 * * [simplify]: iters left: 3 (7 enodes)
1553935186.899 * * [simplify]: iters left: 2 (13 enodes)
1553935186.903 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.903 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935186.903 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935186.903 * * [simplify]: Extracting #3: cost 4 inf + 3
1553935186.903 * * [simplify]: Extracting #4: cost 3 inf + 4
1553935186.904 * * [simplify]: Extracting #5: cost 0 inf + 690
1553935186.904 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935186.904 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935186.904 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935186.904 * * [simplify]: iters left: 3 (7 enodes)
1553935186.907 * * [simplify]: iters left: 2 (19 enodes)
1553935186.915 * * [simplify]: iters left: 1 (37 enodes)
1553935186.927 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935186.927 * * [simplify]: Extracting #1: cost 10 inf + 0
1553935186.927 * * [simplify]: Extracting #2: cost 21 inf + 0
1553935186.928 * * [simplify]: Extracting #3: cost 27 inf + 165
1553935186.928 * * [simplify]: Extracting #4: cost 27 inf + 167
1553935186.928 * * [simplify]: Extracting #5: cost 18 inf + 4946
1553935186.930 * * [simplify]: Extracting #6: cost 0 inf + 22111
1553935186.931 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935186.931 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1553935186.932 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1553935186.932 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1553935186.932 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.932 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (*.p16 i (*.p16 i i))) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.932 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.932 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935186.932 * [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)))
1553935186.932 * * [simplify]: iters left: 5 (12 enodes)
1553935186.938 * * [simplify]: iters left: 4 (43 enodes)
1553935186.950 * * [simplify]: iters left: 3 (170 enodes)
1553935187.044 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935187.044 * * [simplify]: Extracting #1: cost 78 inf + 0
1553935187.046 * * [simplify]: Extracting #2: cost 269 inf + 322
1553935187.048 * * [simplify]: Extracting #3: cost 284 inf + 8772
1553935187.055 * * [simplify]: Extracting #4: cost 196 inf + 144483
1553935187.078 * * [simplify]: Extracting #5: cost 27 inf + 409616
1553935187.105 * * [simplify]: Extracting #6: cost 0 inf + 414512
1553935187.137 * * [simplify]: Extracting #7: cost 0 inf + 407040
1553935187.164 * [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))
1553935187.165 * [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)))
1553935187.165 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935187.165 * [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)))
1553935187.165 * * [simplify]: iters left: 5 (12 enodes)
1553935187.171 * * [simplify]: iters left: 4 (43 enodes)
1553935187.190 * * [simplify]: iters left: 3 (170 enodes)
1553935187.283 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935187.283 * * [simplify]: Extracting #1: cost 78 inf + 0
1553935187.285 * * [simplify]: Extracting #2: cost 269 inf + 322
1553935187.287 * * [simplify]: Extracting #3: cost 284 inf + 8772
1553935187.293 * * [simplify]: Extracting #4: cost 196 inf + 144483
1553935187.309 * * [simplify]: Extracting #5: cost 27 inf + 409616
1553935187.333 * * [simplify]: Extracting #6: cost 0 inf + 414512
1553935187.358 * * [simplify]: Extracting #7: cost 0 inf + 407040
1553935187.385 * [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))
1553935187.385 * [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)))
1553935187.385 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935187.385 * [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)))
1553935187.386 * * [simplify]: iters left: 5 (12 enodes)
1553935187.391 * * [simplify]: iters left: 4 (43 enodes)
1553935187.407 * * [simplify]: iters left: 3 (170 enodes)
1553935187.468 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935187.469 * * [simplify]: Extracting #1: cost 78 inf + 0
1553935187.469 * * [simplify]: Extracting #2: cost 269 inf + 322
1553935187.470 * * [simplify]: Extracting #3: cost 284 inf + 8772
1553935187.474 * * [simplify]: Extracting #4: cost 196 inf + 144483
1553935187.487 * * [simplify]: Extracting #5: cost 27 inf + 409616
1553935187.503 * * [simplify]: Extracting #6: cost 0 inf + 414512
1553935187.520 * * [simplify]: Extracting #7: cost 0 inf + 407040
1553935187.540 * [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))
1553935187.541 * [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)))
1553935187.541 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935187.541 * [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)))
1553935187.541 * * [simplify]: iters left: 5 (12 enodes)
1553935187.547 * * [simplify]: iters left: 4 (43 enodes)
1553935187.563 * * [simplify]: iters left: 3 (170 enodes)
1553935187.647 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935187.647 * * [simplify]: Extracting #1: cost 78 inf + 0
1553935187.648 * * [simplify]: Extracting #2: cost 269 inf + 322
1553935187.650 * * [simplify]: Extracting #3: cost 284 inf + 8772
1553935187.656 * * [simplify]: Extracting #4: cost 196 inf + 144483
1553935187.676 * * [simplify]: Extracting #5: cost 27 inf + 409616
1553935187.701 * * [simplify]: Extracting #6: cost 0 inf + 414512
1553935187.718 * * [simplify]: Extracting #7: cost 0 inf + 407040
1553935187.734 * [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))
1553935187.734 * [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)))
1553935187.735 * * * [progress]: adding candidates to table
1553935188.688 * * [progress]: iteration 2 / 4
1553935188.688 * * * [progress]: picking best candidate
1553935188.993 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935188.993 * * * [progress]: localizing error
1553935189.328 * * * [progress]: generating rewritten candidates
1553935189.328 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1553935189.338 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553935189.344 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1553935189.352 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1553935189.355 * * * [progress]: generating series expansions
1553935189.355 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1553935189.355 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553935189.355 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1553935189.355 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1553935189.356 * * * [progress]: simplifying candidates
1553935189.356 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935189.356 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935189.356 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
1553935189.356 * * [simplify]: iters left: 2 (4 enodes)
1553935189.358 * * [simplify]: iters left: 1 (8 enodes)
1553935189.360 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.360 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935189.360 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935189.360 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935189.360 * * [simplify]: Extracting #4: cost 0 inf + 325
1553935189.360 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1553935189.360 * [simplify]: Simplified (2 1 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935189.360 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (/.p16 (*.p16 (real->posit16 2) i) i) (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935189.360 * [simplify]: Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
1553935189.360 * * [simplify]: iters left: 3 (5 enodes)
1553935189.362 * * [simplify]: iters left: 2 (11 enodes)
1553935189.364 * * [simplify]: iters left: 1 (15 enodes)
1553935189.366 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.366 * * [simplify]: Extracting #1: cost 7 inf + 0
1553935189.367 * * [simplify]: Extracting #2: cost 5 inf + 443
1553935189.367 * * [simplify]: Extracting #3: cost 1 inf + 1329
1553935189.367 * * [simplify]: Extracting #4: cost 0 inf + 1211
1553935189.367 * [simplify]: Simplified to (real->posit16 2)
1553935189.367 * [simplify]: Simplified (2 1 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935189.367 * [simplify]: Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
1553935189.367 * * [simplify]: iters left: 3 (5 enodes)
1553935189.368 * * [simplify]: iters left: 2 (11 enodes)
1553935189.370 * * [simplify]: iters left: 1 (15 enodes)
1553935189.373 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.373 * * [simplify]: Extracting #1: cost 7 inf + 0
1553935189.373 * * [simplify]: Extracting #2: cost 5 inf + 443
1553935189.373 * * [simplify]: Extracting #3: cost 1 inf + 1329
1553935189.373 * * [simplify]: Extracting #4: cost 0 inf + 1211
1553935189.373 * [simplify]: Simplified to (real->posit16 2)
1553935189.373 * [simplify]: Simplified (2 1 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (/.p16 (*.p16 (real->posit16 2) i) i) (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935189.374 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1553935189.374 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935189.374 * * [simplify]: iters left: 3 (7 enodes)
1553935189.376 * * [simplify]: iters left: 2 (19 enodes)
1553935189.379 * * [simplify]: iters left: 1 (37 enodes)
1553935189.386 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.386 * * [simplify]: Extracting #1: cost 10 inf + 0
1553935189.387 * * [simplify]: Extracting #2: cost 21 inf + 0
1553935189.387 * * [simplify]: Extracting #3: cost 27 inf + 165
1553935189.387 * * [simplify]: Extracting #4: cost 27 inf + 167
1553935189.387 * * [simplify]: Extracting #5: cost 18 inf + 4946
1553935189.388 * * [simplify]: Extracting #6: cost 0 inf + 22111
1553935189.390 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935189.390 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935189.390 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 i i))))>
1553935189.390 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1553935189.390 * * [simplify]: iters left: 4 (7 enodes)
1553935189.393 * * [simplify]: iters left: 3 (21 enodes)
1553935189.402 * * [simplify]: iters left: 2 (56 enodes)
1553935189.420 * * [simplify]: iters left: 1 (131 enodes)
1553935189.478 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.478 * * [simplify]: Extracting #1: cost 24 inf + 0
1553935189.478 * * [simplify]: Extracting #2: cost 36 inf + 322
1553935189.478 * * [simplify]: Extracting #3: cost 26 inf + 3816
1553935189.481 * * [simplify]: Extracting #4: cost 2 inf + 23105
1553935189.482 * * [simplify]: Extracting #5: cost 0 inf + 24388
1553935189.483 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 2) (real->posit16 2)))
1553935189.483 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 2) (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 i i))))
1553935189.483 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)))))>
1553935189.484 * [simplify]: Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
1553935189.484 * * [simplify]: iters left: 4 (6 enodes)
1553935189.485 * * [simplify]: iters left: 3 (14 enodes)
1553935189.488 * * [simplify]: iters left: 2 (24 enodes)
1553935189.493 * * [simplify]: iters left: 1 (43 enodes)
1553935189.511 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.511 * * [simplify]: Extracting #1: cost 17 inf + 0
1553935189.511 * * [simplify]: Extracting #2: cost 34 inf + 1
1553935189.511 * * [simplify]: Extracting #3: cost 27 inf + 2848
1553935189.512 * * [simplify]: Extracting #4: cost 13 inf + 9234
1553935189.513 * * [simplify]: Extracting #5: cost 3 inf + 16295
1553935189.514 * * [simplify]: Extracting #6: cost 0 inf + 18782
1553935189.515 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1553935189.516 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)))))
1553935189.516 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935189.516 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1553935189.516 * * [simplify]: iters left: 4 (8 enodes)
1553935189.519 * * [simplify]: iters left: 3 (18 enodes)
1553935189.523 * * [simplify]: iters left: 2 (25 enodes)
1553935189.526 * * [simplify]: iters left: 1 (29 enodes)
1553935189.531 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.531 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935189.531 * * [simplify]: Extracting #2: cost 11 inf + 0
1553935189.531 * * [simplify]: Extracting #3: cost 8 inf + 324
1553935189.531 * * [simplify]: Extracting #4: cost 7 inf + 325
1553935189.531 * * [simplify]: Extracting #5: cost 0 inf + 3578
1553935189.532 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1553935189.532 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1553935189.532 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))>
1553935189.532 * [simplify]: Simplifying (*.p16 i i)
1553935189.532 * * [simplify]: iters left: 1 (2 enodes)
1553935189.532 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.533 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935189.533 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935189.533 * * [simplify]: Extracting #3: cost 0 inf + 322
1553935189.533 * [simplify]: Simplified to (*.p16 i i)
1553935189.533 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))
1553935189.533 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935189.533 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935189.533 * * [simplify]: iters left: 5 (11 enodes)
1553935189.536 * * [simplify]: iters left: 4 (29 enodes)
1553935189.542 * * [simplify]: iters left: 3 (79 enodes)
1553935189.562 * * [simplify]: iters left: 2 (232 enodes)
1553935189.813 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.813 * * [simplify]: Extracting #1: cost 69 inf + 0
1553935189.814 * * [simplify]: Extracting #2: cost 132 inf + 322
1553935189.814 * * [simplify]: Extracting #3: cost 124 inf + 6535
1553935189.816 * * [simplify]: Extracting #4: cost 75 inf + 59012
1553935189.822 * * [simplify]: Extracting #5: cost 7 inf + 134884
1553935189.833 * * [simplify]: Extracting #6: cost 0 inf + 139219
1553935189.844 * * [simplify]: Extracting #7: cost 0 inf + 138896
1553935189.851 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 2))))
1553935189.851 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 2)))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935189.851 * [simplify]: Simplifying (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935189.851 * * [simplify]: iters left: 4 (9 enodes)
1553935189.854 * * [simplify]: iters left: 3 (23 enodes)
1553935189.860 * * [simplify]: iters left: 2 (47 enodes)
1553935189.877 * * [simplify]: iters left: 1 (130 enodes)
1553935189.975 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935189.975 * * [simplify]: Extracting #1: cost 34 inf + 0
1553935189.976 * * [simplify]: Extracting #2: cost 121 inf + 322
1553935189.977 * * [simplify]: Extracting #3: cost 155 inf + 322
1553935189.978 * * [simplify]: Extracting #4: cost 158 inf + 1609
1553935189.981 * * [simplify]: Extracting #5: cost 122 inf + 37680
1553935189.994 * * [simplify]: Extracting #6: cost 7 inf + 183205
1553935190.007 * * [simplify]: Extracting #7: cost 0 inf + 192585
1553935190.024 * [simplify]: Simplified to (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935190.024 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935190.024 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935190.024 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935190.024 * * [simplify]: iters left: 5 (10 enodes)
1553935190.028 * * [simplify]: iters left: 4 (22 enodes)
1553935190.035 * * [simplify]: iters left: 3 (39 enodes)
1553935190.048 * * [simplify]: iters left: 2 (100 enodes)
1553935190.137 * * [simplify]: iters left: 1 (391 enodes)
1553935191.061 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.061 * * [simplify]: Extracting #1: cost 65 inf + 0
1553935191.063 * * [simplify]: Extracting #2: cost 229 inf + 442
1553935191.065 * * [simplify]: Extracting #3: cost 217 inf + 13851
1553935191.072 * * [simplify]: Extracting #4: cost 93 inf + 128360
1553935191.089 * * [simplify]: Extracting #5: cost 5 inf + 243742
1553935191.107 * * [simplify]: Extracting #6: cost 0 inf + 250114
1553935191.124 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1553935191.124 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935191.124 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935191.124 * * [simplify]: iters left: 5 (10 enodes)
1553935191.128 * * [simplify]: iters left: 4 (28 enodes)
1553935191.141 * * [simplify]: iters left: 3 (72 enodes)
1553935191.166 * * [simplify]: iters left: 2 (214 enodes)
1553935191.429 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.429 * * [simplify]: Extracting #1: cost 61 inf + 0
1553935191.430 * * [simplify]: Extracting #2: cost 251 inf + 1
1553935191.432 * * [simplify]: Extracting #3: cost 264 inf + 9678
1553935191.438 * * [simplify]: Extracting #4: cost 213 inf + 79781
1553935191.458 * * [simplify]: Extracting #5: cost 49 inf + 282271
1553935191.482 * * [simplify]: Extracting #6: cost 1 inf + 352514
1553935191.508 * * [simplify]: Extracting #7: cost 0 inf + 354277
1553935191.532 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935191.532 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1553935191.532 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.533 * [simplify]: Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
1553935191.533 * * [simplify]: iters left: 3 (5 enodes)
1553935191.535 * * [simplify]: iters left: 2 (11 enodes)
1553935191.538 * * [simplify]: iters left: 1 (15 enodes)
1553935191.543 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.543 * * [simplify]: Extracting #1: cost 7 inf + 0
1553935191.543 * * [simplify]: Extracting #2: cost 5 inf + 443
1553935191.543 * * [simplify]: Extracting #3: cost 1 inf + 1329
1553935191.543 * * [simplify]: Extracting #4: cost 0 inf + 1211
1553935191.543 * [simplify]: Simplified to (real->posit16 2)
1553935191.543 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.543 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.543 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 i i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.544 * [simplify]: Simplifying (*.p16 i i)
1553935191.544 * * [simplify]: iters left: 1 (2 enodes)
1553935191.544 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.544 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935191.544 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935191.544 * * [simplify]: Extracting #3: cost 0 inf + 322
1553935191.544 * [simplify]: Simplified to (*.p16 i i)
1553935191.544 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 i i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.545 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.545 * [simplify]: Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
1553935191.545 * * [simplify]: iters left: 4 (6 enodes)
1553935191.547 * * [simplify]: iters left: 3 (14 enodes)
1553935191.551 * * [simplify]: iters left: 2 (24 enodes)
1553935191.559 * * [simplify]: iters left: 1 (43 enodes)
1553935191.589 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.589 * * [simplify]: Extracting #1: cost 17 inf + 0
1553935191.589 * * [simplify]: Extracting #2: cost 34 inf + 1
1553935191.589 * * [simplify]: Extracting #3: cost 27 inf + 2848
1553935191.590 * * [simplify]: Extracting #4: cost 13 inf + 9234
1553935191.591 * * [simplify]: Extracting #5: cost 3 inf + 16295
1553935191.592 * * [simplify]: Extracting #6: cost 0 inf + 18782
1553935191.593 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1553935191.594 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.594 * [simplify]: Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
1553935191.594 * * [simplify]: iters left: 4 (6 enodes)
1553935191.596 * * [simplify]: iters left: 3 (14 enodes)
1553935191.600 * * [simplify]: iters left: 2 (24 enodes)
1553935191.607 * * [simplify]: iters left: 1 (43 enodes)
1553935191.635 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.635 * * [simplify]: Extracting #1: cost 17 inf + 0
1553935191.635 * * [simplify]: Extracting #2: cost 34 inf + 1
1553935191.636 * * [simplify]: Extracting #3: cost 27 inf + 2848
1553935191.636 * * [simplify]: Extracting #4: cost 13 inf + 9234
1553935191.637 * * [simplify]: Extracting #5: cost 3 inf + 16295
1553935191.638 * * [simplify]: Extracting #6: cost 0 inf + 18782
1553935191.640 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1553935191.640 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.640 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935191.640 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935191.640 * * [simplify]: iters left: 3 (7 enodes)
1553935191.643 * * [simplify]: iters left: 2 (13 enodes)
1553935191.647 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.647 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935191.647 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935191.647 * * [simplify]: Extracting #3: cost 4 inf + 3
1553935191.647 * * [simplify]: Extracting #4: cost 3 inf + 4
1553935191.647 * * [simplify]: Extracting #5: cost 0 inf + 690
1553935191.647 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935191.647 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935191.648 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935191.648 * * [simplify]: iters left: 3 (7 enodes)
1553935191.651 * * [simplify]: iters left: 2 (19 enodes)
1553935191.657 * * [simplify]: iters left: 1 (37 enodes)
1553935191.671 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.672 * * [simplify]: Extracting #1: cost 10 inf + 0
1553935191.672 * * [simplify]: Extracting #2: cost 21 inf + 0
1553935191.672 * * [simplify]: Extracting #3: cost 27 inf + 165
1553935191.672 * * [simplify]: Extracting #4: cost 27 inf + 167
1553935191.672 * * [simplify]: Extracting #5: cost 18 inf + 4946
1553935191.674 * * [simplify]: Extracting #6: cost 0 inf + 22111
1553935191.675 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935191.675 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1553935191.675 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1553935191.675 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1553935191.675 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.676 * [simplify]: Simplifying (*.p16 i i)
1553935191.676 * * [simplify]: iters left: 1 (2 enodes)
1553935191.676 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.676 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935191.677 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935191.677 * * [simplify]: Extracting #3: cost 0 inf + 322
1553935191.677 * [simplify]: Simplified to (*.p16 i i)
1553935191.677 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.677 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.677 * [simplify]: Simplifying (*.p16 i i)
1553935191.677 * * [simplify]: iters left: 1 (2 enodes)
1553935191.678 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.678 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935191.678 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935191.678 * * [simplify]: Extracting #3: cost 0 inf + 322
1553935191.678 * [simplify]: Simplified to (*.p16 i i)
1553935191.678 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.678 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.678 * [simplify]: Simplifying (*.p16 i i)
1553935191.678 * * [simplify]: iters left: 1 (2 enodes)
1553935191.679 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.679 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935191.679 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935191.679 * * [simplify]: Extracting #3: cost 0 inf + 322
1553935191.679 * [simplify]: Simplified to (*.p16 i i)
1553935191.679 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.679 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1553935191.679 * [simplify]: Simplifying (*.p16 i i)
1553935191.679 * * [simplify]: iters left: 1 (2 enodes)
1553935191.680 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935191.680 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935191.680 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935191.680 * * [simplify]: Extracting #3: cost 0 inf + 322
1553935191.680 * [simplify]: Simplified to (*.p16 i i)
1553935191.680 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1553935191.680 * * * [progress]: adding candidates to table
1553935192.964 * * [progress]: iteration 3 / 4
1553935192.964 * * * [progress]: picking best candidate
1553935193.334 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935193.335 * * * [progress]: localizing error
1553935193.744 * * * [progress]: generating rewritten candidates
1553935193.744 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553935193.749 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553935193.753 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1553935193.757 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1553935193.761 * * * [progress]: generating series expansions
1553935193.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553935193.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553935193.761 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1553935193.761 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1553935193.761 * * * [progress]: simplifying candidates
1553935193.761 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935193.761 * [simplify]: Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
1553935193.761 * * [simplify]: iters left: 3 (5 enodes)
1553935193.765 * * [simplify]: iters left: 2 (11 enodes)
1553935193.768 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935193.768 * * [simplify]: Extracting #1: cost 4 inf + 0
1553935193.768 * * [simplify]: Extracting #2: cost 4 inf + 1
1553935193.768 * * [simplify]: Extracting #3: cost 5 inf + 1
1553935193.768 * * [simplify]: Extracting #4: cost 0 inf + 1529
1553935193.769 * [simplify]: Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
1553935193.769 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935193.769 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935193.769 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))>
1553935193.769 * [simplify]: Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
1553935193.769 * * [simplify]: iters left: 3 (5 enodes)
1553935193.771 * * [simplify]: iters left: 2 (11 enodes)
1553935193.774 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935193.774 * * [simplify]: Extracting #1: cost 4 inf + 0
1553935193.774 * * [simplify]: Extracting #2: cost 4 inf + 1
1553935193.774 * * [simplify]: Extracting #3: cost 5 inf + 1
1553935193.774 * * [simplify]: Extracting #4: cost 0 inf + 1529
1553935193.775 * [simplify]: Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
1553935193.775 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))
1553935193.775 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935193.775 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935193.775 * * [simplify]: iters left: 3 (7 enodes)
1553935193.778 * * [simplify]: iters left: 2 (13 enodes)
1553935193.782 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935193.782 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935193.782 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935193.782 * * [simplify]: Extracting #3: cost 4 inf + 3
1553935193.782 * * [simplify]: Extracting #4: cost 3 inf + 4
1553935193.782 * * [simplify]: Extracting #5: cost 0 inf + 690
1553935193.782 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935193.782 * [simplify]: Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1553935193.782 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i)))))>
1553935193.782 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935193.783 * [simplify]: Simplifying (real->posit16 2)
1553935193.783 * * [simplify]: iters left: 1 (2 enodes)
1553935193.784 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935193.784 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935193.784 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935193.784 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935193.784 * [simplify]: Simplified to (real->posit16 2)
1553935193.784 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935193.784 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935193.784 * [simplify]: Simplifying (real->posit16 2)
1553935193.784 * * [simplify]: iters left: 1 (2 enodes)
1553935193.785 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935193.785 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935193.785 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935193.785 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935193.785 * [simplify]: Simplified to (real->posit16 2)
1553935193.785 * [simplify]: Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935193.786 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935193.786 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935193.786 * * [simplify]: iters left: 5 (10 enodes)
1553935193.790 * * [simplify]: iters left: 4 (22 enodes)
1553935193.796 * * [simplify]: iters left: 3 (39 enodes)
1553935193.808 * * [simplify]: iters left: 2 (100 enodes)
1553935193.891 * * [simplify]: iters left: 1 (391 enodes)
1553935194.710 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935194.710 * * [simplify]: Extracting #1: cost 65 inf + 0
1553935194.711 * * [simplify]: Extracting #2: cost 229 inf + 442
1553935194.713 * * [simplify]: Extracting #3: cost 217 inf + 13851
1553935194.718 * * [simplify]: Extracting #4: cost 93 inf + 128360
1553935194.730 * * [simplify]: Extracting #5: cost 5 inf + 243742
1553935194.752 * * [simplify]: Extracting #6: cost 0 inf + 250114
1553935194.772 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1553935194.772 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935194.773 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935194.773 * * [simplify]: iters left: 5 (10 enodes)
1553935194.777 * * [simplify]: iters left: 4 (28 enodes)
1553935194.787 * * [simplify]: iters left: 3 (72 enodes)
1553935194.817 * * [simplify]: iters left: 2 (214 enodes)
1553935195.088 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935195.088 * * [simplify]: Extracting #1: cost 61 inf + 0
1553935195.090 * * [simplify]: Extracting #2: cost 251 inf + 1
1553935195.092 * * [simplify]: Extracting #3: cost 264 inf + 9678
1553935195.098 * * [simplify]: Extracting #4: cost 213 inf + 79781
1553935195.109 * * [simplify]: Extracting #5: cost 49 inf + 282271
1553935195.126 * * [simplify]: Extracting #6: cost 1 inf + 352514
1553935195.147 * * [simplify]: Extracting #7: cost 0 inf + 354277
1553935195.168 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935195.168 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1553935195.168 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935195.169 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935195.169 * * [simplify]: iters left: 5 (10 enodes)
1553935195.174 * * [simplify]: iters left: 4 (22 enodes)
1553935195.182 * * [simplify]: iters left: 3 (39 enodes)
1553935195.199 * * [simplify]: iters left: 2 (100 enodes)
1553935195.302 * * [simplify]: iters left: 1 (391 enodes)
1553935196.348 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935196.349 * * [simplify]: Extracting #1: cost 65 inf + 0
1553935196.350 * * [simplify]: Extracting #2: cost 229 inf + 442
1553935196.353 * * [simplify]: Extracting #3: cost 217 inf + 13851
1553935196.364 * * [simplify]: Extracting #4: cost 93 inf + 128360
1553935196.386 * * [simplify]: Extracting #5: cost 5 inf + 243742
1553935196.411 * * [simplify]: Extracting #6: cost 0 inf + 250114
1553935196.436 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1553935196.436 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935196.437 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935196.437 * * [simplify]: iters left: 5 (10 enodes)
1553935196.442 * * [simplify]: iters left: 4 (28 enodes)
1553935196.459 * * [simplify]: iters left: 3 (72 enodes)
1553935196.493 * * [simplify]: iters left: 2 (214 enodes)
1553935196.771 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935196.771 * * [simplify]: Extracting #1: cost 61 inf + 0
1553935196.772 * * [simplify]: Extracting #2: cost 251 inf + 1
1553935196.774 * * [simplify]: Extracting #3: cost 264 inf + 9678
1553935196.780 * * [simplify]: Extracting #4: cost 213 inf + 79781
1553935196.801 * * [simplify]: Extracting #5: cost 49 inf + 282271
1553935196.832 * * [simplify]: Extracting #6: cost 1 inf + 352514
1553935196.856 * * [simplify]: Extracting #7: cost 0 inf + 354277
1553935196.881 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935196.881 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1553935196.881 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935196.881 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935196.882 * * [simplify]: iters left: 5 (10 enodes)
1553935196.886 * * [simplify]: iters left: 4 (22 enodes)
1553935196.894 * * [simplify]: iters left: 3 (39 enodes)
1553935196.910 * * [simplify]: iters left: 2 (100 enodes)
1553935197.010 * * [simplify]: iters left: 1 (391 enodes)
1553935197.994 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935197.995 * * [simplify]: Extracting #1: cost 65 inf + 0
1553935197.996 * * [simplify]: Extracting #2: cost 229 inf + 442
1553935197.999 * * [simplify]: Extracting #3: cost 217 inf + 13851
1553935198.011 * * [simplify]: Extracting #4: cost 93 inf + 128360
1553935198.023 * * [simplify]: Extracting #5: cost 5 inf + 243742
1553935198.035 * * [simplify]: Extracting #6: cost 0 inf + 250114
1553935198.048 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1553935198.048 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935198.048 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935198.048 * * [simplify]: iters left: 5 (10 enodes)
1553935198.051 * * [simplify]: iters left: 4 (28 enodes)
1553935198.058 * * [simplify]: iters left: 3 (72 enodes)
1553935198.076 * * [simplify]: iters left: 2 (214 enodes)
1553935198.299 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935198.299 * * [simplify]: Extracting #1: cost 61 inf + 0
1553935198.300 * * [simplify]: Extracting #2: cost 251 inf + 1
1553935198.301 * * [simplify]: Extracting #3: cost 264 inf + 9678
1553935198.305 * * [simplify]: Extracting #4: cost 213 inf + 79781
1553935198.315 * * [simplify]: Extracting #5: cost 49 inf + 282271
1553935198.331 * * [simplify]: Extracting #6: cost 1 inf + 352514
1553935198.349 * * [simplify]: Extracting #7: cost 0 inf + 354277
1553935198.365 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935198.365 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1553935198.365 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935198.365 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935198.365 * * [simplify]: iters left: 5 (10 enodes)
1553935198.369 * * [simplify]: iters left: 4 (22 enodes)
1553935198.373 * * [simplify]: iters left: 3 (39 enodes)
1553935198.383 * * [simplify]: iters left: 2 (100 enodes)
1553935198.468 * * [simplify]: iters left: 1 (391 enodes)
1553935199.261 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935199.261 * * [simplify]: Extracting #1: cost 65 inf + 0
1553935199.262 * * [simplify]: Extracting #2: cost 229 inf + 442
1553935199.263 * * [simplify]: Extracting #3: cost 217 inf + 13851
1553935199.269 * * [simplify]: Extracting #4: cost 93 inf + 128360
1553935199.281 * * [simplify]: Extracting #5: cost 5 inf + 243742
1553935199.302 * * [simplify]: Extracting #6: cost 0 inf + 250114
1553935199.315 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
1553935199.315 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935199.315 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935199.315 * * [simplify]: iters left: 5 (10 enodes)
1553935199.318 * * [simplify]: iters left: 4 (28 enodes)
1553935199.324 * * [simplify]: iters left: 3 (72 enodes)
1553935199.350 * * [simplify]: iters left: 2 (214 enodes)
1553935199.911 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935199.911 * * [simplify]: Extracting #1: cost 61 inf + 0
1553935199.912 * * [simplify]: Extracting #2: cost 251 inf + 1
1553935199.914 * * [simplify]: Extracting #3: cost 264 inf + 9678
1553935199.919 * * [simplify]: Extracting #4: cost 213 inf + 79781
1553935199.930 * * [simplify]: Extracting #5: cost 49 inf + 282271
1553935199.945 * * [simplify]: Extracting #6: cost 1 inf + 352514
1553935199.962 * * [simplify]: Extracting #7: cost 0 inf + 354277
1553935199.983 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935199.983 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
1553935199.983 * * * [progress]: adding candidates to table
1553935200.603 * * [progress]: iteration 4 / 4
1553935200.603 * * * [progress]: picking best candidate
1553935201.016 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.016 * * * [progress]: localizing error
1553935201.431 * * * [progress]: generating rewritten candidates
1553935201.431 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553935201.434 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553935201.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1553935201.439 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1553935201.445 * * * [progress]: generating series expansions
1553935201.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553935201.445 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553935201.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1553935201.445 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1553935201.445 * * * [progress]: simplifying candidates
1553935201.445 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.445 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1553935201.445 * * [simplify]: iters left: 2 (4 enodes)
1553935201.447 * * [simplify]: iters left: 1 (7 enodes)
1553935201.448 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.448 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935201.448 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935201.448 * * [simplify]: Extracting #3: cost 0 inf + 445
1553935201.448 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1553935201.448 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935201.448 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (real->posit16 2) (/.p16 i i)))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.448 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))>
1553935201.449 * [simplify]: Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
1553935201.449 * * [simplify]: iters left: 3 (5 enodes)
1553935201.450 * * [simplify]: iters left: 2 (11 enodes)
1553935201.452 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.452 * * [simplify]: Extracting #1: cost 4 inf + 0
1553935201.452 * * [simplify]: Extracting #2: cost 4 inf + 1
1553935201.452 * * [simplify]: Extracting #3: cost 5 inf + 1
1553935201.452 * * [simplify]: Extracting #4: cost 0 inf + 1529
1553935201.453 * [simplify]: Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
1553935201.453 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))
1553935201.453 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.453 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935201.453 * * [simplify]: iters left: 3 (7 enodes)
1553935201.455 * * [simplify]: iters left: 2 (13 enodes)
1553935201.457 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.457 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935201.457 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935201.457 * * [simplify]: Extracting #3: cost 4 inf + 3
1553935201.457 * * [simplify]: Extracting #4: cost 3 inf + 4
1553935201.457 * * [simplify]: Extracting #5: cost 0 inf + 690
1553935201.457 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935201.457 * [simplify]: Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1553935201.457 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i)))))>
1553935201.457 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.458 * [simplify]: Simplifying (real->posit16 2)
1553935201.458 * * [simplify]: iters left: 1 (2 enodes)
1553935201.458 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.458 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935201.458 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935201.458 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935201.458 * [simplify]: Simplified to (real->posit16 2)
1553935201.458 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935201.459 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1553935201.459 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935201.459 * * [simplify]: iters left: 3 (7 enodes)
1553935201.461 * * [simplify]: iters left: 2 (13 enodes)
1553935201.463 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.463 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935201.463 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935201.463 * * [simplify]: Extracting #3: cost 4 inf + 3
1553935201.463 * * [simplify]: Extracting #4: cost 3 inf + 4
1553935201.463 * * [simplify]: Extracting #5: cost 0 inf + 690
1553935201.463 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935201.463 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935201.464 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1553935201.464 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1553935201.464 * * [simplify]: iters left: 3 (7 enodes)
1553935201.466 * * [simplify]: iters left: 2 (19 enodes)
1553935201.470 * * [simplify]: iters left: 1 (37 enodes)
1553935201.484 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.484 * * [simplify]: Extracting #1: cost 10 inf + 0
1553935201.484 * * [simplify]: Extracting #2: cost 21 inf + 0
1553935201.485 * * [simplify]: Extracting #3: cost 27 inf + 165
1553935201.485 * * [simplify]: Extracting #4: cost 27 inf + 167
1553935201.485 * * [simplify]: Extracting #5: cost 18 inf + 4946
1553935201.486 * * [simplify]: Extracting #6: cost 0 inf + 22111
1553935201.487 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1553935201.487 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1553935201.487 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1553935201.487 * [simplify]: Simplifying (*.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1553935201.487 * * [simplify]: iters left: 6 (14 enodes)
1553935201.491 * * [simplify]: iters left: 5 (39 enodes)
1553935201.504 * * [simplify]: iters left: 4 (132 enodes)
1553935201.691 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.691 * * [simplify]: Extracting #1: cost 65 inf + 0
1553935201.692 * * [simplify]: Extracting #2: cost 197 inf + 322
1553935201.694 * * [simplify]: Extracting #3: cost 180 inf + 23814
1553935201.699 * * [simplify]: Extracting #4: cost 131 inf + 70403
1553935201.710 * * [simplify]: Extracting #5: cost 30 inf + 198927
1553935201.719 * * [simplify]: Extracting #6: cost 1 inf + 239571
1553935201.729 * * [simplify]: Extracting #7: cost 0 inf + 241374
1553935201.738 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1553935201.739 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1553935201.739 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.739 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.739 * [simplify]: Simplifying (real->posit16 2)
1553935201.739 * * [simplify]: iters left: 1 (2 enodes)
1553935201.740 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.740 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935201.740 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935201.740 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935201.740 * [simplify]: Simplified to (real->posit16 2)
1553935201.740 * [simplify]: Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935201.740 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.740 * [simplify]: Simplifying (real->posit16 2)
1553935201.740 * * [simplify]: iters left: 1 (2 enodes)
1553935201.741 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.741 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935201.741 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935201.741 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935201.741 * [simplify]: Simplified to (real->posit16 2)
1553935201.741 * [simplify]: Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935201.741 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.741 * [simplify]: Simplifying (real->posit16 2)
1553935201.741 * * [simplify]: iters left: 1 (2 enodes)
1553935201.742 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.742 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935201.742 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935201.742 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935201.742 * [simplify]: Simplified to (real->posit16 2)
1553935201.742 * [simplify]: Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935201.742 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1553935201.742 * [simplify]: Simplifying (real->posit16 2)
1553935201.742 * * [simplify]: iters left: 1 (2 enodes)
1553935201.743 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935201.743 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935201.743 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935201.743 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935201.743 * [simplify]: Simplified to (real->posit16 2)
1553935201.743 * [simplify]: Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1553935201.743 * * * [progress]: adding candidates to table
1553935202.925 * [progress]: [Phase 3 of 3] Extracting.
1553935202.925 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<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)))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>)
1553935202.929 * * * [regime-changes]: Trying 1 branch expressions: (i)
1553935202.929 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<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)))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>)
1553935203.637 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
1553935203.638 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1553935203.638 * * [simplify]: iters left: 5 (14 enodes)
1553935203.640 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935203.640 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935203.640 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935203.640 * * [simplify]: Extracting #3: cost 10 inf + 0
1553935203.640 * * [simplify]: Extracting #4: cost 12 inf + 1
1553935203.640 * * [simplify]: Extracting #5: cost 11 inf + 443
1553935203.640 * * [simplify]: Extracting #6: cost 9 inf + 445
1553935203.641 * * [simplify]: Extracting #7: cost 3 inf + 3738
1553935203.641 * * [simplify]: Extracting #8: cost 0 inf + 10987
1553935203.642 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1553935203.642 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553935203.662 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553935203.668 * * * * [points]: Setting MPFR precision to 64
1553935203.669 * * * * [points]: Setting MPFR precision to 320
1553935203.671 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553935203.677 * * * * [points]: Setting MPFR precision to 64
1553935203.680 * * * * [points]: Setting MPFR precision to 320
1553935203.684 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553935203.690 * * * * [points]: Setting MPFR precision to 64
1553935203.696 * * * * [points]: Setting MPFR precision to 320
1553935203.702 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553935203.708 * * * * [points]: Setting MPFR precision to 64
1553935203.720 * * * * [points]: Setting MPFR precision to 320
1553935203.735 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553935203.740 * * * * [points]: Setting MPFR precision to 64
1553935203.781 * * * * [points]: Setting MPFR precision to 320
1553935203.810 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553935203.816 * * * * [points]: Setting MPFR precision to 64
1553935203.859 * * * * [points]: Setting MPFR precision to 320
1553935203.892 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553935203.896 * * * * [points]: Setting MPFR precision to 64
1553935204.006 * * * * [points]: Setting MPFR precision to 320
1553935204.090 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553935204.094 * * * * [points]: Setting MPFR precision to 64
1553935204.258 * * * * [points]: Setting MPFR precision to 320
1553935204.506 * * * * [points]: Computing exacts for 8000 points
1553935204.512 * * * * [points]: Setting MPFR precision to 64
1553935205.335 * * * * [points]: Setting MPFR precision to 320
1553935206.292 * * * * [points]: Filtering points with unrepresentable outputs
1553935206.591 * * * * [points]: Sampling 3958 additional inputs, on iter 1 have 4042 / 8000
1553935206.601 * * * * [points]: Computing exacts on every 247 of 3958 points to ramp up precision
1553935207.032 * * * * [points]: Setting MPFR precision to 64
1553935207.034 * * * * [points]: Setting MPFR precision to 320
1553935207.037 * * * * [points]: Computing exacts on every 123 of 3958 points to ramp up precision
1553935207.042 * * * * [points]: Setting MPFR precision to 64
1553935207.045 * * * * [points]: Setting MPFR precision to 320
1553935207.049 * * * * [points]: Computing exacts on every 61 of 3958 points to ramp up precision
1553935207.054 * * * * [points]: Setting MPFR precision to 64
1553935207.061 * * * * [points]: Setting MPFR precision to 320
1553935207.068 * * * * [points]: Computing exacts on every 30 of 3958 points to ramp up precision
1553935207.074 * * * * [points]: Setting MPFR precision to 64
1553935207.086 * * * * [points]: Setting MPFR precision to 320
1553935207.100 * * * * [points]: Computing exacts on every 15 of 3958 points to ramp up precision
1553935207.106 * * * * [points]: Setting MPFR precision to 64
1553935207.130 * * * * [points]: Setting MPFR precision to 320
1553935207.158 * * * * [points]: Computing exacts on every 7 of 3958 points to ramp up precision
1553935207.164 * * * * [points]: Setting MPFR precision to 64
1553935207.211 * * * * [points]: Setting MPFR precision to 320
1553935207.307 * * * * [points]: Computing exacts on every 3 of 3958 points to ramp up precision
1553935207.313 * * * * [points]: Setting MPFR precision to 64
1553935207.410 * * * * [points]: Setting MPFR precision to 320
1553935207.504 * * * * [points]: Computing exacts for 3958 points
1553935207.507 * * * * [points]: Setting MPFR precision to 64
1553935207.928 * * * * [points]: Setting MPFR precision to 320
1553935208.474 * * * * [points]: Filtering points with unrepresentable outputs
1553935208.577 * * * * [points]: Sampling 2006 additional inputs, on iter 2 have 5994 / 8000
1553935208.580 * * * * [points]: Computing exacts on every 125 of 2006 points to ramp up precision
1553935208.583 * * * * [points]: Setting MPFR precision to 64
1553935208.584 * * * * [points]: Setting MPFR precision to 320
1553935208.585 * * * * [points]: Computing exacts on every 62 of 2006 points to ramp up precision
1553935208.588 * * * * [points]: Setting MPFR precision to 64
1553935208.590 * * * * [points]: Setting MPFR precision to 320
1553935208.593 * * * * [points]: Computing exacts on every 31 of 2006 points to ramp up precision
1553935208.595 * * * * [points]: Setting MPFR precision to 64
1553935208.599 * * * * [points]: Setting MPFR precision to 320
1553935208.603 * * * * [points]: Computing exacts on every 15 of 2006 points to ramp up precision
1553935208.606 * * * * [points]: Setting MPFR precision to 64
1553935208.612 * * * * [points]: Setting MPFR precision to 320
1553935208.620 * * * * [points]: Computing exacts on every 7 of 2006 points to ramp up precision
1553935208.623 * * * * [points]: Setting MPFR precision to 64
1553935208.637 * * * * [points]: Setting MPFR precision to 320
1553935208.652 * * * * [points]: Computing exacts on every 3 of 2006 points to ramp up precision
1553935208.655 * * * * [points]: Setting MPFR precision to 64
1553935208.703 * * * * [points]: Setting MPFR precision to 320
1553935208.737 * * * * [points]: Computing exacts for 2006 points
1553935208.740 * * * * [points]: Setting MPFR precision to 64
1553935208.939 * * * * [points]: Setting MPFR precision to 320
1553935209.116 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.160 * * * * [points]: Sampling 987 additional inputs, on iter 3 have 7013 / 8000
1553935209.161 * * * * [points]: Computing exacts on every 61 of 987 points to ramp up precision
1553935209.165 * * * * [points]: Setting MPFR precision to 64
1553935209.166 * * * * [points]: Setting MPFR precision to 320
1553935209.167 * * * * [points]: Computing exacts on every 30 of 987 points to ramp up precision
1553935209.169 * * * * [points]: Setting MPFR precision to 64
1553935209.171 * * * * [points]: Setting MPFR precision to 320
1553935209.173 * * * * [points]: Computing exacts on every 15 of 987 points to ramp up precision
1553935209.176 * * * * [points]: Setting MPFR precision to 64
1553935209.180 * * * * [points]: Setting MPFR precision to 320
1553935209.184 * * * * [points]: Computing exacts on every 7 of 987 points to ramp up precision
1553935209.187 * * * * [points]: Setting MPFR precision to 64
1553935209.194 * * * * [points]: Setting MPFR precision to 320
1553935209.202 * * * * [points]: Computing exacts on every 3 of 987 points to ramp up precision
1553935209.205 * * * * [points]: Setting MPFR precision to 64
1553935209.219 * * * * [points]: Setting MPFR precision to 320
1553935209.235 * * * * [points]: Computing exacts for 987 points
1553935209.254 * * * * [points]: Setting MPFR precision to 64
1553935209.314 * * * * [points]: Setting MPFR precision to 320
1553935209.378 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.422 * * * * [points]: Sampling 513 additional inputs, on iter 4 have 7487 / 8000
1553935209.423 * * * * [points]: Computing exacts on every 32 of 513 points to ramp up precision
1553935209.426 * * * * [points]: Setting MPFR precision to 64
1553935209.427 * * * * [points]: Setting MPFR precision to 320
1553935209.428 * * * * [points]: Computing exacts on every 16 of 513 points to ramp up precision
1553935209.432 * * * * [points]: Setting MPFR precision to 64
1553935209.434 * * * * [points]: Setting MPFR precision to 320
1553935209.436 * * * * [points]: Computing exacts on every 8 of 513 points to ramp up precision
1553935209.439 * * * * [points]: Setting MPFR precision to 64
1553935209.442 * * * * [points]: Setting MPFR precision to 320
1553935209.446 * * * * [points]: Computing exacts on every 4 of 513 points to ramp up precision
1553935209.449 * * * * [points]: Setting MPFR precision to 64
1553935209.455 * * * * [points]: Setting MPFR precision to 320
1553935209.462 * * * * [points]: Computing exacts on every 2 of 513 points to ramp up precision
1553935209.464 * * * * [points]: Setting MPFR precision to 64
1553935209.474 * * * * [points]: Setting MPFR precision to 320
1553935209.486 * * * * [points]: Computing exacts for 513 points
1553935209.489 * * * * [points]: Setting MPFR precision to 64
1553935209.516 * * * * [points]: Setting MPFR precision to 320
1553935209.574 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.584 * * * * [points]: Sampling 257 additional inputs, on iter 5 have 7743 / 8000
1553935209.585 * * * * [points]: Computing exacts on every 16 of 257 points to ramp up precision
1553935209.588 * * * * [points]: Setting MPFR precision to 64
1553935209.589 * * * * [points]: Setting MPFR precision to 320
1553935209.590 * * * * [points]: Computing exacts on every 8 of 257 points to ramp up precision
1553935209.593 * * * * [points]: Setting MPFR precision to 64
1553935209.595 * * * * [points]: Setting MPFR precision to 320
1553935209.597 * * * * [points]: Computing exacts on every 4 of 257 points to ramp up precision
1553935209.600 * * * * [points]: Setting MPFR precision to 64
1553935209.603 * * * * [points]: Setting MPFR precision to 320
1553935209.606 * * * * [points]: Computing exacts on every 2 of 257 points to ramp up precision
1553935209.609 * * * * [points]: Setting MPFR precision to 64
1553935209.614 * * * * [points]: Setting MPFR precision to 320
1553935209.620 * * * * [points]: Computing exacts for 257 points
1553935209.622 * * * * [points]: Setting MPFR precision to 64
1553935209.637 * * * * [points]: Setting MPFR precision to 320
1553935209.653 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.658 * * * * [points]: Sampling 129 additional inputs, on iter 6 have 7871 / 8000
1553935209.659 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
1553935209.661 * * * * [points]: Setting MPFR precision to 64
1553935209.662 * * * * [points]: Setting MPFR precision to 320
1553935209.663 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
1553935209.666 * * * * [points]: Setting MPFR precision to 64
1553935209.668 * * * * [points]: Setting MPFR precision to 320
1553935209.670 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
1553935209.692 * * * * [points]: Setting MPFR precision to 64
1553935209.695 * * * * [points]: Setting MPFR precision to 320
1553935209.698 * * * * [points]: Computing exacts for 129 points
1553935209.702 * * * * [points]: Setting MPFR precision to 64
1553935209.709 * * * * [points]: Setting MPFR precision to 320
1553935209.718 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.721 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000
1553935209.721 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
1553935209.724 * * * * [points]: Setting MPFR precision to 64
1553935209.725 * * * * [points]: Setting MPFR precision to 320
1553935209.726 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
1553935209.728 * * * * [points]: Setting MPFR precision to 64
1553935209.730 * * * * [points]: Setting MPFR precision to 320
1553935209.732 * * * * [points]: Computing exacts for 70 points
1553935209.734 * * * * [points]: Setting MPFR precision to 64
1553935209.738 * * * * [points]: Setting MPFR precision to 320
1553935209.743 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.744 * * * * [points]: Sampling 40 additional inputs, on iter 8 have 7960 / 8000
1553935209.744 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
1553935209.747 * * * * [points]: Setting MPFR precision to 64
1553935209.748 * * * * [points]: Setting MPFR precision to 320
1553935209.749 * * * * [points]: Computing exacts for 40 points
1553935209.752 * * * * [points]: Setting MPFR precision to 64
1553935209.754 * * * * [points]: Setting MPFR precision to 320
1553935209.757 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.758 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000
1553935209.758 * * * * [points]: Computing exacts for 20 points
1553935209.761 * * * * [points]: Setting MPFR precision to 64
1553935209.762 * * * * [points]: Setting MPFR precision to 320
1553935209.763 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.764 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000
1553935209.764 * * * * [points]: Computing exacts for 11 points
1553935209.766 * * * * [points]: Setting MPFR precision to 64
1553935209.767 * * * * [points]: Setting MPFR precision to 320
1553935209.768 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.768 * * * * [points]: Sampling 8 additional inputs, on iter 11 have 7992 / 8000
1553935209.768 * * * * [points]: Computing exacts for 8 points
1553935209.771 * * * * [points]: Setting MPFR precision to 64
1553935209.772 * * * * [points]: Setting MPFR precision to 320
1553935209.772 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.773 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
1553935209.773 * * * * [points]: Computing exacts for 4 points
1553935209.775 * * * * [points]: Setting MPFR precision to 64
1553935209.776 * * * * [points]: Setting MPFR precision to 320
1553935209.776 * * * * [points]: Filtering points with unrepresentable outputs
1553935209.776 * * * * [points]: Sampled 8000 points with exact outputs
1553935218.282 * [regime-testing]: Baseline error score: 64.0
1553935218.284 * [regime-testing]: Oracle error score: 64.0
1553935218.298 * [regime-testing]: End program error score: 0.39743536466930146