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.003 * * * * [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.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Computing exacts for 256 points
0.047 * * * * [points]: Setting MPFR precision to 64
0.065 * * * * [points]: Setting MPFR precision to 320
0.083 * * * * [points]: Filtering points with unrepresentable outputs
0.083 * * * * [points]: Sampling 114 additional inputs, on iter 1 have 142 / 256
0.084 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
0.087 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
0.093 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.097 * * * * [points]: Computing exacts for 114 points
0.101 * * * * [points]: Setting MPFR precision to 64
0.109 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Filtering points with unrepresentable outputs
0.117 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.117 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.121 * * * * [points]: Setting MPFR precision to 64
0.122 * * * * [points]: Setting MPFR precision to 320
0.123 * * * * [points]: Computing exacts for 59 points
0.126 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.135 * * * * [points]: Filtering points with unrepresentable outputs
0.135 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256
0.135 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.138 * * * * [points]: Setting MPFR precision to 64
0.139 * * * * [points]: Setting MPFR precision to 320
0.140 * * * * [points]: Computing exacts for 33 points
0.143 * * * * [points]: Setting MPFR precision to 64
0.167 * * * * [points]: Setting MPFR precision to 320
0.170 * * * * [points]: Filtering points with unrepresentable outputs
0.170 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.170 * * * * [points]: Computing exacts for 17 points
0.173 * * * * [points]: Setting MPFR precision to 64
0.175 * * * * [points]: Setting MPFR precision to 320
0.176 * * * * [points]: Filtering points with unrepresentable outputs
0.178 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.178 * * * * [points]: Computing exacts for 10 points
0.182 * * * * [points]: Setting MPFR precision to 64
0.182 * * * * [points]: Setting MPFR precision to 320
0.183 * * * * [points]: Filtering points with unrepresentable outputs
0.183 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.183 * * * * [points]: Computing exacts for 6 points
0.187 * * * * [points]: Setting MPFR precision to 64
0.188 * * * * [points]: Setting MPFR precision to 320
0.188 * * * * [points]: Filtering points with unrepresentable outputs
0.188 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.188 * * * * [points]: Computing exacts for 4 points
0.192 * * * * [points]: Setting MPFR precision to 64
0.192 * * * * [points]: Setting MPFR precision to 320
0.192 * * * * [points]: Filtering points with unrepresentable outputs
0.192 * * * * [points]: Sampled 258 points with exact outputs
0.193 * * * [progress]: [2/2] Setting up program.
0.210 * [progress]: [Phase 2 of 3] Improving.
0.210 * * * * [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.210 * [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.210 * * [simplify]: iters left: 5 (12 enodes)
0.215 * * [simplify]: iters left: 4 (43 enodes)
0.229 * * [simplify]: iters left: 3 (170 enodes)
0.289 * * [simplify]: Extracting #0: cost 1 inf + 0
0.289 * * [simplify]: Extracting #1: cost 78 inf + 0
0.290 * * [simplify]: Extracting #2: cost 269 inf + 322
0.291 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.295 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.313 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.337 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.366 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.391 * [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.391 * [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.427 * * [progress]: iteration 1 / 4
0.427 * * * [progress]: picking best candidate
0.450 * * * * [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.450 * * * [progress]: localizing error
0.671 * * * [progress]: generating rewritten candidates
0.671 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.694 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.709 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.723 * * * [progress]: generating series expansions
0.723 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.724 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.724 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.724 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.724 * * * [progress]: simplifying candidates
0.724 * * * * [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.724 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
0.724 * * [simplify]: iters left: 2 (4 enodes)
0.726 * * [simplify]: iters left: 1 (8 enodes)
0.728 * * [simplify]: Extracting #0: cost 1 inf + 0
0.728 * * [simplify]: Extracting #1: cost 3 inf + 0
0.728 * * [simplify]: Extracting #2: cost 3 inf + 1
0.728 * * [simplify]: Extracting #3: cost 2 inf + 2
0.728 * * [simplify]: Extracting #4: cost 0 inf + 325
0.728 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
0.728 * [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.728 * * * * [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.729 * [simplify]: Simplifying (*.p16 i i)
0.729 * * [simplify]: iters left: 1 (2 enodes)
0.729 * * [simplify]: Extracting #0: cost 1 inf + 0
0.729 * * [simplify]: Extracting #1: cost 2 inf + 0
0.729 * * [simplify]: Extracting #2: cost 1 inf + 1
0.729 * * [simplify]: Extracting #3: cost 0 inf + 322
0.730 * [simplify]: Simplified to (*.p16 i i)
0.730 * [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.730 * * * * [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.730 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.730 * * [simplify]: iters left: 3 (6 enodes)
0.732 * * [simplify]: iters left: 2 (17 enodes)
0.738 * * [simplify]: iters left: 1 (32 enodes)
0.750 * * [simplify]: Extracting #0: cost 1 inf + 0
0.750 * * [simplify]: Extracting #1: cost 11 inf + 0
0.750 * * [simplify]: Extracting #2: cost 13 inf + 1
0.751 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.751 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.752 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.752 * [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.752 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.752 * * [simplify]: iters left: 3 (6 enodes)
0.755 * * [simplify]: iters left: 2 (17 enodes)
0.760 * * [simplify]: iters left: 1 (32 enodes)
0.771 * * [simplify]: Extracting #0: cost 1 inf + 0
0.771 * * [simplify]: Extracting #1: cost 11 inf + 0
0.771 * * [simplify]: Extracting #2: cost 13 inf + 1
0.772 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.772 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.772 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.772 * [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.772 * * * * [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.773 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
0.773 * * [simplify]: iters left: 3 (7 enodes)
0.776 * * [simplify]: iters left: 2 (19 enodes)
0.781 * * [simplify]: iters left: 1 (37 enodes)
0.791 * * [simplify]: Extracting #0: cost 1 inf + 0
0.791 * * [simplify]: Extracting #1: cost 10 inf + 0
0.791 * * [simplify]: Extracting #2: cost 21 inf + 0
0.791 * * [simplify]: Extracting #3: cost 27 inf + 165
0.791 * * [simplify]: Extracting #4: cost 27 inf + 167
0.791 * * [simplify]: Extracting #5: cost 18 inf + 4946
0.794 * * [simplify]: Extracting #6: cost 0 inf + 22111
0.795 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
0.795 * [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.795 * * * * [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.795 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.795 * * [simplify]: iters left: 3 (6 enodes)
0.797 * * [simplify]: iters left: 2 (17 enodes)
0.800 * * [simplify]: iters left: 1 (32 enodes)
0.809 * * [simplify]: Extracting #0: cost 1 inf + 0
0.809 * * [simplify]: Extracting #1: cost 11 inf + 0
0.810 * * [simplify]: Extracting #2: cost 13 inf + 1
0.810 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.810 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.811 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.811 * [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.811 * * * * [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.811 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
0.811 * * [simplify]: iters left: 4 (8 enodes)
0.814 * * [simplify]: iters left: 3 (18 enodes)
0.819 * * [simplify]: iters left: 2 (25 enodes)
0.826 * * [simplify]: iters left: 1 (29 enodes)
0.833 * * [simplify]: Extracting #0: cost 1 inf + 0
0.833 * * [simplify]: Extracting #1: cost 3 inf + 0
0.833 * * [simplify]: Extracting #2: cost 11 inf + 0
0.833 * * [simplify]: Extracting #3: cost 8 inf + 324
0.833 * * [simplify]: Extracting #4: cost 7 inf + 325
0.834 * * [simplify]: Extracting #5: cost 0 inf + 3578
0.834 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.834 * [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.834 * * * * [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.835 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
0.835 * * [simplify]: iters left: 2 (3 enodes)
0.836 * * [simplify]: iters left: 1 (9 enodes)
0.838 * * [simplify]: Extracting #0: cost 1 inf + 0
0.838 * * [simplify]: Extracting #1: cost 4 inf + 0
0.838 * * [simplify]: Extracting #2: cost 3 inf + 1
0.838 * * [simplify]: Extracting #3: cost 0 inf + 1604
0.838 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
0.838 * [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.839 * * * * [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.839 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.839 * * [simplify]: iters left: 4 (10 enodes)
0.843 * * [simplify]: iters left: 3 (25 enodes)
0.851 * * [simplify]: iters left: 2 (51 enodes)
0.876 * * [simplify]: iters left: 1 (112 enodes)
0.949 * * [simplify]: Extracting #0: cost 1 inf + 0
0.949 * * [simplify]: Extracting #1: cost 57 inf + 0
0.950 * * [simplify]: Extracting #2: cost 185 inf + 763
0.952 * * [simplify]: Extracting #3: cost 127 inf + 36834
0.956 * * [simplify]: Extracting #4: cost 71 inf + 75466
0.965 * * [simplify]: Extracting #5: cost 6 inf + 143781
0.974 * * [simplify]: Extracting #6: cost 0 inf + 152919
0.984 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
0.984 * [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.984 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.984 * * [simplify]: iters left: 4 (10 enodes)
0.988 * * [simplify]: iters left: 3 (31 enodes)
1.001 * * [simplify]: iters left: 2 (84 enodes)
1.041 * * [simplify]: iters left: 1 (243 enodes)
1.227 * * [simplify]: Extracting #0: cost 1 inf + 0
1.227 * * [simplify]: Extracting #1: cost 69 inf + 0
1.228 * * [simplify]: Extracting #2: cost 292 inf + 763
1.229 * * [simplify]: Extracting #3: cost 290 inf + 19278
1.234 * * [simplify]: Extracting #4: cost 211 inf + 140467
1.252 * * [simplify]: Extracting #5: cost 50 inf + 372763
1.280 * * [simplify]: Extracting #6: cost 0 inf + 397205
1.307 * * [simplify]: Extracting #7: cost 0 inf + 392365
1.332 * * [simplify]: Extracting #8: cost 0 inf + 392245
1.361 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1.361 * [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.361 * * * * [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.362 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.362 * * [simplify]: iters left: 3 (7 enodes)
1.365 * * [simplify]: iters left: 2 (13 enodes)
1.369 * * [simplify]: Extracting #0: cost 1 inf + 0
1.369 * * [simplify]: Extracting #1: cost 3 inf + 0
1.369 * * [simplify]: Extracting #2: cost 6 inf + 0
1.369 * * [simplify]: Extracting #3: cost 4 inf + 3
1.369 * * [simplify]: Extracting #4: cost 3 inf + 4
1.369 * * [simplify]: Extracting #5: cost 0 inf + 690
1.370 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.370 * [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.370 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.370 * * [simplify]: iters left: 3 (7 enodes)
1.373 * * [simplify]: iters left: 2 (19 enodes)
1.379 * * [simplify]: iters left: 1 (37 enodes)
1.390 * * [simplify]: Extracting #0: cost 1 inf + 0
1.390 * * [simplify]: Extracting #1: cost 10 inf + 0
1.390 * * [simplify]: Extracting #2: cost 21 inf + 0
1.390 * * [simplify]: Extracting #3: cost 27 inf + 165
1.391 * * [simplify]: Extracting #4: cost 27 inf + 167
1.391 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.392 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.394 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.394 * [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.394 * * * * [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.394 * * * * [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.394 * * * * [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.394 * * * * [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.394 * * * * [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.394 * * * * [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.395 * [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.395 * * [simplify]: iters left: 5 (12 enodes)
1.400 * * [simplify]: iters left: 4 (43 enodes)
1.416 * * [simplify]: iters left: 3 (170 enodes)
1.503 * * [simplify]: Extracting #0: cost 1 inf + 0
1.503 * * [simplify]: Extracting #1: cost 78 inf + 0
1.504 * * [simplify]: Extracting #2: cost 269 inf + 322
1.506 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.512 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.528 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.548 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.572 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.599 * [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.599 * [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.599 * * * * [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.600 * [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.600 * * [simplify]: iters left: 5 (12 enodes)
1.606 * * [simplify]: iters left: 4 (43 enodes)
1.621 * * [simplify]: iters left: 3 (170 enodes)
1.715 * * [simplify]: Extracting #0: cost 1 inf + 0
1.716 * * [simplify]: Extracting #1: cost 78 inf + 0
1.717 * * [simplify]: Extracting #2: cost 269 inf + 322
1.719 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.725 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.746 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.772 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.794 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.812 * [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.812 * [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.812 * * * * [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.813 * [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.813 * * [simplify]: iters left: 5 (12 enodes)
1.816 * * [simplify]: iters left: 4 (43 enodes)
1.826 * * [simplify]: iters left: 3 (170 enodes)
1.902 * * [simplify]: Extracting #0: cost 1 inf + 0
1.902 * * [simplify]: Extracting #1: cost 78 inf + 0
1.903 * * [simplify]: Extracting #2: cost 269 inf + 322
1.905 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.911 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.930 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.956 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.981 * * [simplify]: Extracting #7: cost 0 inf + 407040
2.009 * [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))
2.009 * [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)))
2.010 * * * * [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))))>
2.010 * [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)))
2.010 * * [simplify]: iters left: 5 (12 enodes)
2.015 * * [simplify]: iters left: 4 (43 enodes)
2.029 * * [simplify]: iters left: 3 (170 enodes)
2.109 * * [simplify]: Extracting #0: cost 1 inf + 0
2.109 * * [simplify]: Extracting #1: cost 78 inf + 0
2.110 * * [simplify]: Extracting #2: cost 269 inf + 322
2.112 * * [simplify]: Extracting #3: cost 284 inf + 8772
2.117 * * [simplify]: Extracting #4: cost 196 inf + 144483
2.138 * * [simplify]: Extracting #5: cost 27 inf + 409616
2.163 * * [simplify]: Extracting #6: cost 0 inf + 414512
2.189 * * [simplify]: Extracting #7: cost 0 inf + 407040
2.216 * [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))
2.217 * [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)))
2.217 * * * [progress]: adding candidates to table
2.875 * * [progress]: iteration 2 / 4
2.875 * * * [progress]: picking best candidate
3.051 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.051 * * * [progress]: localizing error
3.248 * * * [progress]: generating rewritten candidates
3.248 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.255 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.260 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.266 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.268 * * * [progress]: generating series expansions
3.268 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.268 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.268 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.268 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.268 * * * [progress]: simplifying candidates
3.268 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.268 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.269 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
3.269 * * [simplify]: iters left: 2 (4 enodes)
3.270 * * [simplify]: iters left: 1 (8 enodes)
3.271 * * [simplify]: Extracting #0: cost 1 inf + 0
3.271 * * [simplify]: Extracting #1: cost 3 inf + 0
3.271 * * [simplify]: Extracting #2: cost 3 inf + 1
3.271 * * [simplify]: Extracting #3: cost 2 inf + 2
3.271 * * [simplify]: Extracting #4: cost 0 inf + 325
3.271 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
3.271 * [simplify]: Simplified (2 1 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
3.271 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (/.p16 (*.p16 (real->posit16 2) i) i) (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.272 * [simplify]: Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
3.272 * * [simplify]: iters left: 3 (5 enodes)
3.273 * * [simplify]: iters left: 2 (11 enodes)
3.275 * * [simplify]: iters left: 1 (15 enodes)
3.277 * * [simplify]: Extracting #0: cost 1 inf + 0
3.277 * * [simplify]: Extracting #1: cost 7 inf + 0
3.277 * * [simplify]: Extracting #2: cost 5 inf + 443
3.277 * * [simplify]: Extracting #3: cost 1 inf + 1329
3.278 * * [simplify]: Extracting #4: cost 0 inf + 1211
3.278 * [simplify]: Simplified to (real->posit16 2)
3.278 * [simplify]: Simplified (2 1 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
3.278 * [simplify]: Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
3.278 * * [simplify]: iters left: 3 (5 enodes)
3.279 * * [simplify]: iters left: 2 (11 enodes)
3.281 * * [simplify]: iters left: 1 (15 enodes)
3.288 * * [simplify]: Extracting #0: cost 1 inf + 0
3.289 * * [simplify]: Extracting #1: cost 7 inf + 0
3.289 * * [simplify]: Extracting #2: cost 5 inf + 443
3.289 * * [simplify]: Extracting #3: cost 1 inf + 1329
3.289 * * [simplify]: Extracting #4: cost 0 inf + 1211
3.289 * [simplify]: Simplified to (real->posit16 2)
3.289 * [simplify]: Simplified (2 1 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (/.p16 (*.p16 (real->posit16 2) i) i) (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
3.289 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
3.289 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
3.289 * * [simplify]: iters left: 3 (7 enodes)
3.291 * * [simplify]: iters left: 2 (19 enodes)
3.295 * * [simplify]: iters left: 1 (37 enodes)
3.302 * * [simplify]: Extracting #0: cost 1 inf + 0
3.302 * * [simplify]: Extracting #1: cost 10 inf + 0
3.302 * * [simplify]: Extracting #2: cost 21 inf + 0
3.302 * * [simplify]: Extracting #3: cost 27 inf + 165
3.302 * * [simplify]: Extracting #4: cost 27 inf + 167
3.302 * * [simplify]: Extracting #5: cost 18 inf + 4946
3.303 * * [simplify]: Extracting #6: cost 0 inf + 22111
3.304 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
3.304 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
3.304 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 i i))))>
3.305 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
3.305 * * [simplify]: iters left: 4 (7 enodes)
3.307 * * [simplify]: iters left: 3 (21 enodes)
3.311 * * [simplify]: iters left: 2 (56 enodes)
3.322 * * [simplify]: iters left: 1 (131 enodes)
3.367 * * [simplify]: Extracting #0: cost 1 inf + 0
3.367 * * [simplify]: Extracting #1: cost 24 inf + 0
3.367 * * [simplify]: Extracting #2: cost 36 inf + 322
3.367 * * [simplify]: Extracting #3: cost 26 inf + 3816
3.368 * * [simplify]: Extracting #4: cost 2 inf + 23105
3.370 * * [simplify]: Extracting #5: cost 0 inf + 24388
3.371 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 2) (real->posit16 2)))
3.371 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 2) (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 i i))))
3.371 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)))))>
3.371 * [simplify]: Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
3.371 * * [simplify]: iters left: 4 (6 enodes)
3.373 * * [simplify]: iters left: 3 (14 enodes)
3.375 * * [simplify]: iters left: 2 (24 enodes)
3.380 * * [simplify]: iters left: 1 (43 enodes)
3.398 * * [simplify]: Extracting #0: cost 1 inf + 0
3.398 * * [simplify]: Extracting #1: cost 17 inf + 0
3.398 * * [simplify]: Extracting #2: cost 34 inf + 1
3.398 * * [simplify]: Extracting #3: cost 27 inf + 2848
3.398 * * [simplify]: Extracting #4: cost 13 inf + 9234
3.399 * * [simplify]: Extracting #5: cost 3 inf + 16295
3.400 * * [simplify]: Extracting #6: cost 0 inf + 18782
3.401 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
3.401 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)))))
3.401 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.401 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
3.401 * * [simplify]: iters left: 4 (8 enodes)
3.403 * * [simplify]: iters left: 3 (18 enodes)
3.406 * * [simplify]: iters left: 2 (25 enodes)
3.410 * * [simplify]: iters left: 1 (29 enodes)
3.416 * * [simplify]: Extracting #0: cost 1 inf + 0
3.416 * * [simplify]: Extracting #1: cost 3 inf + 0
3.416 * * [simplify]: Extracting #2: cost 11 inf + 0
3.416 * * [simplify]: Extracting #3: cost 8 inf + 324
3.417 * * [simplify]: Extracting #4: cost 7 inf + 325
3.417 * * [simplify]: Extracting #5: cost 0 inf + 3578
3.417 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
3.417 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
3.417 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))>
3.417 * [simplify]: Simplifying (*.p16 i i)
3.417 * * [simplify]: iters left: 1 (2 enodes)
3.418 * * [simplify]: Extracting #0: cost 1 inf + 0
3.418 * * [simplify]: Extracting #1: cost 2 inf + 0
3.418 * * [simplify]: Extracting #2: cost 1 inf + 1
3.418 * * [simplify]: Extracting #3: cost 0 inf + 322
3.418 * [simplify]: Simplified to (*.p16 i i)
3.418 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)))))
3.418 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
3.418 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.418 * * [simplify]: iters left: 5 (11 enodes)
3.421 * * [simplify]: iters left: 4 (29 enodes)
3.426 * * [simplify]: iters left: 3 (79 enodes)
3.442 * * [simplify]: iters left: 2 (232 enodes)
3.648 * * [simplify]: Extracting #0: cost 1 inf + 0
3.648 * * [simplify]: Extracting #1: cost 69 inf + 0
3.649 * * [simplify]: Extracting #2: cost 132 inf + 322
3.650 * * [simplify]: Extracting #3: cost 124 inf + 6535
3.653 * * [simplify]: Extracting #4: cost 75 inf + 59012
3.663 * * [simplify]: Extracting #5: cost 7 inf + 134884
3.675 * * [simplify]: Extracting #6: cost 0 inf + 139219
3.686 * * [simplify]: Extracting #7: cost 0 inf + 138896
3.698 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 2))))
3.698 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 2)))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
3.699 * [simplify]: Simplifying (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.699 * * [simplify]: iters left: 4 (9 enodes)
3.702 * * [simplify]: iters left: 3 (23 enodes)
3.710 * * [simplify]: iters left: 2 (47 enodes)
3.728 * * [simplify]: iters left: 1 (130 enodes)
3.832 * * [simplify]: Extracting #0: cost 1 inf + 0
3.833 * * [simplify]: Extracting #1: cost 34 inf + 0
3.833 * * [simplify]: Extracting #2: cost 121 inf + 322
3.834 * * [simplify]: Extracting #3: cost 155 inf + 322
3.835 * * [simplify]: Extracting #4: cost 158 inf + 1609
3.839 * * [simplify]: Extracting #5: cost 122 inf + 37680
3.854 * * [simplify]: Extracting #6: cost 7 inf + 183205
3.872 * * [simplify]: Extracting #7: cost 0 inf + 192585
3.890 * [simplify]: Simplified to (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.890 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
3.890 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
3.890 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.891 * * [simplify]: iters left: 5 (10 enodes)
3.895 * * [simplify]: iters left: 4 (22 enodes)
3.903 * * [simplify]: iters left: 3 (39 enodes)
3.919 * * [simplify]: iters left: 2 (100 enodes)
4.042 * * [simplify]: iters left: 1 (391 enodes)
4.908 * * [simplify]: Extracting #0: cost 1 inf + 0
4.908 * * [simplify]: Extracting #1: cost 65 inf + 0
4.909 * * [simplify]: Extracting #2: cost 229 inf + 442
4.910 * * [simplify]: Extracting #3: cost 217 inf + 13851
4.915 * * [simplify]: Extracting #4: cost 93 inf + 128360
4.934 * * [simplify]: Extracting #5: cost 5 inf + 243742
4.959 * * [simplify]: Extracting #6: cost 0 inf + 250114
4.980 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
4.980 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
4.980 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.980 * * [simplify]: iters left: 5 (10 enodes)
4.985 * * [simplify]: iters left: 4 (28 enodes)
4.995 * * [simplify]: iters left: 3 (72 enodes)
5.020 * * [simplify]: iters left: 2 (214 enodes)
5.210 * * [simplify]: Extracting #0: cost 1 inf + 0
5.210 * * [simplify]: Extracting #1: cost 61 inf + 0
5.211 * * [simplify]: Extracting #2: cost 251 inf + 1
5.212 * * [simplify]: Extracting #3: cost 264 inf + 9678
5.216 * * [simplify]: Extracting #4: cost 213 inf + 79781
5.228 * * [simplify]: Extracting #5: cost 49 inf + 282271
5.244 * * [simplify]: Extracting #6: cost 1 inf + 352514
5.264 * * [simplify]: Extracting #7: cost 0 inf + 354277
5.283 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
5.283 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
5.283 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.283 * [simplify]: Simplifying (/.p16 (*.p16 (real->posit16 2) i) i)
5.283 * * [simplify]: iters left: 3 (5 enodes)
5.285 * * [simplify]: iters left: 2 (11 enodes)
5.287 * * [simplify]: iters left: 1 (15 enodes)
5.289 * * [simplify]: Extracting #0: cost 1 inf + 0
5.289 * * [simplify]: Extracting #1: cost 7 inf + 0
5.289 * * [simplify]: Extracting #2: cost 5 inf + 443
5.290 * * [simplify]: Extracting #3: cost 1 inf + 1329
5.290 * * [simplify]: Extracting #4: cost 0 inf + 1211
5.290 * [simplify]: Simplified to (real->posit16 2)
5.290 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
5.290 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i)) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.290 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 i i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.290 * [simplify]: Simplifying (*.p16 i i)
5.290 * * [simplify]: iters left: 1 (2 enodes)
5.291 * * [simplify]: Extracting #0: cost 1 inf + 0
5.291 * * [simplify]: Extracting #1: cost 2 inf + 0
5.291 * * [simplify]: Extracting #2: cost 1 inf + 1
5.291 * * [simplify]: Extracting #3: cost 0 inf + 322
5.291 * [simplify]: Simplified to (*.p16 i i)
5.291 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 i i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
5.291 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.291 * [simplify]: Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
5.291 * * [simplify]: iters left: 4 (6 enodes)
5.292 * * [simplify]: iters left: 3 (14 enodes)
5.295 * * [simplify]: iters left: 2 (24 enodes)
5.299 * * [simplify]: iters left: 1 (43 enodes)
5.327 * * [simplify]: Extracting #0: cost 1 inf + 0
5.327 * * [simplify]: Extracting #1: cost 17 inf + 0
5.327 * * [simplify]: Extracting #2: cost 34 inf + 1
5.327 * * [simplify]: Extracting #3: cost 27 inf + 2848
5.328 * * [simplify]: Extracting #4: cost 13 inf + 9234
5.329 * * [simplify]: Extracting #5: cost 3 inf + 16295
5.330 * * [simplify]: Extracting #6: cost 0 inf + 18782
5.332 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
5.332 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
5.332 * [simplify]: Simplifying (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))
5.332 * * [simplify]: iters left: 4 (6 enodes)
5.335 * * [simplify]: iters left: 3 (14 enodes)
5.339 * * [simplify]: iters left: 2 (24 enodes)
5.347 * * [simplify]: iters left: 1 (43 enodes)
5.381 * * [simplify]: Extracting #0: cost 1 inf + 0
5.381 * * [simplify]: Extracting #1: cost 17 inf + 0
5.381 * * [simplify]: Extracting #2: cost 34 inf + 1
5.381 * * [simplify]: Extracting #3: cost 27 inf + 2848
5.382 * * [simplify]: Extracting #4: cost 13 inf + 9234
5.383 * * [simplify]: Extracting #5: cost 3 inf + 16295
5.384 * * [simplify]: Extracting #6: cost 0 inf + 18782
5.386 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
5.386 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
5.386 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
5.386 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
5.386 * * [simplify]: iters left: 3 (7 enodes)
5.389 * * [simplify]: iters left: 2 (13 enodes)
5.393 * * [simplify]: Extracting #0: cost 1 inf + 0
5.393 * * [simplify]: Extracting #1: cost 3 inf + 0
5.393 * * [simplify]: Extracting #2: cost 6 inf + 0
5.393 * * [simplify]: Extracting #3: cost 4 inf + 3
5.393 * * [simplify]: Extracting #4: cost 3 inf + 4
5.393 * * [simplify]: Extracting #5: cost 0 inf + 690
5.393 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.394 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
5.394 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
5.394 * * [simplify]: iters left: 3 (7 enodes)
5.397 * * [simplify]: iters left: 2 (19 enodes)
5.403 * * [simplify]: iters left: 1 (37 enodes)
5.411 * * [simplify]: Extracting #0: cost 1 inf + 0
5.411 * * [simplify]: Extracting #1: cost 10 inf + 0
5.411 * * [simplify]: Extracting #2: cost 21 inf + 0
5.412 * * [simplify]: Extracting #3: cost 27 inf + 165
5.412 * * [simplify]: Extracting #4: cost 27 inf + 167
5.412 * * [simplify]: Extracting #5: cost 18 inf + 4946
5.414 * * [simplify]: Extracting #6: cost 0 inf + 22111
5.416 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.416 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
5.417 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
5.417 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
5.417 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.417 * [simplify]: Simplifying (*.p16 i i)
5.417 * * [simplify]: iters left: 1 (2 enodes)
5.418 * * [simplify]: Extracting #0: cost 1 inf + 0
5.418 * * [simplify]: Extracting #1: cost 2 inf + 0
5.418 * * [simplify]: Extracting #2: cost 1 inf + 1
5.418 * * [simplify]: Extracting #3: cost 0 inf + 322
5.418 * [simplify]: Simplified to (*.p16 i i)
5.418 * [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))))
5.418 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.418 * [simplify]: Simplifying (*.p16 i i)
5.418 * * [simplify]: iters left: 1 (2 enodes)
5.419 * * [simplify]: Extracting #0: cost 1 inf + 0
5.419 * * [simplify]: Extracting #1: cost 2 inf + 0
5.419 * * [simplify]: Extracting #2: cost 1 inf + 1
5.419 * * [simplify]: Extracting #3: cost 0 inf + 322
5.419 * [simplify]: Simplified to (*.p16 i i)
5.419 * [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))))
5.419 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.420 * [simplify]: Simplifying (*.p16 i i)
5.420 * * [simplify]: iters left: 1 (2 enodes)
5.420 * * [simplify]: Extracting #0: cost 1 inf + 0
5.421 * * [simplify]: Extracting #1: cost 2 inf + 0
5.421 * * [simplify]: Extracting #2: cost 1 inf + 1
5.421 * * [simplify]: Extracting #3: cost 0 inf + 322
5.421 * [simplify]: Simplified to (*.p16 i i)
5.421 * [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))))
5.421 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
5.421 * [simplify]: Simplifying (*.p16 i i)
5.421 * * [simplify]: iters left: 1 (2 enodes)
5.422 * * [simplify]: Extracting #0: cost 1 inf + 0
5.422 * * [simplify]: Extracting #1: cost 2 inf + 0
5.422 * * [simplify]: Extracting #2: cost 1 inf + 1
5.422 * * [simplify]: Extracting #3: cost 0 inf + 322
5.422 * [simplify]: Simplified to (*.p16 i i)
5.422 * [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))))
5.422 * * * [progress]: adding candidates to table
6.117 * * [progress]: iteration 3 / 4
6.117 * * * [progress]: picking best candidate
6.254 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.254 * * * [progress]: localizing error
6.503 * * * [progress]: generating rewritten candidates
6.503 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.511 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.514 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
6.519 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
6.522 * * * [progress]: generating series expansions
6.522 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.522 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.522 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.522 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
6.522 * * * [progress]: simplifying candidates
6.522 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.522 * [simplify]: Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
6.522 * * [simplify]: iters left: 3 (5 enodes)
6.524 * * [simplify]: iters left: 2 (11 enodes)
6.526 * * [simplify]: Extracting #0: cost 1 inf + 0
6.526 * * [simplify]: Extracting #1: cost 4 inf + 0
6.526 * * [simplify]: Extracting #2: cost 4 inf + 1
6.526 * * [simplify]: Extracting #3: cost 5 inf + 1
6.526 * * [simplify]: Extracting #4: cost 0 inf + 1529
6.526 * [simplify]: Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
6.526 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
6.526 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.526 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))>
6.526 * [simplify]: Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
6.526 * * [simplify]: iters left: 3 (5 enodes)
6.528 * * [simplify]: iters left: 2 (11 enodes)
6.529 * * [simplify]: Extracting #0: cost 1 inf + 0
6.529 * * [simplify]: Extracting #1: cost 4 inf + 0
6.529 * * [simplify]: Extracting #2: cost 4 inf + 1
6.529 * * [simplify]: Extracting #3: cost 5 inf + 1
6.529 * * [simplify]: Extracting #4: cost 0 inf + 1529
6.529 * [simplify]: Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
6.530 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i))))
6.530 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.530 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
6.530 * * [simplify]: iters left: 3 (7 enodes)
6.532 * * [simplify]: iters left: 2 (13 enodes)
6.534 * * [simplify]: Extracting #0: cost 1 inf + 0
6.534 * * [simplify]: Extracting #1: cost 3 inf + 0
6.534 * * [simplify]: Extracting #2: cost 6 inf + 0
6.534 * * [simplify]: Extracting #3: cost 4 inf + 3
6.534 * * [simplify]: Extracting #4: cost 3 inf + 4
6.534 * * [simplify]: Extracting #5: cost 0 inf + 690
6.534 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.534 * [simplify]: Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
6.535 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i)))))>
6.535 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.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))))>
6.535 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
6.535 * * [simplify]: iters left: 3 (7 enodes)
6.537 * * [simplify]: iters left: 2 (13 enodes)
6.539 * * [simplify]: Extracting #0: cost 1 inf + 0
6.539 * * [simplify]: Extracting #1: cost 3 inf + 0
6.539 * * [simplify]: Extracting #2: cost 6 inf + 0
6.539 * * [simplify]: Extracting #3: cost 4 inf + 3
6.539 * * [simplify]: Extracting #4: cost 3 inf + 4
6.539 * * [simplify]: Extracting #5: cost 0 inf + 690
6.539 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.539 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.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))))
6.539 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.540 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
6.540 * * [simplify]: iters left: 3 (7 enodes)
6.541 * * [simplify]: iters left: 2 (19 enodes)
6.545 * * [simplify]: iters left: 1 (37 enodes)
6.552 * * [simplify]: Extracting #0: cost 1 inf + 0
6.552 * * [simplify]: Extracting #1: cost 10 inf + 0
6.552 * * [simplify]: Extracting #2: cost 21 inf + 0
6.553 * * [simplify]: Extracting #3: cost 27 inf + 165
6.553 * * [simplify]: Extracting #4: cost 27 inf + 167
6.553 * * [simplify]: Extracting #5: cost 18 inf + 4946
6.554 * * [simplify]: Extracting #6: cost 0 inf + 22111
6.555 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.555 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
6.555 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.555 * [simplify]: Simplifying (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.555 * * [simplify]: iters left: 6 (11 enodes)
6.558 * * [simplify]: iters left: 5 (34 enodes)
6.569 * * [simplify]: iters left: 4 (104 enodes)
6.607 * * [simplify]: iters left: 3 (419 enodes)
7.439 * * [simplify]: Extracting #0: cost 1 inf + 0
7.439 * * [simplify]: Extracting #1: cost 123 inf + 0
7.441 * * [simplify]: Extracting #2: cost 588 inf + 1203
7.444 * * [simplify]: Extracting #3: cost 590 inf + 31333
7.458 * * [simplify]: Extracting #4: cost 311 inf + 388566
7.502 * * [simplify]: Extracting #5: cost 32 inf + 846058
7.546 * * [simplify]: Extracting #6: cost 0 inf + 890217
7.592 * * [simplify]: Extracting #7: cost 0 inf + 889497
7.639 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
7.639 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
7.640 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
7.640 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
7.640 * [simplify]: Simplifying (real->posit16 2)
7.640 * * [simplify]: iters left: 1 (2 enodes)
7.641 * * [simplify]: Extracting #0: cost 1 inf + 0
7.641 * * [simplify]: Extracting #1: cost 2 inf + 0
7.641 * * [simplify]: Extracting #2: cost 1 inf + 1
7.641 * * [simplify]: Extracting #3: cost 0 inf + 2
7.641 * [simplify]: Simplified to (real->posit16 2)
7.641 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
7.641 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
7.641 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
7.641 * * [simplify]: iters left: 5 (10 enodes)
7.644 * * [simplify]: iters left: 4 (22 enodes)
7.648 * * [simplify]: iters left: 3 (39 enodes)
7.657 * * [simplify]: iters left: 2 (100 enodes)
7.721 * * [simplify]: iters left: 1 (391 enodes)
8.452 * * [simplify]: Extracting #0: cost 1 inf + 0
8.453 * * [simplify]: Extracting #1: cost 65 inf + 0
8.455 * * [simplify]: Extracting #2: cost 229 inf + 442
8.457 * * [simplify]: Extracting #3: cost 217 inf + 13851
8.466 * * [simplify]: Extracting #4: cost 93 inf + 128360
8.479 * * [simplify]: Extracting #5: cost 5 inf + 243742
8.492 * * [simplify]: Extracting #6: cost 0 inf + 250114
8.510 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
8.510 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
8.511 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
8.511 * * [simplify]: iters left: 5 (10 enodes)
8.516 * * [simplify]: iters left: 4 (28 enodes)
8.526 * * [simplify]: iters left: 3 (72 enodes)
8.557 * * [simplify]: iters left: 2 (214 enodes)
8.808 * * [simplify]: Extracting #0: cost 1 inf + 0
8.808 * * [simplify]: Extracting #1: cost 61 inf + 0
8.809 * * [simplify]: Extracting #2: cost 251 inf + 1
8.812 * * [simplify]: Extracting #3: cost 264 inf + 9678
8.817 * * [simplify]: Extracting #4: cost 213 inf + 79781
8.829 * * [simplify]: Extracting #5: cost 49 inf + 282271
8.848 * * [simplify]: Extracting #6: cost 1 inf + 352514
8.865 * * [simplify]: Extracting #7: cost 0 inf + 354277
8.882 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
8.882 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
8.882 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
8.882 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
8.882 * * [simplify]: iters left: 5 (10 enodes)
8.885 * * [simplify]: iters left: 4 (22 enodes)
8.890 * * [simplify]: iters left: 3 (39 enodes)
8.899 * * [simplify]: iters left: 2 (100 enodes)
8.969 * * [simplify]: iters left: 1 (391 enodes)
9.783 * * [simplify]: Extracting #0: cost 1 inf + 0
9.783 * * [simplify]: Extracting #1: cost 65 inf + 0
9.784 * * [simplify]: Extracting #2: cost 229 inf + 442
9.786 * * [simplify]: Extracting #3: cost 217 inf + 13851
9.791 * * [simplify]: Extracting #4: cost 93 inf + 128360
9.806 * * [simplify]: Extracting #5: cost 5 inf + 243742
9.819 * * [simplify]: Extracting #6: cost 0 inf + 250114
9.832 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
9.833 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
9.833 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
9.833 * * [simplify]: iters left: 5 (10 enodes)
9.836 * * [simplify]: iters left: 4 (28 enodes)
9.848 * * [simplify]: iters left: 3 (72 enodes)
9.877 * * [simplify]: iters left: 2 (214 enodes)
10.192 * * [simplify]: Extracting #0: cost 1 inf + 0
10.192 * * [simplify]: Extracting #1: cost 61 inf + 0
10.194 * * [simplify]: Extracting #2: cost 251 inf + 1
10.196 * * [simplify]: Extracting #3: cost 264 inf + 9678
10.205 * * [simplify]: Extracting #4: cost 213 inf + 79781
10.228 * * [simplify]: Extracting #5: cost 49 inf + 282271
10.260 * * [simplify]: Extracting #6: cost 1 inf + 352514
10.293 * * [simplify]: Extracting #7: cost 0 inf + 354277
10.321 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.321 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
10.321 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
10.321 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
10.322 * * [simplify]: iters left: 5 (10 enodes)
10.326 * * [simplify]: iters left: 4 (22 enodes)
10.333 * * [simplify]: iters left: 3 (39 enodes)
10.348 * * [simplify]: iters left: 2 (100 enodes)
10.447 * * [simplify]: iters left: 1 (391 enodes)
11.455 * * [simplify]: Extracting #0: cost 1 inf + 0
11.455 * * [simplify]: Extracting #1: cost 65 inf + 0
11.457 * * [simplify]: Extracting #2: cost 229 inf + 442
11.461 * * [simplify]: Extracting #3: cost 217 inf + 13851
11.471 * * [simplify]: Extracting #4: cost 93 inf + 128360
11.495 * * [simplify]: Extracting #5: cost 5 inf + 243742
11.523 * * [simplify]: Extracting #6: cost 0 inf + 250114
11.554 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
11.554 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
11.555 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
11.555 * * [simplify]: iters left: 5 (10 enodes)
11.560 * * [simplify]: iters left: 4 (28 enodes)
11.572 * * [simplify]: iters left: 3 (72 enodes)
11.606 * * [simplify]: iters left: 2 (214 enodes)
11.993 * * [simplify]: Extracting #0: cost 1 inf + 0
11.993 * * [simplify]: Extracting #1: cost 61 inf + 0
11.995 * * [simplify]: Extracting #2: cost 251 inf + 1
11.998 * * [simplify]: Extracting #3: cost 264 inf + 9678
12.006 * * [simplify]: Extracting #4: cost 213 inf + 79781
12.029 * * [simplify]: Extracting #5: cost 49 inf + 282271
12.062 * * [simplify]: Extracting #6: cost 1 inf + 352514
12.095 * * [simplify]: Extracting #7: cost 0 inf + 354277
12.129 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
12.129 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
12.129 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
12.130 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
12.130 * * [simplify]: iters left: 5 (10 enodes)
12.135 * * [simplify]: iters left: 4 (22 enodes)
12.145 * * [simplify]: iters left: 3 (39 enodes)
12.163 * * [simplify]: iters left: 2 (100 enodes)
12.289 * * [simplify]: iters left: 1 (391 enodes)
13.187 * * [simplify]: Extracting #0: cost 1 inf + 0
13.187 * * [simplify]: Extracting #1: cost 65 inf + 0
13.189 * * [simplify]: Extracting #2: cost 229 inf + 442
13.192 * * [simplify]: Extracting #3: cost 217 inf + 13851
13.203 * * [simplify]: Extracting #4: cost 93 inf + 128360
13.228 * * [simplify]: Extracting #5: cost 5 inf + 243742
13.255 * * [simplify]: Extracting #6: cost 0 inf + 250114
13.281 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2)))
13.281 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i)) (real->posit16 2))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
13.282 * [simplify]: Simplifying (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
13.282 * * [simplify]: iters left: 5 (10 enodes)
13.287 * * [simplify]: iters left: 4 (28 enodes)
13.298 * * [simplify]: iters left: 3 (72 enodes)
13.329 * * [simplify]: iters left: 2 (214 enodes)
13.588 * * [simplify]: Extracting #0: cost 1 inf + 0
13.588 * * [simplify]: Extracting #1: cost 61 inf + 0
13.588 * * [simplify]: Extracting #2: cost 251 inf + 1
13.590 * * [simplify]: Extracting #3: cost 264 inf + 9678
13.594 * * [simplify]: Extracting #4: cost 213 inf + 79781
13.608 * * [simplify]: Extracting #5: cost 49 inf + 282271
13.624 * * [simplify]: Extracting #6: cost 1 inf + 352514
13.653 * * [simplify]: Extracting #7: cost 0 inf + 354277
13.686 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
13.686 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
13.686 * * * [progress]: adding candidates to table
14.436 * * [progress]: iteration 4 / 4
14.436 * * * [progress]: picking best candidate
14.672 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
14.672 * * * [progress]: localizing error
15.151 * * * [progress]: generating rewritten candidates
15.151 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
15.169 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
15.175 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
15.185 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
15.190 * * * [progress]: generating series expansions
15.191 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
15.191 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
15.191 * * * * [progress]: [ 3 / 4 ] generating series at (2)
15.191 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
15.191 * * * [progress]: simplifying candidates
15.191 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.191 * [simplify]: Simplifying (/.p16 i (*.p16 (real->posit16 2) i))
15.191 * * [simplify]: iters left: 3 (5 enodes)
15.196 * * [simplify]: iters left: 2 (11 enodes)
15.199 * * [simplify]: Extracting #0: cost 1 inf + 0
15.199 * * [simplify]: Extracting #1: cost 4 inf + 0
15.199 * * [simplify]: Extracting #2: cost 4 inf + 1
15.199 * * [simplify]: Extracting #3: cost 5 inf + 1
15.199 * * [simplify]: Extracting #4: cost 0 inf + 1529
15.199 * [simplify]: Simplified to (/.p16 i (*.p16 i (real->posit16 2)))
15.199 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
15.200 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (*.p16 (real->posit16 2) i) i))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.200 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))>
15.200 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
15.200 * * [simplify]: iters left: 2 (4 enodes)
15.202 * * [simplify]: iters left: 1 (7 enodes)
15.204 * * [simplify]: Extracting #0: cost 1 inf + 0
15.204 * * [simplify]: Extracting #1: cost 3 inf + 0
15.204 * * [simplify]: Extracting #2: cost 3 inf + 1
15.204 * * [simplify]: Extracting #3: cost 0 inf + 445
15.205 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
15.205 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))
15.205 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.205 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
15.205 * * [simplify]: iters left: 3 (7 enodes)
15.209 * * [simplify]: iters left: 2 (13 enodes)
15.213 * * [simplify]: Extracting #0: cost 1 inf + 0
15.213 * * [simplify]: Extracting #1: cost 3 inf + 0
15.213 * * [simplify]: Extracting #2: cost 6 inf + 0
15.213 * * [simplify]: Extracting #3: cost 4 inf + 3
15.213 * * [simplify]: Extracting #4: cost 3 inf + 4
15.213 * * [simplify]: Extracting #5: cost 0 inf + 690
15.214 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
15.214 * [simplify]: Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
15.214 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (real->posit16 2) (/.p16 i i))))))>
15.214 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.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))))>
15.214 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
15.214 * * [simplify]: iters left: 3 (7 enodes)
15.218 * * [simplify]: iters left: 2 (13 enodes)
15.222 * * [simplify]: Extracting #0: cost 1 inf + 0
15.222 * * [simplify]: Extracting #1: cost 3 inf + 0
15.222 * * [simplify]: Extracting #2: cost 6 inf + 0
15.222 * * [simplify]: Extracting #3: cost 4 inf + 3
15.222 * * [simplify]: Extracting #4: cost 3 inf + 4
15.222 * * [simplify]: Extracting #5: cost 0 inf + 690
15.223 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
15.223 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.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))))
15.223 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
15.223 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
15.223 * * [simplify]: iters left: 3 (7 enodes)
15.227 * * [simplify]: iters left: 2 (19 enodes)
15.234 * * [simplify]: iters left: 1 (37 enodes)
15.248 * * [simplify]: Extracting #0: cost 1 inf + 0
15.248 * * [simplify]: Extracting #1: cost 10 inf + 0
15.249 * * [simplify]: Extracting #2: cost 21 inf + 0
15.249 * * [simplify]: Extracting #3: cost 27 inf + 165
15.249 * * [simplify]: Extracting #4: cost 27 inf + 167
15.250 * * [simplify]: Extracting #5: cost 18 inf + 4946
15.251 * * [simplify]: Extracting #6: cost 0 inf + 22111
15.253 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
15.253 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
15.254 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
15.254 * [simplify]: Simplifying (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
15.254 * * [simplify]: iters left: 5 (14 enodes)
15.261 * * [simplify]: iters left: 4 (39 enodes)
15.281 * * [simplify]: iters left: 3 (134 enodes)
15.496 * * [simplify]: Extracting #0: cost 1 inf + 0
15.496 * * [simplify]: Extracting #1: cost 61 inf + 0
15.497 * * [simplify]: Extracting #2: cost 192 inf + 1
15.499 * * [simplify]: Extracting #3: cost 180 inf + 18805
15.504 * * [simplify]: Extracting #4: cost 130 inf + 69151
15.516 * * [simplify]: Extracting #5: cost 34 inf + 186387
15.539 * * [simplify]: Extracting #6: cost 1 inf + 238803
15.558 * * [simplify]: Extracting #7: cost 0 inf + 240326
15.577 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
15.577 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
15.577 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.577 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.577 * [simplify]: Simplifying (real->posit16 2)
15.577 * * [simplify]: iters left: 1 (2 enodes)
15.579 * * [simplify]: Extracting #0: cost 1 inf + 0
15.579 * * [simplify]: Extracting #1: cost 2 inf + 0
15.579 * * [simplify]: Extracting #2: cost 1 inf + 1
15.579 * * [simplify]: Extracting #3: cost 0 inf + 2
15.579 * [simplify]: Simplified to (real->posit16 2)
15.579 * [simplify]: Simplified (2 1 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
15.579 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.580 * [simplify]: Simplifying (real->posit16 2)
15.580 * * [simplify]: iters left: 1 (2 enodes)
15.581 * * [simplify]: Extracting #0: cost 1 inf + 0
15.581 * * [simplify]: Extracting #1: cost 2 inf + 0
15.581 * * [simplify]: Extracting #2: cost 1 inf + 1
15.581 * * [simplify]: Extracting #3: cost 0 inf + 2
15.581 * [simplify]: Simplified to (real->posit16 2)
15.581 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
15.581 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.582 * [simplify]: Simplifying (real->posit16 2)
15.582 * * [simplify]: iters left: 1 (2 enodes)
15.583 * * [simplify]: Extracting #0: cost 1 inf + 0
15.583 * * [simplify]: Extracting #1: cost 2 inf + 0
15.583 * * [simplify]: Extracting #2: cost 1 inf + 1
15.583 * * [simplify]: Extracting #3: cost 0 inf + 2
15.583 * [simplify]: Simplified to (real->posit16 2)
15.583 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
15.583 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.584 * [simplify]: Simplifying (real->posit16 2)
15.584 * * [simplify]: iters left: 1 (2 enodes)
15.585 * * [simplify]: Extracting #0: cost 1 inf + 0
15.585 * * [simplify]: Extracting #1: cost 2 inf + 0
15.585 * * [simplify]: Extracting #2: cost 1 inf + 1
15.585 * * [simplify]: Extracting #3: cost 0 inf + 2
15.585 * [simplify]: Simplified to (real->posit16 2)
15.585 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
15.586 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
15.586 * [simplify]: Simplifying (real->posit16 2)
15.586 * * [simplify]: iters left: 1 (2 enodes)
15.587 * * [simplify]: Extracting #0: cost 1 inf + 0
15.587 * * [simplify]: Extracting #1: cost 2 inf + 0
15.587 * * [simplify]: Extracting #2: cost 1 inf + 1
15.587 * * [simplify]: Extracting #3: cost 0 inf + 2
15.587 * [simplify]: Simplified to (real->posit16 2)
15.587 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
15.587 * * * [progress]: adding candidates to table
16.260 * [progress]: [Phase 3 of 3] Extracting.
16.260 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.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 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)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>)
16.269 * * * [regime-changes]: Trying 1 branch expressions: (i)
16.269 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.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 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)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i)))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>)
16.560 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
16.560 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
16.560 * * [simplify]: iters left: 5 (14 enodes)
16.562 * * [simplify]: Extracting #0: cost 1 inf + 0
16.562 * * [simplify]: Extracting #1: cost 3 inf + 0
16.562 * * [simplify]: Extracting #2: cost 6 inf + 0
16.562 * * [simplify]: Extracting #3: cost 10 inf + 0
16.562 * * [simplify]: Extracting #4: cost 12 inf + 1
16.563 * * [simplify]: Extracting #5: cost 11 inf + 443
16.563 * * [simplify]: Extracting #6: cost 9 inf + 445
16.563 * * [simplify]: Extracting #7: cost 3 inf + 3738
16.563 * * [simplify]: Extracting #8: cost 0 inf + 10987
16.564 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (real->posit16 2) (/.p16 i i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
16.564 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.585 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
16.587 * * * * [points]: Setting MPFR precision to 64
16.588 * * * * [points]: Setting MPFR precision to 320
16.590 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
16.592 * * * * [points]: Setting MPFR precision to 64
16.594 * * * * [points]: Setting MPFR precision to 320
16.596 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.598 * * * * [points]: Setting MPFR precision to 64
16.602 * * * * [points]: Setting MPFR precision to 320
16.605 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.622 * * * * [points]: Setting MPFR precision to 64
16.630 * * * * [points]: Setting MPFR precision to 320
16.639 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
16.642 * * * * [points]: Setting MPFR precision to 64
16.660 * * * * [points]: Setting MPFR precision to 320
16.683 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.688 * * * * [points]: Setting MPFR precision to 64
16.730 * * * * [points]: Setting MPFR precision to 320
16.757 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
16.762 * * * * [points]: Setting MPFR precision to 64
16.880 * * * * [points]: Setting MPFR precision to 320
16.973 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.978 * * * * [points]: Setting MPFR precision to 64
17.611 * * * * [points]: Setting MPFR precision to 320
17.860 * * * * [points]: Computing exacts for 8000 points
17.865 * * * * [points]: Setting MPFR precision to 64
18.596 * * * * [points]: Setting MPFR precision to 320
19.616 * * * * [points]: Filtering points with unrepresentable outputs
19.629 * * * * [points]: Sampling 3956 additional inputs, on iter 1 have 4044 / 8000
19.640 * * * * [points]: Computing exacts on every 247 of 3956 points to ramp up precision
19.645 * * * * [points]: Setting MPFR precision to 64
19.649 * * * * [points]: Setting MPFR precision to 320
19.650 * * * * [points]: Computing exacts on every 123 of 3956 points to ramp up precision
19.656 * * * * [points]: Setting MPFR precision to 64
19.659 * * * * [points]: Setting MPFR precision to 320
19.662 * * * * [points]: Computing exacts on every 61 of 3956 points to ramp up precision
19.667 * * * * [points]: Setting MPFR precision to 64
19.674 * * * * [points]: Setting MPFR precision to 320
19.680 * * * * [points]: Computing exacts on every 30 of 3956 points to ramp up precision
19.685 * * * * [points]: Setting MPFR precision to 64
19.697 * * * * [points]: Setting MPFR precision to 320
19.710 * * * * [points]: Computing exacts on every 15 of 3956 points to ramp up precision
19.716 * * * * [points]: Setting MPFR precision to 64
19.740 * * * * [points]: Setting MPFR precision to 320
19.802 * * * * [points]: Computing exacts on every 7 of 3956 points to ramp up precision
19.807 * * * * [points]: Setting MPFR precision to 64
19.857 * * * * [points]: Setting MPFR precision to 320
19.906 * * * * [points]: Computing exacts on every 3 of 3956 points to ramp up precision
19.911 * * * * [points]: Setting MPFR precision to 64
20.007 * * * * [points]: Setting MPFR precision to 320
20.114 * * * * [points]: Computing exacts for 3956 points
20.119 * * * * [points]: Setting MPFR precision to 64
20.601 * * * * [points]: Setting MPFR precision to 320
20.982 * * * * [points]: Filtering points with unrepresentable outputs
20.989 * * * * [points]: Sampling 1895 additional inputs, on iter 2 have 6105 / 8000
20.994 * * * * [points]: Computing exacts on every 118 of 1895 points to ramp up precision
20.998 * * * * [points]: Setting MPFR precision to 64
20.999 * * * * [points]: Setting MPFR precision to 320
21.000 * * * * [points]: Computing exacts on every 59 of 1895 points to ramp up precision
21.003 * * * * [points]: Setting MPFR precision to 64
21.005 * * * * [points]: Setting MPFR precision to 320
21.007 * * * * [points]: Computing exacts on every 29 of 1895 points to ramp up precision
21.009 * * * * [points]: Setting MPFR precision to 64
21.013 * * * * [points]: Setting MPFR precision to 320
21.017 * * * * [points]: Computing exacts on every 14 of 1895 points to ramp up precision
21.044 * * * * [points]: Setting MPFR precision to 64
21.053 * * * * [points]: Setting MPFR precision to 320
21.060 * * * * [points]: Computing exacts on every 7 of 1895 points to ramp up precision
21.063 * * * * [points]: Setting MPFR precision to 64
21.076 * * * * [points]: Setting MPFR precision to 320
21.088 * * * * [points]: Computing exacts on every 3 of 1895 points to ramp up precision
21.091 * * * * [points]: Setting MPFR precision to 64
21.117 * * * * [points]: Setting MPFR precision to 320
21.142 * * * * [points]: Computing exacts for 1895 points
21.145 * * * * [points]: Setting MPFR precision to 64
21.274 * * * * [points]: Setting MPFR precision to 320
21.411 * * * * [points]: Filtering points with unrepresentable outputs
21.412 * * * * [points]: Sampling 986 additional inputs, on iter 3 have 7014 / 8000
21.414 * * * * [points]: Computing exacts on every 61 of 986 points to ramp up precision
21.417 * * * * [points]: Setting MPFR precision to 64
21.418 * * * * [points]: Setting MPFR precision to 320
21.419 * * * * [points]: Computing exacts on every 30 of 986 points to ramp up precision
21.421 * * * * [points]: Setting MPFR precision to 64
21.425 * * * * [points]: Setting MPFR precision to 320
21.427 * * * * [points]: Computing exacts on every 15 of 986 points to ramp up precision
21.429 * * * * [points]: Setting MPFR precision to 64
21.433 * * * * [points]: Setting MPFR precision to 320
21.436 * * * * [points]: Computing exacts on every 7 of 986 points to ramp up precision
21.439 * * * * [points]: Setting MPFR precision to 64
21.446 * * * * [points]: Setting MPFR precision to 320
21.453 * * * * [points]: Computing exacts on every 3 of 986 points to ramp up precision
21.455 * * * * [points]: Setting MPFR precision to 64
21.469 * * * * [points]: Setting MPFR precision to 320
21.482 * * * * [points]: Computing exacts for 986 points
21.797 * * * * [points]: Setting MPFR precision to 64
21.893 * * * * [points]: Setting MPFR precision to 320
21.989 * * * * [points]: Filtering points with unrepresentable outputs
21.990 * * * * [points]: Sampling 484 additional inputs, on iter 4 have 7516 / 8000
21.992 * * * * [points]: Computing exacts on every 30 of 484 points to ramp up precision
21.997 * * * * [points]: Setting MPFR precision to 64
21.998 * * * * [points]: Setting MPFR precision to 320
22.000 * * * * [points]: Computing exacts on every 15 of 484 points to ramp up precision
22.005 * * * * [points]: Setting MPFR precision to 64
22.008 * * * * [points]: Setting MPFR precision to 320
22.011 * * * * [points]: Computing exacts on every 7 of 484 points to ramp up precision
22.054 * * * * [points]: Setting MPFR precision to 64
22.060 * * * * [points]: Setting MPFR precision to 320
22.069 * * * * [points]: Computing exacts on every 3 of 484 points to ramp up precision
22.074 * * * * [points]: Setting MPFR precision to 64
22.086 * * * * [points]: Setting MPFR precision to 320
22.099 * * * * [points]: Computing exacts for 484 points
22.105 * * * * [points]: Setting MPFR precision to 64
22.152 * * * * [points]: Setting MPFR precision to 320
22.189 * * * * [points]: Filtering points with unrepresentable outputs
22.190 * * * * [points]: Sampling 238 additional inputs, on iter 5 have 7762 / 8000
22.190 * * * * [points]: Computing exacts on every 14 of 238 points to ramp up precision
22.193 * * * * [points]: Setting MPFR precision to 64
22.194 * * * * [points]: Setting MPFR precision to 320
22.194 * * * * [points]: Computing exacts on every 7 of 238 points to ramp up precision
22.197 * * * * [points]: Setting MPFR precision to 64
22.199 * * * * [points]: Setting MPFR precision to 320
22.200 * * * * [points]: Computing exacts on every 3 of 238 points to ramp up precision
22.203 * * * * [points]: Setting MPFR precision to 64
22.206 * * * * [points]: Setting MPFR precision to 320
22.209 * * * * [points]: Computing exacts for 238 points
22.212 * * * * [points]: Setting MPFR precision to 64
22.247 * * * * [points]: Setting MPFR precision to 320
22.262 * * * * [points]: Filtering points with unrepresentable outputs
22.262 * * * * [points]: Sampling 120 additional inputs, on iter 6 have 7880 / 8000
22.262 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
22.265 * * * * [points]: Setting MPFR precision to 64
22.267 * * * * [points]: Setting MPFR precision to 320
22.268 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
22.270 * * * * [points]: Setting MPFR precision to 64
22.272 * * * * [points]: Setting MPFR precision to 320
22.274 * * * * [points]: Computing exacts for 120 points
22.276 * * * * [points]: Setting MPFR precision to 64
22.283 * * * * [points]: Setting MPFR precision to 320
22.289 * * * * [points]: Filtering points with unrepresentable outputs
22.289 * * * * [points]: Sampling 64 additional inputs, on iter 7 have 7936 / 8000
22.290 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
22.292 * * * * [points]: Setting MPFR precision to 64
22.293 * * * * [points]: Setting MPFR precision to 320
22.294 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
22.296 * * * * [points]: Setting MPFR precision to 64
22.297 * * * * [points]: Setting MPFR precision to 320
22.299 * * * * [points]: Computing exacts for 64 points
22.301 * * * * [points]: Setting MPFR precision to 64
22.305 * * * * [points]: Setting MPFR precision to 320
22.308 * * * * [points]: Filtering points with unrepresentable outputs
22.308 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000
22.308 * * * * [points]: Computing exacts for 27 points
22.311 * * * * [points]: Setting MPFR precision to 64
22.313 * * * * [points]: Setting MPFR precision to 320
22.314 * * * * [points]: Filtering points with unrepresentable outputs
22.314 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000
22.314 * * * * [points]: Computing exacts for 15 points
22.317 * * * * [points]: Setting MPFR precision to 64
22.318 * * * * [points]: Setting MPFR precision to 320
22.319 * * * * [points]: Filtering points with unrepresentable outputs
22.319 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
22.319 * * * * [points]: Computing exacts for 10 points
22.321 * * * * [points]: Setting MPFR precision to 64
22.322 * * * * [points]: Setting MPFR precision to 320
22.323 * * * * [points]: Filtering points with unrepresentable outputs
22.323 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
22.323 * * * * [points]: Computing exacts for 6 points
22.325 * * * * [points]: Setting MPFR precision to 64
22.326 * * * * [points]: Setting MPFR precision to 320
22.326 * * * * [points]: Filtering points with unrepresentable outputs
22.326 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000
22.326 * * * * [points]: Computing exacts for 4 points
22.329 * * * * [points]: Setting MPFR precision to 64
22.329 * * * * [points]: Setting MPFR precision to 320
22.329 * * * * [points]: Filtering points with unrepresentable outputs
22.329 * * * * [points]: Sampled 8000 points with exact outputs
27.937 * [regime-testing]: Baseline error score: 64.0
27.941 * [regime-testing]: Oracle error score: 64.0
27.947 * [regime-testing]: End program error score: 0.4001939990538513