0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.009 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.038 * * * * [points]: Computing exacts for 256 points
0.041 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.068 * * * * [points]: Filtering points with unrepresentable outputs
0.068 * * * * [points]: Sampling 126 additional inputs, on iter 1 have 130 / 256
0.068 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.071 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.073 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.077 * * * * [points]: Setting MPFR precision to 64
0.078 * * * * [points]: Setting MPFR precision to 320
0.080 * * * * [points]: Computing exacts for 126 points
0.082 * * * * [points]: Setting MPFR precision to 64
0.088 * * * * [points]: Setting MPFR precision to 320
0.094 * * * * [points]: Filtering points with unrepresentable outputs
0.094 * * * * [points]: Sampling 62 additional inputs, on iter 2 have 194 / 256
0.094 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.097 * * * * [points]: Setting MPFR precision to 64
0.098 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts for 62 points
0.101 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.107 * * * * [points]: Filtering points with unrepresentable outputs
0.107 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256
0.107 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Computing exacts for 35 points
0.113 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Filtering points with unrepresentable outputs
0.117 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.117 * * * * [points]: Computing exacts for 12 points
0.120 * * * * [points]: Setting MPFR precision to 64
0.121 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Filtering points with unrepresentable outputs
0.122 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.122 * * * * [points]: Computing exacts for 7 points
0.124 * * * * [points]: Setting MPFR precision to 64
0.125 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Filtering points with unrepresentable outputs
0.125 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.125 * * * * [points]: Computing exacts for 5 points
0.144 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.145 * * * * [points]: Filtering points with unrepresentable outputs
0.145 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.145 * * * * [points]: Computing exacts for 4 points
0.147 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.148 * * * * [points]: Filtering points with unrepresentable outputs
0.148 * * * * [points]: Sampled 256 points with exact outputs
0.148 * * * [progress]: [2/2] Setting up program.
0.159 * [progress]: [Phase 2 of 3] Improving.
0.159 * * * * [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))))>
0.159 * [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)))
0.159 * * [simplify]: iters left: 5 (12 enodes)
0.163 * * [simplify]: iters left: 4 (43 enodes)
0.173 * * [simplify]: iters left: 3 (170 enodes)
0.234 * * [simplify]: Extracting #0: cost 1 inf + 0
0.234 * * [simplify]: Extracting #1: cost 78 inf + 0
0.235 * * [simplify]: Extracting #2: cost 269 inf + 322
0.236 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.240 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.253 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.270 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.287 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.306 * [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))
0.306 * [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)))
0.333 * * [progress]: iteration 1 / 4
0.333 * * * [progress]: picking best candidate
0.355 * * * * [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))))>
0.355 * * * [progress]: localizing error
0.527 * * * [progress]: generating rewritten candidates
0.527 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.540 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.560 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.572 * * * [progress]: generating series expansions
0.572 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.572 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.572 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.572 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.572 * * * [progress]: simplifying candidates
0.572 * * * * [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))))>
0.573 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
0.573 * * [simplify]: iters left: 2 (4 enodes)
0.575 * * [simplify]: iters left: 1 (8 enodes)
0.576 * * [simplify]: Extracting #0: cost 1 inf + 0
0.577 * * [simplify]: Extracting #1: cost 3 inf + 0
0.577 * * [simplify]: Extracting #2: cost 3 inf + 1
0.577 * * [simplify]: Extracting #3: cost 2 inf + 2
0.577 * * [simplify]: Extracting #4: cost 0 inf + 325
0.577 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
0.577 * [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))))
0.577 * * * * [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))))>
0.577 * [simplify]: Simplifying (*.p16 i i)
0.577 * * [simplify]: iters left: 1 (2 enodes)
0.578 * * [simplify]: Extracting #0: cost 1 inf + 0
0.578 * * [simplify]: Extracting #1: cost 2 inf + 0
0.578 * * [simplify]: Extracting #2: cost 1 inf + 1
0.578 * * [simplify]: Extracting #3: cost 0 inf + 322
0.578 * [simplify]: Simplified to (*.p16 i i)
0.578 * [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))))
0.578 * * * * [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))))>
0.578 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.578 * * [simplify]: iters left: 3 (6 enodes)
0.581 * * [simplify]: iters left: 2 (17 enodes)
0.586 * * [simplify]: iters left: 1 (32 enodes)
0.597 * * [simplify]: Extracting #0: cost 1 inf + 0
0.597 * * [simplify]: Extracting #1: cost 11 inf + 0
0.597 * * [simplify]: Extracting #2: cost 13 inf + 1
0.598 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.598 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.598 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.598 * [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))))
0.599 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.599 * * [simplify]: iters left: 3 (6 enodes)
0.601 * * [simplify]: iters left: 2 (17 enodes)
0.606 * * [simplify]: iters left: 1 (32 enodes)
0.617 * * [simplify]: Extracting #0: cost 1 inf + 0
0.617 * * [simplify]: Extracting #1: cost 11 inf + 0
0.617 * * [simplify]: Extracting #2: cost 13 inf + 1
0.617 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.618 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.618 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.618 * [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))))
0.618 * * * * [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))))>
0.618 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
0.618 * * [simplify]: iters left: 3 (7 enodes)
0.621 * * [simplify]: iters left: 2 (19 enodes)
0.627 * * [simplify]: iters left: 1 (37 enodes)
0.637 * * [simplify]: Extracting #0: cost 1 inf + 0
0.637 * * [simplify]: Extracting #1: cost 10 inf + 0
0.637 * * [simplify]: Extracting #2: cost 21 inf + 0
0.637 * * [simplify]: Extracting #3: cost 27 inf + 165
0.638 * * [simplify]: Extracting #4: cost 27 inf + 167
0.638 * * [simplify]: Extracting #5: cost 18 inf + 4946
0.639 * * [simplify]: Extracting #6: cost 0 inf + 22111
0.641 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
0.641 * [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))))
0.641 * * * * [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)))))>
0.641 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.641 * * [simplify]: iters left: 3 (6 enodes)
0.643 * * [simplify]: iters left: 2 (17 enodes)
0.648 * * [simplify]: iters left: 1 (32 enodes)
0.661 * * [simplify]: Extracting #0: cost 1 inf + 0
0.661 * * [simplify]: Extracting #1: cost 11 inf + 0
0.661 * * [simplify]: Extracting #2: cost 13 inf + 1
0.661 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.662 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.662 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.662 * [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)))))
0.662 * * * * [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))))>
0.663 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
0.663 * * [simplify]: iters left: 4 (8 enodes)
0.666 * * [simplify]: iters left: 3 (18 enodes)
0.670 * * [simplify]: iters left: 2 (25 enodes)
0.677 * * [simplify]: iters left: 1 (29 enodes)
0.685 * * [simplify]: Extracting #0: cost 1 inf + 0
0.685 * * [simplify]: Extracting #1: cost 3 inf + 0
0.685 * * [simplify]: Extracting #2: cost 11 inf + 0
0.685 * * [simplify]: Extracting #3: cost 8 inf + 324
0.685 * * [simplify]: Extracting #4: cost 7 inf + 325
0.685 * * [simplify]: Extracting #5: cost 0 inf + 3578
0.686 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.686 * [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))))
0.686 * * * * [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)))))>
0.686 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
0.686 * * [simplify]: iters left: 2 (3 enodes)
0.687 * * [simplify]: iters left: 1 (9 enodes)
0.689 * * [simplify]: Extracting #0: cost 1 inf + 0
0.689 * * [simplify]: Extracting #1: cost 4 inf + 0
0.689 * * [simplify]: Extracting #2: cost 3 inf + 1
0.689 * * [simplify]: Extracting #3: cost 0 inf + 1604
0.689 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
0.689 * [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)))))
0.690 * * * * [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)))))>
0.690 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.690 * * [simplify]: iters left: 4 (10 enodes)
0.692 * * [simplify]: iters left: 3 (25 enodes)
0.697 * * [simplify]: iters left: 2 (51 enodes)
0.717 * * [simplify]: iters left: 1 (112 enodes)
0.785 * * [simplify]: Extracting #0: cost 1 inf + 0
0.785 * * [simplify]: Extracting #1: cost 57 inf + 0
0.786 * * [simplify]: Extracting #2: cost 185 inf + 763
0.788 * * [simplify]: Extracting #3: cost 127 inf + 36834
0.792 * * [simplify]: Extracting #4: cost 71 inf + 75466
0.800 * * [simplify]: Extracting #5: cost 6 inf + 143781
0.809 * * [simplify]: Extracting #6: cost 0 inf + 152919
0.818 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
0.819 * [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)))))
0.819 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.819 * * [simplify]: iters left: 4 (10 enodes)
0.823 * * [simplify]: iters left: 3 (31 enodes)
0.832 * * [simplify]: iters left: 2 (84 enodes)
0.880 * * [simplify]: iters left: 1 (243 enodes)
1.059 * * [simplify]: Extracting #0: cost 1 inf + 0
1.059 * * [simplify]: Extracting #1: cost 69 inf + 0
1.060 * * [simplify]: Extracting #2: cost 292 inf + 763
1.062 * * [simplify]: Extracting #3: cost 290 inf + 19278
1.072 * * [simplify]: Extracting #4: cost 211 inf + 140467
1.087 * * [simplify]: Extracting #5: cost 50 inf + 372763
1.106 * * [simplify]: Extracting #6: cost 0 inf + 397205
1.123 * * [simplify]: Extracting #7: cost 0 inf + 392365
1.141 * * [simplify]: Extracting #8: cost 0 inf + 392245
1.161 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1.161 * [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)))))
1.161 * * * * [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)))))>
1.161 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.161 * * [simplify]: iters left: 3 (7 enodes)
1.163 * * [simplify]: iters left: 2 (13 enodes)
1.165 * * [simplify]: Extracting #0: cost 1 inf + 0
1.165 * * [simplify]: Extracting #1: cost 3 inf + 0
1.165 * * [simplify]: Extracting #2: cost 6 inf + 0
1.165 * * [simplify]: Extracting #3: cost 4 inf + 3
1.165 * * [simplify]: Extracting #4: cost 3 inf + 4
1.166 * * [simplify]: Extracting #5: cost 0 inf + 690
1.166 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.166 * [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)))))
1.166 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.166 * * [simplify]: iters left: 3 (7 enodes)
1.168 * * [simplify]: iters left: 2 (19 enodes)
1.172 * * [simplify]: iters left: 1 (37 enodes)
1.179 * * [simplify]: Extracting #0: cost 1 inf + 0
1.179 * * [simplify]: Extracting #1: cost 10 inf + 0
1.179 * * [simplify]: Extracting #2: cost 21 inf + 0
1.179 * * [simplify]: Extracting #3: cost 27 inf + 165
1.179 * * [simplify]: Extracting #4: cost 27 inf + 167
1.180 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.180 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.181 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.181 * [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)))))
1.182 * * * * [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)))))>
1.182 * * * * [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)))))>
1.182 * * * * [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))))>
1.182 * * * * [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))))>
1.182 * * * * [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))))>
1.182 * * * * [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))))>
1.182 * [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)))
1.182 * * [simplify]: iters left: 5 (12 enodes)
1.185 * * [simplify]: iters left: 4 (43 enodes)
1.196 * * [simplify]: iters left: 3 (170 enodes)
1.255 * * [simplify]: Extracting #0: cost 1 inf + 0
1.255 * * [simplify]: Extracting #1: cost 78 inf + 0
1.256 * * [simplify]: Extracting #2: cost 269 inf + 322
1.258 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.263 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.282 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.306 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.334 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.355 * [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))
1.355 * [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)))
1.355 * * * * [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))))>
1.356 * [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)))
1.356 * * [simplify]: iters left: 5 (12 enodes)
1.361 * * [simplify]: iters left: 4 (43 enodes)
1.372 * * [simplify]: iters left: 3 (170 enodes)
1.443 * * [simplify]: Extracting #0: cost 1 inf + 0
1.444 * * [simplify]: Extracting #1: cost 78 inf + 0
1.445 * * [simplify]: Extracting #2: cost 269 inf + 322
1.447 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.454 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.473 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.503 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.532 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.552 * [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))
1.552 * [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)))
1.552 * * * * [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))))>
1.552 * [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)))
1.552 * * [simplify]: iters left: 5 (12 enodes)
1.556 * * [simplify]: iters left: 4 (43 enodes)
1.570 * * [simplify]: iters left: 3 (170 enodes)
1.637 * * [simplify]: Extracting #0: cost 1 inf + 0
1.637 * * [simplify]: Extracting #1: cost 78 inf + 0
1.638 * * [simplify]: Extracting #2: cost 269 inf + 322
1.640 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.646 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.666 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.690 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.707 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.726 * [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))
1.726 * [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)))
1.726 * * * * [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))))>
1.726 * [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)))
1.726 * * [simplify]: iters left: 5 (12 enodes)
1.730 * * [simplify]: iters left: 4 (43 enodes)
1.742 * * [simplify]: iters left: 3 (170 enodes)
1.799 * * [simplify]: Extracting #0: cost 1 inf + 0
1.799 * * [simplify]: Extracting #1: cost 78 inf + 0
1.800 * * [simplify]: Extracting #2: cost 269 inf + 322
1.801 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.805 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.818 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.846 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.863 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.879 * [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))
1.880 * [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)))
1.880 * * * [progress]: adding candidates to table
2.435 * * [progress]: iteration 2 / 4
2.435 * * * [progress]: picking best candidate
2.581 * * * * [pick]: Picked  #<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)))))>
2.581 * * * [progress]: localizing error
2.804 * * * [progress]: generating rewritten candidates
2.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.809 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.813 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.820 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.832 * * * [progress]: generating series expansions
2.832 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.832 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.832 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.832 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.832 * * * [progress]: simplifying candidates
2.832 * * * * [progress]: [ 1 / 15 ] 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 (*.p16 i i) (real->posit16 2)) i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.832 * * * * [progress]: [ 2 / 15 ] 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 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.833 * * * * [progress]: [ 3 / 15 ] 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 (real->posit16 2)) (/.p16 i i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.833 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.833 * * [simplify]: iters left: 2 (4 enodes)
2.835 * * [simplify]: iters left: 1 (7 enodes)
2.837 * * [simplify]: Extracting #0: cost 1 inf + 0
2.837 * * [simplify]: Extracting #1: cost 3 inf + 0
2.837 * * [simplify]: Extracting #2: cost 3 inf + 1
2.837 * * [simplify]: Extracting #3: cost 0 inf + 445
2.837 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.837 * [simplify]: Simplified (2 2 1 1) to (λ (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 (real->posit16 2)) (/.p16 i i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.838 * [simplify]: Simplifying (/.p16 i i)
2.838 * * [simplify]: iters left: 1 (2 enodes)
2.839 * * [simplify]: Extracting #0: cost 1 inf + 0
2.839 * * [simplify]: Extracting #1: cost 3 inf + 0
2.839 * * [simplify]: Extracting #2: cost 1 inf + 2
2.839 * * [simplify]: Extracting #3: cost 0 inf + 3
2.839 * [simplify]: Simplified to (real->posit16 1.0)
2.839 * [simplify]: Simplified (2 2 1 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 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.839 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (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)))))>
2.839 * * * * [progress]: [ 5 / 15 ] 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 i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.839 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i 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)))))>
2.839 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.840 * * [simplify]: iters left: 2 (4 enodes)
2.841 * * [simplify]: iters left: 1 (7 enodes)
2.842 * * [simplify]: Extracting #0: cost 1 inf + 0
2.843 * * [simplify]: Extracting #1: cost 3 inf + 0
2.843 * * [simplify]: Extracting #2: cost 3 inf + 1
2.843 * * [simplify]: Extracting #3: cost 0 inf + 445
2.843 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.843 * [simplify]: Simplified (2 1 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i 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)))))
2.843 * [simplify]: Simplifying (/.p16 i i)
2.843 * * [simplify]: iters left: 1 (2 enodes)
2.844 * * [simplify]: Extracting #0: cost 1 inf + 0
2.844 * * [simplify]: Extracting #1: cost 3 inf + 0
2.844 * * [simplify]: Extracting #2: cost 1 inf + 2
2.844 * * [simplify]: Extracting #3: cost 0 inf + 3
2.844 * [simplify]: Simplified to (real->posit16 1.0)
2.844 * [simplify]: Simplified (2 1 1 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.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)))))
2.844 * * * * [progress]: [ 7 / 15 ] 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 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.845 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.845 * * [simplify]: iters left: 2 (4 enodes)
2.846 * * [simplify]: iters left: 1 (7 enodes)
2.848 * * [simplify]: Extracting #0: cost 1 inf + 0
2.848 * * [simplify]: Extracting #1: cost 3 inf + 0
2.848 * * [simplify]: Extracting #2: cost 3 inf + 1
2.848 * * [simplify]: Extracting #3: cost 0 inf + 445
2.848 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.848 * [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 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.848 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.848 * [simplify]: Simplifying (*.p16 i i)
2.848 * * [simplify]: iters left: 1 (2 enodes)
2.849 * * [simplify]: Extracting #0: cost 1 inf + 0
2.849 * * [simplify]: Extracting #1: cost 2 inf + 0
2.849 * * [simplify]: Extracting #2: cost 1 inf + 1
2.849 * * [simplify]: Extracting #3: cost 0 inf + 322
2.849 * [simplify]: Simplified to (*.p16 i i)
2.849 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.849 * * * * [progress]: [ 9 / 15 ] 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 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))>
2.849 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.850 * * [simplify]: iters left: 2 (4 enodes)
2.851 * * [simplify]: iters left: 1 (7 enodes)
2.853 * * [simplify]: Extracting #0: cost 1 inf + 0
2.853 * * [simplify]: Extracting #1: cost 3 inf + 0
2.853 * * [simplify]: Extracting #2: cost 3 inf + 1
2.853 * * [simplify]: Extracting #3: cost 0 inf + 445
2.853 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.853 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))
2.853 * * * * [progress]: [ 10 / 15 ] 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 (*.p16 i i) (*.p16 (real->posit16 2) 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)))))>
2.853 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
2.853 * * [simplify]: iters left: 3 (7 enodes)
2.856 * * [simplify]: iters left: 2 (13 enodes)
2.859 * * [simplify]: Extracting #0: cost 1 inf + 0
2.859 * * [simplify]: Extracting #1: cost 3 inf + 0
2.859 * * [simplify]: Extracting #2: cost 6 inf + 0
2.859 * * [simplify]: Extracting #3: cost 4 inf + 3
2.859 * * [simplify]: Extracting #4: cost 3 inf + 4
2.859 * * [simplify]: Extracting #5: cost 0 inf + 690
2.859 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
2.859 * [simplify]: Simplified (2 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 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) 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)))))
2.859 * * * * [progress]: [ 11 / 15 ] 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 i i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))))>
2.860 * [simplify]: Simplifying (*.p16 i i)
2.860 * * [simplify]: iters left: 1 (2 enodes)
2.860 * * [simplify]: Extracting #0: cost 1 inf + 0
2.860 * * [simplify]: Extracting #1: cost 2 inf + 0
2.860 * * [simplify]: Extracting #2: cost 1 inf + 1
2.861 * * [simplify]: Extracting #3: cost 0 inf + 322
2.861 * [simplify]: Simplified to (*.p16 i i)
2.861 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))))
2.861 * * * * [progress]: [ 12 / 15 ] 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)))))>
2.861 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
2.861 * * [simplify]: iters left: 4 (10 enodes)
2.865 * * [simplify]: iters left: 3 (25 enodes)
2.872 * * [simplify]: iters left: 2 (51 enodes)
2.894 * * [simplify]: iters left: 1 (112 enodes)
2.961 * * [simplify]: Extracting #0: cost 1 inf + 0
2.961 * * [simplify]: Extracting #1: cost 57 inf + 0
2.962 * * [simplify]: Extracting #2: cost 185 inf + 763
2.963 * * [simplify]: Extracting #3: cost 127 inf + 36834
2.968 * * [simplify]: Extracting #4: cost 71 inf + 75466
2.976 * * [simplify]: Extracting #5: cost 6 inf + 143781
2.984 * * [simplify]: Extracting #6: cost 0 inf + 152919
2.993 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
2.994 * [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)))))
2.994 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
2.994 * * [simplify]: iters left: 4 (10 enodes)
2.998 * * [simplify]: iters left: 3 (31 enodes)
3.007 * * [simplify]: iters left: 2 (84 enodes)
3.053 * * [simplify]: iters left: 1 (243 enodes)
3.238 * * [simplify]: Extracting #0: cost 1 inf + 0
3.238 * * [simplify]: Extracting #1: cost 69 inf + 0
3.239 * * [simplify]: Extracting #2: cost 292 inf + 763
3.240 * * [simplify]: Extracting #3: cost 290 inf + 19278
3.245 * * [simplify]: Extracting #4: cost 211 inf + 140467
3.263 * * [simplify]: Extracting #5: cost 50 inf + 372763
3.281 * * [simplify]: Extracting #6: cost 0 inf + 397205
3.298 * * [simplify]: Extracting #7: cost 0 inf + 392365
3.316 * * [simplify]: Extracting #8: cost 0 inf + 392245
3.338 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.338 * [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)))))
3.338 * * * * [progress]: [ 13 / 15 ] 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)))))>
3.338 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.339 * * [simplify]: iters left: 4 (10 enodes)
3.342 * * [simplify]: iters left: 3 (25 enodes)
3.347 * * [simplify]: iters left: 2 (51 enodes)
3.362 * * [simplify]: iters left: 1 (112 enodes)
3.410 * * [simplify]: Extracting #0: cost 1 inf + 0
3.410 * * [simplify]: Extracting #1: cost 57 inf + 0
3.411 * * [simplify]: Extracting #2: cost 185 inf + 763
3.412 * * [simplify]: Extracting #3: cost 127 inf + 36834
3.415 * * [simplify]: Extracting #4: cost 71 inf + 75466
3.420 * * [simplify]: Extracting #5: cost 6 inf + 143781
3.426 * * [simplify]: Extracting #6: cost 0 inf + 152919
3.432 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.432 * [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)))))
3.433 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.433 * * [simplify]: iters left: 4 (10 enodes)
3.436 * * [simplify]: iters left: 3 (31 enodes)
3.444 * * [simplify]: iters left: 2 (84 enodes)
3.477 * * [simplify]: iters left: 1 (243 enodes)
3.681 * * [simplify]: Extracting #0: cost 1 inf + 0
3.681 * * [simplify]: Extracting #1: cost 69 inf + 0
3.683 * * [simplify]: Extracting #2: cost 292 inf + 763
3.684 * * [simplify]: Extracting #3: cost 290 inf + 19278
3.692 * * [simplify]: Extracting #4: cost 211 inf + 140467
3.718 * * [simplify]: Extracting #5: cost 50 inf + 372763
3.744 * * [simplify]: Extracting #6: cost 0 inf + 397205
3.770 * * [simplify]: Extracting #7: cost 0 inf + 392365
3.796 * * [simplify]: Extracting #8: cost 0 inf + 392245
3.822 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.823 * [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)))))
3.823 * * * * [progress]: [ 14 / 15 ] 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)))))>
3.823 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.823 * * [simplify]: iters left: 4 (10 enodes)
3.827 * * [simplify]: iters left: 3 (25 enodes)
3.832 * * [simplify]: iters left: 2 (51 enodes)
3.847 * * [simplify]: iters left: 1 (112 enodes)
3.893 * * [simplify]: Extracting #0: cost 1 inf + 0
3.893 * * [simplify]: Extracting #1: cost 57 inf + 0
3.894 * * [simplify]: Extracting #2: cost 185 inf + 763
3.896 * * [simplify]: Extracting #3: cost 127 inf + 36834
3.900 * * [simplify]: Extracting #4: cost 71 inf + 75466
3.908 * * [simplify]: Extracting #5: cost 6 inf + 143781
3.918 * * [simplify]: Extracting #6: cost 0 inf + 152919
3.927 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.927 * [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)))))
3.927 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.927 * * [simplify]: iters left: 4 (10 enodes)
3.931 * * [simplify]: iters left: 3 (31 enodes)
3.941 * * [simplify]: iters left: 2 (84 enodes)
3.984 * * [simplify]: iters left: 1 (243 enodes)
4.136 * * [simplify]: Extracting #0: cost 1 inf + 0
4.137 * * [simplify]: Extracting #1: cost 69 inf + 0
4.137 * * [simplify]: Extracting #2: cost 292 inf + 763
4.139 * * [simplify]: Extracting #3: cost 290 inf + 19278
4.143 * * [simplify]: Extracting #4: cost 211 inf + 140467
4.162 * * [simplify]: Extracting #5: cost 50 inf + 372763
4.192 * * [simplify]: Extracting #6: cost 0 inf + 397205
4.218 * * [simplify]: Extracting #7: cost 0 inf + 392365
4.245 * * [simplify]: Extracting #8: cost 0 inf + 392245
4.270 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.270 * [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)))))
4.271 * * * * [progress]: [ 15 / 15 ] 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)))))>
4.271 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.271 * * [simplify]: iters left: 4 (10 enodes)
4.275 * * [simplify]: iters left: 3 (25 enodes)
4.282 * * [simplify]: iters left: 2 (51 enodes)
4.306 * * [simplify]: iters left: 1 (112 enodes)
4.362 * * [simplify]: Extracting #0: cost 1 inf + 0
4.363 * * [simplify]: Extracting #1: cost 57 inf + 0
4.363 * * [simplify]: Extracting #2: cost 185 inf + 763
4.365 * * [simplify]: Extracting #3: cost 127 inf + 36834
4.369 * * [simplify]: Extracting #4: cost 71 inf + 75466
4.380 * * [simplify]: Extracting #5: cost 6 inf + 143781
4.389 * * [simplify]: Extracting #6: cost 0 inf + 152919
4.398 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.398 * [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)))))
4.399 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.399 * * [simplify]: iters left: 4 (10 enodes)
4.403 * * [simplify]: iters left: 3 (31 enodes)
4.412 * * [simplify]: iters left: 2 (84 enodes)
4.457 * * [simplify]: iters left: 1 (243 enodes)
4.652 * * [simplify]: Extracting #0: cost 1 inf + 0
4.652 * * [simplify]: Extracting #1: cost 69 inf + 0
4.653 * * [simplify]: Extracting #2: cost 292 inf + 763
4.656 * * [simplify]: Extracting #3: cost 290 inf + 19278
4.660 * * [simplify]: Extracting #4: cost 211 inf + 140467
4.675 * * [simplify]: Extracting #5: cost 50 inf + 372763
4.694 * * [simplify]: Extracting #6: cost 0 inf + 397205
4.724 * * [simplify]: Extracting #7: cost 0 inf + 392365
4.750 * * [simplify]: Extracting #8: cost 0 inf + 392245
4.767 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.767 * [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)))))
4.768 * * * [progress]: adding candidates to table
5.252 * * [progress]: iteration 3 / 4
5.252 * * * [progress]: picking best candidate
5.475 * * * * [pick]: Picked  #<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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
5.475 * * * [progress]: localizing error
5.735 * * * [progress]: generating rewritten candidates
5.735 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.738 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.742 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.745 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.753 * * * [progress]: generating series expansions
5.753 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.753 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.753 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.753 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.753 * * * [progress]: simplifying candidates
5.753 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
5.754 * * * * [progress]: [ 2 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
5.754 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
5.754 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
5.754 * * [simplify]: iters left: 2 (4 enodes)
5.755 * * [simplify]: iters left: 1 (7 enodes)
5.756 * * [simplify]: Extracting #0: cost 1 inf + 0
5.756 * * [simplify]: Extracting #1: cost 3 inf + 0
5.756 * * [simplify]: Extracting #2: cost 3 inf + 1
5.756 * * [simplify]: Extracting #3: cost 0 inf + 445
5.756 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
5.756 * [simplify]: Simplified (2 1 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
5.757 * [simplify]: Simplifying (/.p16 i i)
5.757 * * [simplify]: iters left: 1 (2 enodes)
5.763 * * [simplify]: Extracting #0: cost 1 inf + 0
5.763 * * [simplify]: Extracting #1: cost 3 inf + 0
5.763 * * [simplify]: Extracting #2: cost 1 inf + 2
5.763 * * [simplify]: Extracting #3: cost 0 inf + 3
5.763 * [simplify]: Simplified to (real->posit16 1.0)
5.763 * [simplify]: Simplified (2 1 1 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
5.763 * * * * [progress]: [ 4 / 16 ] 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 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
5.763 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
5.763 * * [simplify]: iters left: 2 (4 enodes)
5.764 * * [simplify]: iters left: 1 (7 enodes)
5.765 * * [simplify]: Extracting #0: cost 1 inf + 0
5.765 * * [simplify]: Extracting #1: cost 3 inf + 0
5.765 * * [simplify]: Extracting #2: cost 3 inf + 1
5.765 * * [simplify]: Extracting #3: cost 0 inf + 445
5.765 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
5.765 * [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 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
5.766 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.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)))))>
5.766 * [simplify]: Simplifying (*.p16 i i)
5.766 * * [simplify]: iters left: 1 (2 enodes)
5.766 * * [simplify]: Extracting #0: cost 1 inf + 0
5.766 * * [simplify]: Extracting #1: cost 2 inf + 0
5.766 * * [simplify]: Extracting #2: cost 1 inf + 1
5.766 * * [simplify]: Extracting #3: cost 0 inf + 322
5.766 * [simplify]: Simplified to (*.p16 i i)
5.766 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.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)))))
5.766 * * * * [progress]: [ 6 / 16 ] 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 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0)))))>
5.767 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
5.767 * * [simplify]: iters left: 2 (4 enodes)
5.768 * * [simplify]: iters left: 1 (7 enodes)
5.769 * * [simplify]: Extracting #0: cost 1 inf + 0
5.769 * * [simplify]: Extracting #1: cost 3 inf + 0
5.769 * * [simplify]: Extracting #2: cost 3 inf + 1
5.769 * * [simplify]: Extracting #3: cost 0 inf + 445
5.769 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
5.769 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0)))))
5.769 * * * * [progress]: [ 7 / 16 ] 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 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.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)))))>
5.769 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
5.769 * * [simplify]: iters left: 3 (7 enodes)
5.771 * * [simplify]: iters left: 2 (13 enodes)
5.773 * * [simplify]: Extracting #0: cost 1 inf + 0
5.773 * * [simplify]: Extracting #1: cost 3 inf + 0
5.773 * * [simplify]: Extracting #2: cost 6 inf + 0
5.773 * * [simplify]: Extracting #3: cost 4 inf + 3
5.773 * * [simplify]: Extracting #4: cost 3 inf + 4
5.773 * * [simplify]: Extracting #5: cost 0 inf + 690
5.773 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.773 * [simplify]: Simplified (2 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 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.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)))))
5.774 * * * * [progress]: [ 8 / 16 ] 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 i (real->posit16 1.0)) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2)))))>
5.774 * [simplify]: Simplifying (*.p16 i (real->posit16 1.0))
5.774 * * [simplify]: iters left: 2 (4 enodes)
5.775 * * [simplify]: iters left: 1 (7 enodes)
5.776 * * [simplify]: Extracting #0: cost 1 inf + 0
5.776 * * [simplify]: Extracting #1: cost 0 inf + 1
5.776 * [simplify]: Simplified to i
5.776 * [simplify]: Simplified (2 2 1) 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 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2)))))
5.776 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.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))))>
5.776 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
5.776 * * [simplify]: iters left: 3 (7 enodes)
5.778 * * [simplify]: iters left: 2 (13 enodes)
5.780 * * [simplify]: Extracting #0: cost 1 inf + 0
5.780 * * [simplify]: Extracting #1: cost 3 inf + 0
5.780 * * [simplify]: Extracting #2: cost 6 inf + 0
5.780 * * [simplify]: Extracting #3: cost 4 inf + 3
5.780 * * [simplify]: Extracting #4: cost 3 inf + 4
5.780 * * [simplify]: Extracting #5: cost 0 inf + 690
5.780 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.780 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.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))))
5.781 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 (*.p16 i 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))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
5.781 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
5.781 * * [simplify]: iters left: 3 (7 enodes)
5.783 * * [simplify]: iters left: 2 (19 enodes)
5.786 * * [simplify]: iters left: 1 (37 enodes)
5.794 * * [simplify]: Extracting #0: cost 1 inf + 0
5.794 * * [simplify]: Extracting #1: cost 10 inf + 0
5.794 * * [simplify]: Extracting #2: cost 21 inf + 0
5.794 * * [simplify]: Extracting #3: cost 27 inf + 165
5.794 * * [simplify]: Extracting #4: cost 27 inf + 167
5.794 * * [simplify]: Extracting #5: cost 18 inf + 4946
5.795 * * [simplify]: Extracting #6: cost 0 inf + 22111
5.796 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.796 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 (*.p16 i 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))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
5.796 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i 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)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
5.796 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i 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))))
5.796 * * [simplify]: iters left: 5 (13 enodes)
5.800 * * [simplify]: iters left: 4 (41 enodes)
5.811 * * [simplify]: iters left: 3 (162 enodes)
5.953 * * [simplify]: Extracting #0: cost 1 inf + 0
5.953 * * [simplify]: Extracting #1: cost 61 inf + 0
5.954 * * [simplify]: Extracting #2: cost 178 inf + 1524
5.955 * * [simplify]: Extracting #3: cost 156 inf + 25083
5.958 * * [simplify]: Extracting #4: cost 129 inf + 61733
5.967 * * [simplify]: Extracting #5: cost 25 inf + 179077
5.979 * * [simplify]: Extracting #6: cost 0 inf + 217114
5.993 * * [simplify]: Extracting #7: cost 0 inf + 216394
6.006 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2)))
6.006 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.007 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.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)))))>
6.007 * * * * [progress]: [ 13 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.007 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.007 * * [simplify]: iters left: 5 (15 enodes)
6.014 * * [simplify]: iters left: 4 (45 enodes)
6.031 * * [simplify]: iters left: 3 (165 enodes)
6.327 * * [simplify]: Extracting #0: cost 1 inf + 0
6.327 * * [simplify]: Extracting #1: cost 78 inf + 0
6.328 * * [simplify]: Extracting #2: cost 270 inf + 763
6.331 * * [simplify]: Extracting #3: cost 223 inf + 30116
6.335 * * [simplify]: Extracting #4: cost 181 inf + 64383
6.349 * * [simplify]: Extracting #5: cost 35 inf + 269965
6.372 * * [simplify]: Extracting #6: cost 1 inf + 331185
6.392 * * [simplify]: Extracting #7: cost 0 inf + 331988
6.412 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.412 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
6.412 * * * * [progress]: [ 14 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.413 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.413 * * [simplify]: iters left: 5 (15 enodes)
6.419 * * [simplify]: iters left: 4 (45 enodes)
6.431 * * [simplify]: iters left: 3 (165 enodes)
6.635 * * [simplify]: Extracting #0: cost 1 inf + 0
6.636 * * [simplify]: Extracting #1: cost 78 inf + 0
6.636 * * [simplify]: Extracting #2: cost 270 inf + 763
6.638 * * [simplify]: Extracting #3: cost 223 inf + 30116
6.641 * * [simplify]: Extracting #4: cost 181 inf + 64383
6.654 * * [simplify]: Extracting #5: cost 35 inf + 269965
6.672 * * [simplify]: Extracting #6: cost 1 inf + 331185
6.695 * * [simplify]: Extracting #7: cost 0 inf + 331988
6.712 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.712 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
6.712 * * * * [progress]: [ 15 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.712 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.712 * * [simplify]: iters left: 5 (15 enodes)
6.716 * * [simplify]: iters left: 4 (45 enodes)
6.730 * * [simplify]: iters left: 3 (165 enodes)
7.020 * * [simplify]: Extracting #0: cost 1 inf + 0
7.020 * * [simplify]: Extracting #1: cost 78 inf + 0
7.021 * * [simplify]: Extracting #2: cost 270 inf + 763
7.023 * * [simplify]: Extracting #3: cost 223 inf + 30116
7.027 * * [simplify]: Extracting #4: cost 181 inf + 64383
7.041 * * [simplify]: Extracting #5: cost 35 inf + 269965
7.059 * * [simplify]: Extracting #6: cost 1 inf + 331185
7.073 * * [simplify]: Extracting #7: cost 0 inf + 331988
7.094 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
7.094 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
7.094 * * * * [progress]: [ 16 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
7.094 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
7.094 * * [simplify]: iters left: 5 (15 enodes)
7.098 * * [simplify]: iters left: 4 (45 enodes)
7.116 * * [simplify]: iters left: 3 (165 enodes)
7.372 * * [simplify]: Extracting #0: cost 1 inf + 0
7.372 * * [simplify]: Extracting #1: cost 78 inf + 0
7.374 * * [simplify]: Extracting #2: cost 270 inf + 763
7.375 * * [simplify]: Extracting #3: cost 223 inf + 30116
7.378 * * [simplify]: Extracting #4: cost 181 inf + 64383
7.387 * * [simplify]: Extracting #5: cost 35 inf + 269965
7.401 * * [simplify]: Extracting #6: cost 1 inf + 331185
7.414 * * [simplify]: Extracting #7: cost 0 inf + 331988
7.429 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
7.429 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
7.429 * * * [progress]: adding candidates to table
7.912 * * [progress]: iteration 4 / 4
7.912 * * * [progress]: picking best candidate
8.046 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
8.046 * * * [progress]: localizing error
8.528 * * * [progress]: generating rewritten candidates
8.528 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
8.534 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
8.537 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.542 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
8.545 * * * [progress]: generating series expansions
8.545 * * * * [progress]: [ 1 / 4 ] generating series at (2)
8.545 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
8.545 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
8.545 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
8.545 * * * [progress]: simplifying candidates
8.545 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))>
8.545 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
8.545 * * [simplify]: iters left: 4 (9 enodes)
8.549 * * [simplify]: iters left: 3 (23 enodes)
8.557 * * [simplify]: iters left: 2 (48 enodes)
8.573 * * [simplify]: iters left: 1 (130 enodes)
8.634 * * [simplify]: Extracting #0: cost 1 inf + 0
8.634 * * [simplify]: Extracting #1: cost 33 inf + 0
8.634 * * [simplify]: Extracting #2: cost 121 inf + 1
8.635 * * [simplify]: Extracting #3: cost 150 inf + 767
8.636 * * [simplify]: Extracting #4: cost 147 inf + 6462
8.640 * * [simplify]: Extracting #5: cost 102 inf + 59322
8.650 * * [simplify]: Extracting #6: cost 7 inf + 167589
8.665 * * [simplify]: Extracting #7: cost 0 inf + 181450
8.676 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
8.676 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
8.676 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))))>
8.676 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i)
8.677 * * [simplify]: iters left: 5 (10 enodes)
8.679 * * [simplify]: iters left: 4 (27 enodes)
8.689 * * [simplify]: iters left: 3 (61 enodes)
8.703 * * [simplify]: iters left: 2 (182 enodes)
8.790 * * [simplify]: Extracting #0: cost 1 inf + 0
8.790 * * [simplify]: Extracting #1: cost 58 inf + 0
8.791 * * [simplify]: Extracting #2: cost 214 inf + 1
8.792 * * [simplify]: Extracting #3: cost 232 inf + 9826
8.793 * * [simplify]: Extracting #4: cost 208 inf + 35781
8.809 * * [simplify]: Extracting #5: cost 50 inf + 264383
8.828 * * [simplify]: Extracting #6: cost 0 inf + 334324
8.850 * * [simplify]: Extracting #7: cost 0 inf + 333964
8.876 * [simplify]: Simplified to (*.p16 i (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
8.876 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 i (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))))
8.876 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
8.877 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
8.877 * * [simplify]: iters left: 3 (5 enodes)
8.879 * * [simplify]: iters left: 2 (12 enodes)
8.882 * * [simplify]: iters left: 1 (18 enodes)
8.886 * * [simplify]: Extracting #0: cost 1 inf + 0
8.886 * * [simplify]: Extracting #1: cost 10 inf + 0
8.886 * * [simplify]: Extracting #2: cost 9 inf + 322
8.886 * * [simplify]: Extracting #3: cost 8 inf + 323
8.886 * * [simplify]: Extracting #4: cost 0 inf + 4817
8.887 * * [simplify]: Extracting #5: cost 0 inf + 4697
8.887 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
8.887 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
8.887 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.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))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
8.887 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
8.887 * * [simplify]: iters left: 3 (7 enodes)
8.890 * * [simplify]: iters left: 2 (13 enodes)
8.893 * * [simplify]: Extracting #0: cost 1 inf + 0
8.893 * * [simplify]: Extracting #1: cost 3 inf + 0
8.893 * * [simplify]: Extracting #2: cost 6 inf + 0
8.893 * * [simplify]: Extracting #3: cost 4 inf + 3
8.893 * * [simplify]: Extracting #4: cost 3 inf + 4
8.893 * * [simplify]: Extracting #5: cost 0 inf + 690
8.893 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
8.893 * [simplify]: Simplified (2 1 1 2) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.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))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
8.893 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
8.894 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.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) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
8.894 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
8.894 * * [simplify]: iters left: 5 (11 enodes)
8.898 * * [simplify]: iters left: 4 (32 enodes)
8.907 * * [simplify]: iters left: 3 (74 enodes)
8.928 * * [simplify]: iters left: 2 (221 enodes)
9.018 * * [simplify]: Extracting #0: cost 1 inf + 0
9.018 * * [simplify]: Extracting #1: cost 53 inf + 0
9.019 * * [simplify]: Extracting #2: cost 246 inf + 1
9.024 * * [simplify]: Extracting #3: cost 323 inf + 6661
9.027 * * [simplify]: Extracting #4: cost 316 inf + 19925
9.032 * * [simplify]: Extracting #5: cost 253 inf + 68416
9.048 * * [simplify]: Extracting #6: cost 69 inf + 274643
9.068 * * [simplify]: Extracting #7: cost 0 inf + 379966
9.090 * * [simplify]: Extracting #8: cost 0 inf + 379366
9.110 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2)))
9.110 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.110 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.110 * [simplify]: Simplifying (real->posit16 2)
9.110 * * [simplify]: iters left: 1 (2 enodes)
9.111 * * [simplify]: Extracting #0: cost 1 inf + 0
9.111 * * [simplify]: Extracting #1: cost 2 inf + 0
9.111 * * [simplify]: Extracting #2: cost 1 inf + 1
9.111 * * [simplify]: Extracting #3: cost 0 inf + 2
9.111 * [simplify]: Simplified to (real->posit16 2)
9.111 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.111 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<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))))>
9.112 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
9.112 * * [simplify]: iters left: 3 (5 enodes)
9.113 * * [simplify]: iters left: 2 (12 enodes)
9.115 * * [simplify]: iters left: 1 (18 enodes)
9.119 * * [simplify]: Extracting #0: cost 1 inf + 0
9.119 * * [simplify]: Extracting #1: cost 10 inf + 0
9.119 * * [simplify]: Extracting #2: cost 9 inf + 322
9.119 * * [simplify]: Extracting #3: cost 8 inf + 323
9.119 * * [simplify]: Extracting #4: cost 0 inf + 4817
9.119 * * [simplify]: Extracting #5: cost 0 inf + 4697
9.119 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
9.119 * [simplify]: Simplified (2 1 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))))
9.120 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.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))))>
9.120 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (neg.p16 (real->posit16 1.0)))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.120 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.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)))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.120 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.120 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
9.120 * * [simplify]: iters left: 6 (12 enodes)
9.123 * * [simplify]: iters left: 5 (33 enodes)
9.129 * * [simplify]: iters left: 4 (84 enodes)
9.151 * * [simplify]: iters left: 3 (286 enodes)
9.386 * * [simplify]: Extracting #0: cost 1 inf + 0
9.387 * * [simplify]: Extracting #1: cost 131 inf + 0
9.388 * * [simplify]: Extracting #2: cost 398 inf + 322
9.391 * * [simplify]: Extracting #3: cost 438 inf + 32484
9.407 * * [simplify]: Extracting #4: cost 183 inf + 417667
9.443 * * [simplify]: Extracting #5: cost 12 inf + 694615
9.482 * * [simplify]: Extracting #6: cost 0 inf + 714411
9.530 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
9.530 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
9.530 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.530 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
9.531 * * [simplify]: iters left: 6 (12 enodes)
9.537 * * [simplify]: iters left: 5 (33 enodes)
9.550 * * [simplify]: iters left: 4 (84 enodes)
9.583 * * [simplify]: iters left: 3 (286 enodes)
9.770 * * [simplify]: Extracting #0: cost 1 inf + 0
9.770 * * [simplify]: Extracting #1: cost 131 inf + 0
9.771 * * [simplify]: Extracting #2: cost 398 inf + 322
9.774 * * [simplify]: Extracting #3: cost 438 inf + 32484
9.788 * * [simplify]: Extracting #4: cost 183 inf + 417667
9.841 * * [simplify]: Extracting #5: cost 12 inf + 694615
9.884 * * [simplify]: Extracting #6: cost 0 inf + 714411
9.923 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
9.923 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
9.923 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.924 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
9.924 * * [simplify]: iters left: 6 (12 enodes)
9.927 * * [simplify]: iters left: 5 (33 enodes)
9.935 * * [simplify]: iters left: 4 (84 enodes)
9.954 * * [simplify]: iters left: 3 (286 enodes)
10.152 * * [simplify]: Extracting #0: cost 1 inf + 0
10.152 * * [simplify]: Extracting #1: cost 131 inf + 0
10.155 * * [simplify]: Extracting #2: cost 398 inf + 322
10.159 * * [simplify]: Extracting #3: cost 438 inf + 32484
10.181 * * [simplify]: Extracting #4: cost 183 inf + 417667
10.217 * * [simplify]: Extracting #5: cost 12 inf + 694615
10.266 * * [simplify]: Extracting #6: cost 0 inf + 714411
10.317 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
10.317 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
10.317 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
10.317 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
10.317 * * [simplify]: iters left: 6 (12 enodes)
10.320 * * [simplify]: iters left: 5 (33 enodes)
10.327 * * [simplify]: iters left: 4 (84 enodes)
10.348 * * [simplify]: iters left: 3 (286 enodes)
10.544 * * [simplify]: Extracting #0: cost 1 inf + 0
10.545 * * [simplify]: Extracting #1: cost 131 inf + 0
10.546 * * [simplify]: Extracting #2: cost 398 inf + 322
10.549 * * [simplify]: Extracting #3: cost 438 inf + 32484
10.564 * * [simplify]: Extracting #4: cost 183 inf + 417667
10.604 * * [simplify]: Extracting #5: cost 12 inf + 694615
10.644 * * [simplify]: Extracting #6: cost 0 inf + 714411
10.682 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
10.682 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
10.683 * * * [progress]: adding candidates to table
11.250 * [progress]: [Phase 3 of 3] Extracting.
11.251 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))))> #<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))))> #<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 (*.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))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<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))))> #<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 i) (*.p16 (real->posit16 2) 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) (real->posit16 1.0)) (*.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)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.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 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>)
11.254 * * * [regime-changes]: Trying 1 branch expressions: (i)
11.254 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))))> #<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))))> #<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 (*.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))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<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))))> #<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 i) (*.p16 (real->posit16 2) 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) (real->posit16 1.0)) (*.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)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.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 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>)
11.489 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
11.489 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
11.489 * * [simplify]: iters left: 6 (13 enodes)
11.491 * * [simplify]: Extracting #0: cost 1 inf + 0
11.491 * * [simplify]: Extracting #1: cost 3 inf + 0
11.491 * * [simplify]: Extracting #2: cost 7 inf + 0
11.491 * * [simplify]: Extracting #3: cost 11 inf + 0
11.491 * * [simplify]: Extracting #4: cost 8 inf + 5
11.491 * * [simplify]: Extracting #5: cost 4 inf + 1535
11.492 * * [simplify]: Extracting #6: cost 2 inf + 4421
11.492 * * [simplify]: Extracting #7: cost 0 inf + 8987
11.492 * [simplify]: Simplified to (/.p16 (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) i) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
11.492 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.503 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.506 * * * * [points]: Setting MPFR precision to 64
11.507 * * * * [points]: Setting MPFR precision to 320
11.508 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.511 * * * * [points]: Setting MPFR precision to 64
11.512 * * * * [points]: Setting MPFR precision to 320
11.514 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.517 * * * * [points]: Setting MPFR precision to 64
11.520 * * * * [points]: Setting MPFR precision to 320
11.523 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.526 * * * * [points]: Setting MPFR precision to 64
11.532 * * * * [points]: Setting MPFR precision to 320
11.538 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.540 * * * * [points]: Setting MPFR precision to 64
11.568 * * * * [points]: Setting MPFR precision to 320
11.590 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.595 * * * * [points]: Setting MPFR precision to 64
11.642 * * * * [points]: Setting MPFR precision to 320
11.687 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.693 * * * * [points]: Setting MPFR precision to 64
11.784 * * * * [points]: Setting MPFR precision to 320
11.902 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.907 * * * * [points]: Setting MPFR precision to 64
12.125 * * * * [points]: Setting MPFR precision to 320
12.298 * * * * [points]: Computing exacts for 8000 points
12.304 * * * * [points]: Setting MPFR precision to 64
12.855 * * * * [points]: Setting MPFR precision to 320
13.555 * * * * [points]: Filtering points with unrepresentable outputs
13.567 * * * * [points]: Sampling 3986 additional inputs, on iter 1 have 4014 / 8000
13.617 * * * * [points]: Computing exacts on every 249 of 3986 points to ramp up precision
13.624 * * * * [points]: Setting MPFR precision to 64
13.626 * * * * [points]: Setting MPFR precision to 320
13.627 * * * * [points]: Computing exacts on every 124 of 3986 points to ramp up precision
13.633 * * * * [points]: Setting MPFR precision to 64
13.636 * * * * [points]: Setting MPFR precision to 320
13.639 * * * * [points]: Computing exacts on every 62 of 3986 points to ramp up precision
13.645 * * * * [points]: Setting MPFR precision to 64
13.651 * * * * [points]: Setting MPFR precision to 320
13.657 * * * * [points]: Computing exacts on every 31 of 3986 points to ramp up precision
13.662 * * * * [points]: Setting MPFR precision to 64
13.672 * * * * [points]: Setting MPFR precision to 320
13.682 * * * * [points]: Computing exacts on every 15 of 3986 points to ramp up precision
13.687 * * * * [points]: Setting MPFR precision to 64
13.707 * * * * [points]: Setting MPFR precision to 320
13.722 * * * * [points]: Computing exacts on every 7 of 3986 points to ramp up precision
13.724 * * * * [points]: Setting MPFR precision to 64
13.749 * * * * [points]: Setting MPFR precision to 320
13.802 * * * * [points]: Computing exacts on every 3 of 3986 points to ramp up precision
13.805 * * * * [points]: Setting MPFR precision to 64
13.853 * * * * [points]: Setting MPFR precision to 320
13.903 * * * * [points]: Computing exacts for 3986 points
13.906 * * * * [points]: Setting MPFR precision to 64
14.637 * * * * [points]: Setting MPFR precision to 320
15.071 * * * * [points]: Filtering points with unrepresentable outputs
15.078 * * * * [points]: Sampling 1986 additional inputs, on iter 2 have 6014 / 8000
15.083 * * * * [points]: Computing exacts on every 124 of 1986 points to ramp up precision
15.089 * * * * [points]: Setting MPFR precision to 64
15.090 * * * * [points]: Setting MPFR precision to 320
15.091 * * * * [points]: Computing exacts on every 62 of 1986 points to ramp up precision
15.096 * * * * [points]: Setting MPFR precision to 64
15.099 * * * * [points]: Setting MPFR precision to 320
15.102 * * * * [points]: Computing exacts on every 31 of 1986 points to ramp up precision
15.108 * * * * [points]: Setting MPFR precision to 64
15.114 * * * * [points]: Setting MPFR precision to 320
15.119 * * * * [points]: Computing exacts on every 15 of 1986 points to ramp up precision
15.124 * * * * [points]: Setting MPFR precision to 64
15.135 * * * * [points]: Setting MPFR precision to 320
15.147 * * * * [points]: Computing exacts on every 7 of 1986 points to ramp up precision
15.153 * * * * [points]: Setting MPFR precision to 64
15.176 * * * * [points]: Setting MPFR precision to 320
15.198 * * * * [points]: Computing exacts on every 3 of 1986 points to ramp up precision
15.239 * * * * [points]: Setting MPFR precision to 64
15.285 * * * * [points]: Setting MPFR precision to 320
15.322 * * * * [points]: Computing exacts for 1986 points
15.325 * * * * [points]: Setting MPFR precision to 64
15.447 * * * * [points]: Setting MPFR precision to 320
15.631 * * * * [points]: Filtering points with unrepresentable outputs
15.636 * * * * [points]: Sampling 1007 additional inputs, on iter 3 have 6993 / 8000
15.639 * * * * [points]: Computing exacts on every 62 of 1007 points to ramp up precision
15.644 * * * * [points]: Setting MPFR precision to 64
15.646 * * * * [points]: Setting MPFR precision to 320
15.647 * * * * [points]: Computing exacts on every 31 of 1007 points to ramp up precision
15.653 * * * * [points]: Setting MPFR precision to 64
15.656 * * * * [points]: Setting MPFR precision to 320
15.659 * * * * [points]: Computing exacts on every 15 of 1007 points to ramp up precision
15.664 * * * * [points]: Setting MPFR precision to 64
15.670 * * * * [points]: Setting MPFR precision to 320
15.676 * * * * [points]: Computing exacts on every 7 of 1007 points to ramp up precision
15.682 * * * * [points]: Setting MPFR precision to 64
15.693 * * * * [points]: Setting MPFR precision to 320
15.705 * * * * [points]: Computing exacts on every 3 of 1007 points to ramp up precision
15.710 * * * * [points]: Setting MPFR precision to 64
15.723 * * * * [points]: Setting MPFR precision to 320
15.736 * * * * [points]: Computing exacts for 1007 points
15.739 * * * * [points]: Setting MPFR precision to 64
15.815 * * * * [points]: Setting MPFR precision to 320
15.864 * * * * [points]: Filtering points with unrepresentable outputs
15.864 * * * * [points]: Sampling 496 additional inputs, on iter 4 have 7504 / 8000
15.865 * * * * [points]: Computing exacts on every 31 of 496 points to ramp up precision
15.869 * * * * [points]: Setting MPFR precision to 64
15.870 * * * * [points]: Setting MPFR precision to 320
15.872 * * * * [points]: Computing exacts on every 15 of 496 points to ramp up precision
15.877 * * * * [points]: Setting MPFR precision to 64
15.880 * * * * [points]: Setting MPFR precision to 320
15.883 * * * * [points]: Computing exacts on every 7 of 496 points to ramp up precision
15.888 * * * * [points]: Setting MPFR precision to 64
15.894 * * * * [points]: Setting MPFR precision to 320
15.900 * * * * [points]: Computing exacts on every 3 of 496 points to ramp up precision
15.906 * * * * [points]: Setting MPFR precision to 64
15.919 * * * * [points]: Setting MPFR precision to 320
15.930 * * * * [points]: Computing exacts for 496 points
15.935 * * * * [points]: Setting MPFR precision to 64
16.021 * * * * [points]: Setting MPFR precision to 320
16.068 * * * * [points]: Filtering points with unrepresentable outputs
16.069 * * * * [points]: Sampling 246 additional inputs, on iter 5 have 7754 / 8000
16.070 * * * * [points]: Computing exacts on every 15 of 246 points to ramp up precision
16.075 * * * * [points]: Setting MPFR precision to 64
16.077 * * * * [points]: Setting MPFR precision to 320
16.078 * * * * [points]: Computing exacts on every 7 of 246 points to ramp up precision
16.083 * * * * [points]: Setting MPFR precision to 64
16.086 * * * * [points]: Setting MPFR precision to 320
16.089 * * * * [points]: Computing exacts on every 3 of 246 points to ramp up precision
16.094 * * * * [points]: Setting MPFR precision to 64
16.100 * * * * [points]: Setting MPFR precision to 320
16.104 * * * * [points]: Computing exacts for 246 points
16.109 * * * * [points]: Setting MPFR precision to 64
16.132 * * * * [points]: Setting MPFR precision to 320
16.154 * * * * [points]: Filtering points with unrepresentable outputs
16.154 * * * * [points]: Sampling 114 additional inputs, on iter 6 have 7886 / 8000
16.154 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
16.160 * * * * [points]: Setting MPFR precision to 64
16.161 * * * * [points]: Setting MPFR precision to 320
16.162 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
16.167 * * * * [points]: Setting MPFR precision to 64
16.170 * * * * [points]: Setting MPFR precision to 320
16.215 * * * * [points]: Computing exacts for 114 points
16.221 * * * * [points]: Setting MPFR precision to 64
16.233 * * * * [points]: Setting MPFR precision to 320
16.244 * * * * [points]: Filtering points with unrepresentable outputs
16.244 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000
16.244 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
16.249 * * * * [points]: Setting MPFR precision to 64
16.251 * * * * [points]: Setting MPFR precision to 320
16.252 * * * * [points]: Computing exacts for 59 points
16.257 * * * * [points]: Setting MPFR precision to 64
16.261 * * * * [points]: Setting MPFR precision to 320
16.264 * * * * [points]: Filtering points with unrepresentable outputs
16.264 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000
16.264 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
16.267 * * * * [points]: Setting MPFR precision to 64
16.268 * * * * [points]: Setting MPFR precision to 320
16.268 * * * * [points]: Computing exacts for 38 points
16.271 * * * * [points]: Setting MPFR precision to 64
16.273 * * * * [points]: Setting MPFR precision to 320
16.275 * * * * [points]: Filtering points with unrepresentable outputs
16.275 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000
16.275 * * * * [points]: Computing exacts for 20 points
16.278 * * * * [points]: Setting MPFR precision to 64
16.279 * * * * [points]: Setting MPFR precision to 320
16.280 * * * * [points]: Filtering points with unrepresentable outputs
16.280 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
16.280 * * * * [points]: Computing exacts for 10 points
16.282 * * * * [points]: Setting MPFR precision to 64
16.283 * * * * [points]: Setting MPFR precision to 320
16.284 * * * * [points]: Filtering points with unrepresentable outputs
16.284 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000
16.284 * * * * [points]: Computing exacts for 5 points
16.286 * * * * [points]: Setting MPFR precision to 64
16.287 * * * * [points]: Setting MPFR precision to 320
16.287 * * * * [points]: Filtering points with unrepresentable outputs
16.287 * * * * [points]: Sampling 5 additional inputs, on iter 12 have 7995 / 8000
16.287 * * * * [points]: Computing exacts for 5 points
16.289 * * * * [points]: Setting MPFR precision to 64
16.290 * * * * [points]: Setting MPFR precision to 320
16.290 * * * * [points]: Filtering points with unrepresentable outputs
16.290 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000
16.290 * * * * [points]: Computing exacts for 4 points
16.293 * * * * [points]: Setting MPFR precision to 64
16.293 * * * * [points]: Setting MPFR precision to 320
16.293 * * * * [points]: Filtering points with unrepresentable outputs
16.293 * * * * [points]: Sampled 8001 points with exact outputs
22.709 * [regime-testing]: Baseline error score: 64.0
22.713 * [regime-testing]: Oracle error score: 64.0
22.722 * [regime-testing]: End program error score: 0.3754102709242276