0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [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.010 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.021 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.038 * * * * [points]: Computing exacts for 256 points
0.042 * * * * [points]: Setting MPFR precision to 64
0.061 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Filtering points with unrepresentable outputs
0.092 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256
0.092 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
0.096 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
0.121 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Computing exacts for 124 points
0.134 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.151 * * * * [points]: Filtering points with unrepresentable outputs
0.153 * * * * [points]: Sampling 54 additional inputs, on iter 2 have 202 / 256
0.154 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.157 * * * * [points]: Setting MPFR precision to 64
0.158 * * * * [points]: Setting MPFR precision to 320
0.159 * * * * [points]: Computing exacts for 54 points
0.163 * * * * [points]: Setting MPFR precision to 64
0.167 * * * * [points]: Setting MPFR precision to 320
0.172 * * * * [points]: Filtering points with unrepresentable outputs
0.174 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256
0.174 * * * * [points]: Computing exacts for 27 points
0.178 * * * * [points]: Setting MPFR precision to 64
0.181 * * * * [points]: Setting MPFR precision to 320
0.183 * * * * [points]: Filtering points with unrepresentable outputs
0.184 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256
0.184 * * * * [points]: Computing exacts for 14 points
0.187 * * * * [points]: Setting MPFR precision to 64
0.188 * * * * [points]: Setting MPFR precision to 320
0.189 * * * * [points]: Filtering points with unrepresentable outputs
0.189 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.189 * * * * [points]: Computing exacts for 8 points
0.191 * * * * [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]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.192 * * * * [points]: Computing exacts for 4 points
0.195 * * * * [points]: Setting MPFR precision to 64
0.195 * * * * [points]: Setting MPFR precision to 320
0.195 * * * * [points]: Filtering points with unrepresentable outputs
0.196 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.196 * * * * [points]: Computing exacts for 4 points
0.198 * * * * [points]: Setting MPFR precision to 64
0.198 * * * * [points]: Setting MPFR precision to 320
0.199 * * * * [points]: Filtering points with unrepresentable outputs
0.199 * * * * [points]: Sampled 257 points with exact outputs
0.199 * * * [progress]: [2/2] Setting up program.
0.219 * [progress]: [Phase 2 of 3] Improving.
0.219 * * * * [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.219 * [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.219 * * [simplify]: iters left: 5 (12 enodes)
0.222 * * [simplify]: iters left: 4 (43 enodes)
0.252 * * [simplify]: iters left: 3 (170 enodes)
0.321 * * [simplify]: Extracting #0: cost 1 inf + 0
0.321 * * [simplify]: Extracting #1: cost 78 inf + 0
0.322 * * [simplify]: Extracting #2: cost 269 inf + 322
0.323 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.327 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.343 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.359 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.391 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.416 * [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.417 * [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.462 * * [progress]: iteration 1 / 4
0.463 * * * [progress]: picking best candidate
0.501 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
0.501 * * * [progress]: localizing error
0.770 * * * [progress]: generating rewritten candidates
0.770 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.782 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.795 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.799 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.817 * * * [progress]: generating series expansions
0.817 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.817 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.817 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.817 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.817 * * * [progress]: simplifying candidates
0.817 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))>
0.817 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.817 * * [simplify]: iters left: 4 (8 enodes)
0.821 * * [simplify]: iters left: 3 (27 enodes)
0.831 * * [simplify]: iters left: 2 (61 enodes)
0.859 * * [simplify]: iters left: 1 (182 enodes)
0.972 * * [simplify]: Extracting #0: cost 1 inf + 0
0.973 * * [simplify]: Extracting #1: cost 37 inf + 0
0.973 * * [simplify]: Extracting #2: cost 175 inf + 0
0.974 * * [simplify]: Extracting #3: cost 221 inf + 323
0.976 * * [simplify]: Extracting #4: cost 221 inf + 30993
0.987 * * [simplify]: Extracting #5: cost 76 inf + 221248
1.004 * * [simplify]: Extracting #6: cost 0 inf + 318421
1.022 * * [simplify]: Extracting #7: cost 0 inf + 316421
1.053 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.053 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))
1.054 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (/.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) i)) (*.p16 i i)))>
1.054 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))>
1.054 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.054 * * [simplify]: iters left: 4 (8 enodes)
1.058 * * [simplify]: iters left: 3 (18 enodes)
1.063 * * [simplify]: iters left: 2 (25 enodes)
1.070 * * [simplify]: iters left: 1 (29 enodes)
1.077 * * [simplify]: Extracting #0: cost 1 inf + 0
1.077 * * [simplify]: Extracting #1: cost 3 inf + 0
1.077 * * [simplify]: Extracting #2: cost 11 inf + 0
1.077 * * [simplify]: Extracting #3: cost 9 inf + 3
1.077 * * [simplify]: Extracting #4: cost 0 inf + 3578
1.078 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.078 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))
1.078 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1.078 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.078 * * [simplify]: iters left: 4 (6 enodes)
1.081 * * [simplify]: iters left: 3 (16 enodes)
1.085 * * [simplify]: iters left: 2 (27 enodes)
1.092 * * [simplify]: iters left: 1 (33 enodes)
1.100 * * [simplify]: Extracting #0: cost 1 inf + 0
1.100 * * [simplify]: Extracting #1: cost 5 inf + 0
1.100 * * [simplify]: Extracting #2: cost 11 inf + 1
1.100 * * [simplify]: Extracting #3: cost 11 inf + 763
1.100 * * [simplify]: Extracting #4: cost 9 inf + 765
1.100 * * [simplify]: Extracting #5: cost 2 inf + 3698
1.101 * * [simplify]: Extracting #6: cost 0 inf + 4861
1.101 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.101 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.101 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1.101 * * [simplify]: iters left: 5 (9 enodes)
1.106 * * [simplify]: iters left: 4 (28 enodes)
1.116 * * [simplify]: iters left: 3 (66 enodes)
1.140 * * [simplify]: iters left: 2 (206 enodes)
1.283 * * [simplify]: Extracting #0: cost 1 inf + 0
1.283 * * [simplify]: Extracting #1: cost 39 inf + 0
1.284 * * [simplify]: Extracting #2: cost 172 inf + 1
1.285 * * [simplify]: Extracting #3: cost 247 inf + 322
1.287 * * [simplify]: Extracting #4: cost 253 inf + 16849
1.303 * * [simplify]: Extracting #5: cost 114 inf + 204899
1.334 * * [simplify]: Extracting #6: cost 7 inf + 360159
1.369 * * [simplify]: Extracting #7: cost 0 inf + 374380
1.404 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1.404 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.404 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))>
1.405 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (*.p16 (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 i i))))>
1.405 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))))
1.405 * * [simplify]: iters left: 6 (13 enodes)
1.413 * * [simplify]: iters left: 5 (46 enodes)
1.431 * * [simplify]: iters left: 4 (170 enodes)
1.532 * * [simplify]: Extracting #0: cost 1 inf + 0
1.532 * * [simplify]: Extracting #1: cost 88 inf + 0
1.533 * * [simplify]: Extracting #2: cost 216 inf + 1524
1.536 * * [simplify]: Extracting #3: cost 193 inf + 60340
1.553 * * [simplify]: Extracting #4: cost 64 inf + 265197
1.580 * * [simplify]: Extracting #5: cost 12 inf + 357709
1.610 * * [simplify]: Extracting #6: cost 0 inf + 383025
1.641 * * [simplify]: Extracting #7: cost 0 inf + 382865
1.675 * [simplify]: Simplified to (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))))
1.676 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))) (*.p16 (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 i i))))
1.676 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))>
1.676 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.676 * * [simplify]: iters left: 4 (6 enodes)
1.679 * * [simplify]: iters left: 3 (16 enodes)
1.683 * * [simplify]: iters left: 2 (27 enodes)
1.690 * * [simplify]: iters left: 1 (33 enodes)
1.699 * * [simplify]: Extracting #0: cost 1 inf + 0
1.699 * * [simplify]: Extracting #1: cost 5 inf + 0
1.699 * * [simplify]: Extracting #2: cost 11 inf + 1
1.699 * * [simplify]: Extracting #3: cost 11 inf + 763
1.699 * * [simplify]: Extracting #4: cost 9 inf + 765
1.699 * * [simplify]: Extracting #5: cost 2 inf + 3698
1.700 * * [simplify]: Extracting #6: cost 0 inf + 4861
1.700 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.700 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))
1.700 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
1.701 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1.701 * * [simplify]: iters left: 2 (3 enodes)
1.702 * * [simplify]: iters left: 1 (9 enodes)
1.705 * * [simplify]: Extracting #0: cost 1 inf + 0
1.705 * * [simplify]: Extracting #1: cost 4 inf + 0
1.705 * * [simplify]: Extracting #2: cost 3 inf + 1
1.705 * * [simplify]: Extracting #3: cost 0 inf + 1604
1.705 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1.705 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))
1.705 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))))>
1.705 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 i i)))>
1.706 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.706 * * [simplify]: iters left: 3 (7 enodes)
1.709 * * [simplify]: iters left: 2 (13 enodes)
1.713 * * [simplify]: Extracting #0: cost 1 inf + 0
1.713 * * [simplify]: Extracting #1: cost 3 inf + 0
1.713 * * [simplify]: Extracting #2: cost 6 inf + 0
1.713 * * [simplify]: Extracting #3: cost 4 inf + 3
1.713 * * [simplify]: Extracting #4: cost 0 inf + 690
1.713 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.713 * [simplify]: Simplified (2 1 2 2 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 i i)))
1.714 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.714 * * [simplify]: iters left: 3 (7 enodes)
1.717 * * [simplify]: iters left: 2 (19 enodes)
1.723 * * [simplify]: iters left: 1 (37 enodes)
1.733 * * [simplify]: Extracting #0: cost 1 inf + 0
1.733 * * [simplify]: Extracting #1: cost 10 inf + 0
1.733 * * [simplify]: Extracting #2: cost 21 inf + 0
1.733 * * [simplify]: Extracting #3: cost 27 inf + 165
1.734 * * [simplify]: Extracting #4: cost 28 inf + 166
1.734 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.735 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.735 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.736 * [simplify]: Simplified (2 1 2 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))) (*.p16 i i)))
1.736 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0))))) (*.p16 i i)))>
1.736 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))) (*.p16 i i)))>
1.736 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0))))) (*.p16 i i)))>
1.736 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))
1.736 * * [simplify]: iters left: 4 (9 enodes)
1.738 * * [simplify]: iters left: 3 (21 enodes)
1.742 * * [simplify]: iters left: 2 (45 enodes)
1.750 * * [simplify]: iters left: 1 (74 enodes)
1.764 * * [simplify]: Extracting #0: cost 1 inf + 0
1.764 * * [simplify]: Extracting #1: cost 24 inf + 0
1.764 * * [simplify]: Extracting #2: cost 30 inf + 1
1.764 * * [simplify]: Extracting #3: cost 29 inf + 323
1.764 * * [simplify]: Extracting #4: cost 22 inf + 2894
1.765 * * [simplify]: Extracting #5: cost 15 inf + 7229
1.766 * * [simplify]: Extracting #6: cost 2 inf + 16939
1.767 * * [simplify]: Extracting #7: cost 0 inf + 18383
1.769 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.769 * [simplify]: Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))) (*.p16 i i)))
1.769 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))) (*.p16 i i)))>
1.769 * [simplify]: Simplifying (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.769 * * [simplify]: iters left: 4 (9 enodes)
1.772 * * [simplify]: iters left: 3 (21 enodes)
1.776 * * [simplify]: iters left: 2 (45 enodes)
1.784 * * [simplify]: iters left: 1 (72 enodes)
1.796 * * [simplify]: Extracting #0: cost 1 inf + 0
1.796 * * [simplify]: Extracting #1: cost 21 inf + 0
1.797 * * [simplify]: Extracting #2: cost 24 inf + 1
1.797 * * [simplify]: Extracting #3: cost 22 inf + 324
1.797 * * [simplify]: Extracting #4: cost 15 inf + 2895
1.798 * * [simplify]: Extracting #5: cost 1 inf + 12686
1.799 * * [simplify]: Extracting #6: cost 0 inf + 13408
1.799 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1.799 * [simplify]: Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))))) (*.p16 i i)))
1.800 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))>
1.800 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.800 * * [simplify]: iters left: 3 (7 enodes)
1.802 * * [simplify]: iters left: 2 (19 enodes)
1.806 * * [simplify]: iters left: 1 (37 enodes)
1.813 * * [simplify]: Extracting #0: cost 1 inf + 0
1.813 * * [simplify]: Extracting #1: cost 10 inf + 0
1.813 * * [simplify]: Extracting #2: cost 21 inf + 0
1.813 * * [simplify]: Extracting #3: cost 27 inf + 165
1.813 * * [simplify]: Extracting #4: cost 28 inf + 166
1.813 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.814 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.815 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.815 * [simplify]: Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))
1.815 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 (*.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))) (*.p16 i i)))>
1.815 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
1.815 * * [simplify]: iters left: 2 (4 enodes)
1.816 * * [simplify]: iters left: 1 (8 enodes)
1.818 * * [simplify]: Extracting #0: cost 1 inf + 0
1.818 * * [simplify]: Extracting #1: cost 3 inf + 0
1.818 * * [simplify]: Extracting #2: cost 3 inf + 1
1.818 * * [simplify]: Extracting #3: cost 0 inf + 325
1.818 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1.818 * [simplify]: Simplified (2 1 2 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 (*.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))) (*.p16 i i)))
1.818 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1.818 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.818 * * [simplify]: iters left: 4 (8 enodes)
1.821 * * [simplify]: iters left: 3 (18 enodes)
1.824 * * [simplify]: iters left: 2 (25 enodes)
1.828 * * [simplify]: iters left: 1 (29 enodes)
1.837 * * [simplify]: Extracting #0: cost 1 inf + 0
1.837 * * [simplify]: Extracting #1: cost 3 inf + 0
1.837 * * [simplify]: Extracting #2: cost 11 inf + 0
1.837 * * [simplify]: Extracting #3: cost 9 inf + 3
1.837 * * [simplify]: Extracting #4: cost 0 inf + 3578
1.838 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.838 * [simplify]: Simplified (2 1 2 2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.838 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))) (*.p16 i i)))>
1.838 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1.838 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1.838 * * [simplify]: iters left: 6 (12 enodes)
1.845 * * [simplify]: iters left: 5 (46 enodes)
1.868 * * [simplify]: iters left: 4 (191 enodes)
1.993 * * [simplify]: Extracting #0: cost 1 inf + 0
1.993 * * [simplify]: Extracting #1: cost 94 inf + 0
1.995 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.001 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.019 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.043 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.091 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.117 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.162 * [simplify]: Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
2.162 * [simplify]: Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
2.162 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
2.162 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
2.162 * * [simplify]: iters left: 6 (12 enodes)
2.169 * * [simplify]: iters left: 5 (46 enodes)
2.191 * * [simplify]: iters left: 4 (191 enodes)
2.340 * * [simplify]: Extracting #0: cost 1 inf + 0
2.340 * * [simplify]: Extracting #1: cost 94 inf + 0
2.342 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.347 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.366 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.402 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.429 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.456 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.493 * [simplify]: Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
2.493 * [simplify]: Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
2.493 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
2.493 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
2.493 * * [simplify]: iters left: 6 (12 enodes)
2.499 * * [simplify]: iters left: 5 (46 enodes)
2.518 * * [simplify]: iters left: 4 (191 enodes)
2.637 * * [simplify]: Extracting #0: cost 1 inf + 0
2.637 * * [simplify]: Extracting #1: cost 94 inf + 0
2.639 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.644 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.663 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.687 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.710 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.735 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.758 * [simplify]: Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
2.758 * [simplify]: Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
2.758 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
2.758 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
2.758 * * [simplify]: iters left: 6 (12 enodes)
2.762 * * [simplify]: iters left: 5 (46 enodes)
2.773 * * [simplify]: iters left: 4 (191 enodes)
2.871 * * [simplify]: Extracting #0: cost 1 inf + 0
2.872 * * [simplify]: Extracting #1: cost 94 inf + 0
2.873 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.876 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.890 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.926 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.963 * * [simplify]: Extracting #6: cost 0 inf + 539239
3.003 * * [simplify]: Extracting #7: cost 0 inf + 536243
3.040 * [simplify]: Simplified to (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
3.040 * [simplify]: Simplified (2) to (λ (i) (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
3.040 * * * [progress]: adding candidates to table
4.056 * * [progress]: iteration 2 / 4
4.056 * * * [progress]: picking best candidate
4.328 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
4.328 * * * [progress]: localizing error
4.613 * * * [progress]: generating rewritten candidates
4.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.624 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.632 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
4.635 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.643 * * * [progress]: generating series expansions
4.643 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.643 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.643 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
4.643 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.643 * * * [progress]: simplifying candidates
4.643 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))>
4.643 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))>
4.643 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
4.644 * * [simplify]: iters left: 4 (6 enodes)
4.647 * * [simplify]: iters left: 3 (16 enodes)
4.652 * * [simplify]: iters left: 2 (27 enodes)
4.661 * * [simplify]: iters left: 1 (33 enodes)
4.670 * * [simplify]: Extracting #0: cost 1 inf + 0
4.670 * * [simplify]: Extracting #1: cost 5 inf + 0
4.670 * * [simplify]: Extracting #2: cost 11 inf + 1
4.671 * * [simplify]: Extracting #3: cost 11 inf + 763
4.671 * * [simplify]: Extracting #4: cost 9 inf + 765
4.671 * * [simplify]: Extracting #5: cost 2 inf + 3698
4.671 * * [simplify]: Extracting #6: cost 0 inf + 4861
4.672 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
4.672 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))))
4.672 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
4.672 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i))
4.672 * * [simplify]: iters left: 6 (9 enodes)
4.677 * * [simplify]: iters left: 5 (26 enodes)
4.687 * * [simplify]: iters left: 4 (67 enodes)
4.721 * * [simplify]: iters left: 3 (217 enodes)
4.926 * * [simplify]: Extracting #0: cost 1 inf + 0
4.926 * * [simplify]: Extracting #1: cost 45 inf + 0
4.926 * * [simplify]: Extracting #2: cost 74 inf + 763
4.927 * * [simplify]: Extracting #3: cost 62 inf + 7895
4.929 * * [simplify]: Extracting #4: cost 22 inf + 41744
4.932 * * [simplify]: Extracting #5: cost 1 inf + 66110
4.936 * * [simplify]: Extracting #6: cost 0 inf + 67193
4.940 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
4.940 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.940 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))>
4.940 * [simplify]: Simplifying (*.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
4.940 * * [simplify]: iters left: 6 (12 enodes)
4.946 * * [simplify]: iters left: 5 (38 enodes)
4.961 * * [simplify]: iters left: 4 (95 enodes)
4.998 * * [simplify]: iters left: 3 (325 enodes)
5.221 * * [simplify]: Extracting #0: cost 1 inf + 0
5.222 * * [simplify]: Extracting #1: cost 83 inf + 0
5.223 * * [simplify]: Extracting #2: cost 354 inf + 1
5.224 * * [simplify]: Extracting #3: cost 453 inf + 322
5.226 * * [simplify]: Extracting #4: cost 472 inf + 4417
5.233 * * [simplify]: Extracting #5: cost 345 inf + 175126
5.265 * * [simplify]: Extracting #6: cost 57 inf + 661423
5.310 * * [simplify]: Extracting #7: cost 1 inf + 765790
5.354 * * [simplify]: Extracting #8: cost 0 inf + 767393
5.401 * * [simplify]: Extracting #9: cost 0 inf + 767353
5.444 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.444 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))))
5.445 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 i i) (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))))>
5.445 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
5.445 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
5.445 * * [simplify]: iters left: 2 (4 enodes)
5.447 * * [simplify]: iters left: 1 (8 enodes)
5.448 * * [simplify]: Extracting #0: cost 1 inf + 0
5.448 * * [simplify]: Extracting #1: cost 3 inf + 0
5.448 * * [simplify]: Extracting #2: cost 3 inf + 1
5.448 * * [simplify]: Extracting #3: cost 0 inf + 325
5.448 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
5.448 * [simplify]: Simplified (2 1 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
5.448 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))>
5.449 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.449 * * [simplify]: iters left: 3 (7 enodes)
5.451 * * [simplify]: iters left: 2 (19 enodes)
5.454 * * [simplify]: iters left: 1 (37 enodes)
5.461 * * [simplify]: Extracting #0: cost 1 inf + 0
5.461 * * [simplify]: Extracting #1: cost 10 inf + 0
5.461 * * [simplify]: Extracting #2: cost 21 inf + 0
5.461 * * [simplify]: Extracting #3: cost 27 inf + 165
5.461 * * [simplify]: Extracting #4: cost 28 inf + 166
5.461 * * [simplify]: Extracting #5: cost 18 inf + 4946
5.462 * * [simplify]: Extracting #6: cost 0 inf + 22111
5.463 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.463 * [simplify]: Simplified (2 1 2 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 (/.p16 i (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 i i)))
5.463 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
5.463 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
5.463 * * [simplify]: iters left: 4 (8 enodes)
5.466 * * [simplify]: iters left: 3 (18 enodes)
5.469 * * [simplify]: iters left: 2 (25 enodes)
5.473 * * [simplify]: iters left: 1 (29 enodes)
5.477 * * [simplify]: Extracting #0: cost 1 inf + 0
5.477 * * [simplify]: Extracting #1: cost 3 inf + 0
5.477 * * [simplify]: Extracting #2: cost 11 inf + 0
5.477 * * [simplify]: Extracting #3: cost 9 inf + 3
5.477 * * [simplify]: Extracting #4: cost 0 inf + 3578
5.478 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
5.478 * [simplify]: Simplified (2 1 2 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
5.478 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))>
5.478 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
5.478 * * [simplify]: iters left: 4 (8 enodes)
5.480 * * [simplify]: iters left: 3 (18 enodes)
5.483 * * [simplify]: iters left: 2 (25 enodes)
5.488 * * [simplify]: iters left: 1 (29 enodes)
5.492 * * [simplify]: Extracting #0: cost 1 inf + 0
5.492 * * [simplify]: Extracting #1: cost 3 inf + 0
5.492 * * [simplify]: Extracting #2: cost 11 inf + 0
5.493 * * [simplify]: Extracting #3: cost 9 inf + 3
5.493 * * [simplify]: Extracting #4: cost 0 inf + 3578
5.493 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
5.493 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))
5.493 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))>
5.493 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
5.493 * * [simplify]: iters left: 4 (8 enodes)
5.495 * * [simplify]: iters left: 3 (27 enodes)
5.501 * * [simplify]: iters left: 2 (61 enodes)
5.513 * * [simplify]: iters left: 1 (182 enodes)
5.590 * * [simplify]: Extracting #0: cost 1 inf + 0
5.590 * * [simplify]: Extracting #1: cost 37 inf + 0
5.591 * * [simplify]: Extracting #2: cost 175 inf + 0
5.592 * * [simplify]: Extracting #3: cost 221 inf + 323
5.594 * * [simplify]: Extracting #4: cost 221 inf + 30993
5.604 * * [simplify]: Extracting #5: cost 76 inf + 221248
5.627 * * [simplify]: Extracting #6: cost 0 inf + 318421
5.660 * * [simplify]: Extracting #7: cost 0 inf + 316421
5.694 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
5.694 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i)))
5.694 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 i i)))>
5.695 * [simplify]: Simplifying (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
5.695 * * [simplify]: iters left: 6 (10 enodes)
5.700 * * [simplify]: iters left: 5 (32 enodes)
5.711 * * [simplify]: iters left: 4 (77 enodes)
5.745 * * [simplify]: iters left: 3 (261 enodes)
5.929 * * [simplify]: Extracting #0: cost 1 inf + 0
5.930 * * [simplify]: Extracting #1: cost 62 inf + 0
5.931 * * [simplify]: Extracting #2: cost 262 inf + 322
5.933 * * [simplify]: Extracting #3: cost 352 inf + 322
5.943 * * [simplify]: Extracting #4: cost 358 inf + 17807
5.956 * * [simplify]: Extracting #5: cost 171 inf + 273596
5.999 * * [simplify]: Extracting #6: cost 2 inf + 561486
6.033 * * [simplify]: Extracting #7: cost 0 inf + 564492
6.346 * [simplify]: Simplified to (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
6.346 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 i i)))
6.346 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))) (*.p16 i i)))>
6.347 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
6.347 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.347 * * [simplify]: iters left: 4 (6 enodes)
6.349 * * [simplify]: iters left: 3 (16 enodes)
6.351 * * [simplify]: iters left: 2 (27 enodes)
6.356 * * [simplify]: iters left: 1 (33 enodes)
6.361 * * [simplify]: Extracting #0: cost 1 inf + 0
6.361 * * [simplify]: Extracting #1: cost 5 inf + 0
6.361 * * [simplify]: Extracting #2: cost 11 inf + 1
6.361 * * [simplify]: Extracting #3: cost 11 inf + 763
6.361 * * [simplify]: Extracting #4: cost 9 inf + 765
6.361 * * [simplify]: Extracting #5: cost 2 inf + 3698
6.361 * * [simplify]: Extracting #6: cost 0 inf + 4861
6.361 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.361 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
6.362 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.362 * * [simplify]: iters left: 5 (9 enodes)
6.364 * * [simplify]: iters left: 4 (28 enodes)
6.370 * * [simplify]: iters left: 3 (66 enodes)
6.384 * * [simplify]: iters left: 2 (206 enodes)
6.479 * * [simplify]: Extracting #0: cost 1 inf + 0
6.479 * * [simplify]: Extracting #1: cost 39 inf + 0
6.479 * * [simplify]: Extracting #2: cost 172 inf + 1
6.480 * * [simplify]: Extracting #3: cost 247 inf + 322
6.482 * * [simplify]: Extracting #4: cost 253 inf + 16849
6.492 * * [simplify]: Extracting #5: cost 114 inf + 204899
6.513 * * [simplify]: Extracting #6: cost 7 inf + 360159
6.537 * * [simplify]: Extracting #7: cost 0 inf + 374380
6.559 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.559 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
6.559 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
6.559 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.559 * * [simplify]: iters left: 4 (6 enodes)
6.561 * * [simplify]: iters left: 3 (16 enodes)
6.564 * * [simplify]: iters left: 2 (27 enodes)
6.569 * * [simplify]: iters left: 1 (33 enodes)
6.575 * * [simplify]: Extracting #0: cost 1 inf + 0
6.575 * * [simplify]: Extracting #1: cost 5 inf + 0
6.575 * * [simplify]: Extracting #2: cost 11 inf + 1
6.575 * * [simplify]: Extracting #3: cost 11 inf + 763
6.575 * * [simplify]: Extracting #4: cost 9 inf + 765
6.575 * * [simplify]: Extracting #5: cost 2 inf + 3698
6.576 * * [simplify]: Extracting #6: cost 0 inf + 4861
6.576 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.576 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
6.576 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.576 * * [simplify]: iters left: 5 (9 enodes)
6.578 * * [simplify]: iters left: 4 (28 enodes)
6.584 * * [simplify]: iters left: 3 (66 enodes)
6.600 * * [simplify]: iters left: 2 (206 enodes)
6.709 * * [simplify]: Extracting #0: cost 1 inf + 0
6.709 * * [simplify]: Extracting #1: cost 39 inf + 0
6.710 * * [simplify]: Extracting #2: cost 172 inf + 1
6.711 * * [simplify]: Extracting #3: cost 247 inf + 322
6.713 * * [simplify]: Extracting #4: cost 253 inf + 16849
6.728 * * [simplify]: Extracting #5: cost 114 inf + 204899
6.761 * * [simplify]: Extracting #6: cost 7 inf + 360159
6.797 * * [simplify]: Extracting #7: cost 0 inf + 374380
6.832 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.832 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
6.833 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
6.833 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.833 * * [simplify]: iters left: 4 (6 enodes)
6.836 * * [simplify]: iters left: 3 (16 enodes)
6.841 * * [simplify]: iters left: 2 (27 enodes)
6.847 * * [simplify]: iters left: 1 (33 enodes)
6.853 * * [simplify]: Extracting #0: cost 1 inf + 0
6.853 * * [simplify]: Extracting #1: cost 5 inf + 0
6.853 * * [simplify]: Extracting #2: cost 11 inf + 1
6.853 * * [simplify]: Extracting #3: cost 11 inf + 763
6.853 * * [simplify]: Extracting #4: cost 9 inf + 765
6.853 * * [simplify]: Extracting #5: cost 2 inf + 3698
6.853 * * [simplify]: Extracting #6: cost 0 inf + 4861
6.854 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.854 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
6.854 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.854 * * [simplify]: iters left: 5 (9 enodes)
6.856 * * [simplify]: iters left: 4 (28 enodes)
6.862 * * [simplify]: iters left: 3 (66 enodes)
6.881 * * [simplify]: iters left: 2 (206 enodes)
7.012 * * [simplify]: Extracting #0: cost 1 inf + 0
7.012 * * [simplify]: Extracting #1: cost 39 inf + 0
7.013 * * [simplify]: Extracting #2: cost 172 inf + 1
7.014 * * [simplify]: Extracting #3: cost 247 inf + 322
7.017 * * [simplify]: Extracting #4: cost 253 inf + 16849
7.032 * * [simplify]: Extracting #5: cost 114 inf + 204899
7.053 * * [simplify]: Extracting #6: cost 7 inf + 360159
7.077 * * [simplify]: Extracting #7: cost 0 inf + 374380
7.098 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
7.098 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
7.098 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
7.098 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
7.099 * * [simplify]: iters left: 4 (6 enodes)
7.100 * * [simplify]: iters left: 3 (16 enodes)
7.103 * * [simplify]: iters left: 2 (27 enodes)
7.107 * * [simplify]: iters left: 1 (33 enodes)
7.112 * * [simplify]: Extracting #0: cost 1 inf + 0
7.112 * * [simplify]: Extracting #1: cost 5 inf + 0
7.112 * * [simplify]: Extracting #2: cost 11 inf + 1
7.112 * * [simplify]: Extracting #3: cost 11 inf + 763
7.113 * * [simplify]: Extracting #4: cost 9 inf + 765
7.113 * * [simplify]: Extracting #5: cost 2 inf + 3698
7.113 * * [simplify]: Extracting #6: cost 0 inf + 4861
7.113 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
7.113 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
7.113 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
7.113 * * [simplify]: iters left: 5 (9 enodes)
7.116 * * [simplify]: iters left: 4 (28 enodes)
7.122 * * [simplify]: iters left: 3 (66 enodes)
7.136 * * [simplify]: iters left: 2 (206 enodes)
7.223 * * [simplify]: Extracting #0: cost 1 inf + 0
7.224 * * [simplify]: Extracting #1: cost 39 inf + 0
7.224 * * [simplify]: Extracting #2: cost 172 inf + 1
7.225 * * [simplify]: Extracting #3: cost 247 inf + 322
7.226 * * [simplify]: Extracting #4: cost 253 inf + 16849
7.236 * * [simplify]: Extracting #5: cost 114 inf + 204899
7.256 * * [simplify]: Extracting #6: cost 7 inf + 360159
7.278 * * [simplify]: Extracting #7: cost 0 inf + 374380
7.313 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
7.313 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
7.313 * * * [progress]: adding candidates to table
8.308 * * [progress]: iteration 3 / 4
8.308 * * * [progress]: picking best candidate
8.477 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
8.477 * * * [progress]: localizing error
8.774 * * * [progress]: generating rewritten candidates
8.774 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
8.780 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
8.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
8.801 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
8.806 * * * [progress]: generating series expansions
8.806 * * * * [progress]: [ 1 / 4 ] generating series at (2)
8.806 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
8.806 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
8.806 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
8.806 * * * [progress]: simplifying candidates
8.806 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
8.806 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
8.806 * * [simplify]: iters left: 3 (7 enodes)
8.811 * * [simplify]: iters left: 2 (19 enodes)
8.817 * * [simplify]: iters left: 1 (37 enodes)
8.828 * * [simplify]: Extracting #0: cost 1 inf + 0
8.828 * * [simplify]: Extracting #1: cost 10 inf + 0
8.828 * * [simplify]: Extracting #2: cost 21 inf + 0
8.828 * * [simplify]: Extracting #3: cost 27 inf + 165
8.828 * * [simplify]: Extracting #4: cost 28 inf + 166
8.829 * * [simplify]: Extracting #5: cost 18 inf + 4946
8.830 * * [simplify]: Extracting #6: cost 0 inf + 22111
8.831 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
8.832 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
8.832 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))>
8.832 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
8.832 * * [simplify]: iters left: 2 (4 enodes)
8.834 * * [simplify]: iters left: 1 (7 enodes)
8.835 * * [simplify]: Extracting #0: cost 1 inf + 0
8.836 * * [simplify]: Extracting #1: cost 3 inf + 0
8.836 * * [simplify]: Extracting #2: cost 3 inf + 1
8.836 * * [simplify]: Extracting #3: cost 0 inf + 445
8.836 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
8.836 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
8.836 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
8.836 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
8.836 * * [simplify]: iters left: 4 (8 enodes)
8.840 * * [simplify]: iters left: 3 (18 enodes)
8.845 * * [simplify]: iters left: 2 (25 enodes)
8.851 * * [simplify]: iters left: 1 (29 enodes)
8.858 * * [simplify]: Extracting #0: cost 1 inf + 0
8.859 * * [simplify]: Extracting #1: cost 3 inf + 0
8.859 * * [simplify]: Extracting #2: cost 11 inf + 0
8.859 * * [simplify]: Extracting #3: cost 9 inf + 3
8.859 * * [simplify]: Extracting #4: cost 0 inf + 3578
8.859 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
8.859 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
8.860 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))>
8.860 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
8.860 * * [simplify]: iters left: 3 (5 enodes)
8.862 * * [simplify]: iters left: 2 (11 enodes)
8.865 * * [simplify]: iters left: 1 (13 enodes)
8.868 * * [simplify]: Extracting #0: cost 1 inf + 0
8.868 * * [simplify]: Extracting #1: cost 6 inf + 0
8.868 * * [simplify]: Extracting #2: cost 6 inf + 1
8.868 * * [simplify]: Extracting #3: cost 0 inf + 1970
8.868 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
8.868 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))
8.868 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))>
8.869 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
8.869 * * [simplify]: iters left: 3 (5 enodes)
8.871 * * [simplify]: iters left: 2 (11 enodes)
8.874 * * [simplify]: iters left: 1 (13 enodes)
8.878 * * [simplify]: Extracting #0: cost 1 inf + 0
8.878 * * [simplify]: Extracting #1: cost 6 inf + 0
8.878 * * [simplify]: Extracting #2: cost 6 inf + 1
8.878 * * [simplify]: Extracting #3: cost 0 inf + 1970
8.878 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
8.878 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))))
8.878 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
8.878 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
8.878 * * [simplify]: iters left: 4 (9 enodes)
8.882 * * [simplify]: iters left: 3 (17 enodes)
8.886 * * [simplify]: iters left: 2 (20 enodes)
8.892 * * [simplify]: iters left: 1 (28 enodes)
8.900 * * [simplify]: Extracting #0: cost 1 inf + 0
8.900 * * [simplify]: Extracting #1: cost 7 inf + 0
8.900 * * [simplify]: Extracting #2: cost 10 inf + 1
8.900 * * [simplify]: Extracting #3: cost 11 inf + 2
8.900 * * [simplify]: Extracting #4: cost 7 inf + 767
8.900 * * [simplify]: Extracting #5: cost 2 inf + 2777
8.901 * * [simplify]: Extracting #6: cost 0 inf + 4702
8.901 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
8.901 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
8.902 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
8.902 * * [simplify]: iters left: 4 (9 enodes)
8.905 * * [simplify]: iters left: 3 (23 enodes)
8.915 * * [simplify]: iters left: 2 (48 enodes)
8.930 * * [simplify]: iters left: 1 (130 enodes)
8.996 * * [simplify]: Extracting #0: cost 1 inf + 0
8.997 * * [simplify]: Extracting #1: cost 33 inf + 0
8.997 * * [simplify]: Extracting #2: cost 121 inf + 1
8.998 * * [simplify]: Extracting #3: cost 150 inf + 767
8.999 * * [simplify]: Extracting #4: cost 147 inf + 6462
9.003 * * [simplify]: Extracting #5: cost 102 inf + 59322
9.016 * * [simplify]: Extracting #6: cost 7 inf + 167589
9.033 * * [simplify]: Extracting #7: cost 0 inf + 181450
9.048 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
9.048 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
9.048 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
9.048 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.048 * * [simplify]: iters left: 3 (7 enodes)
9.051 * * [simplify]: iters left: 2 (13 enodes)
9.053 * * [simplify]: Extracting #0: cost 1 inf + 0
9.053 * * [simplify]: Extracting #1: cost 3 inf + 0
9.053 * * [simplify]: Extracting #2: cost 6 inf + 0
9.054 * * [simplify]: Extracting #3: cost 4 inf + 3
9.054 * * [simplify]: Extracting #4: cost 0 inf + 690
9.054 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.054 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
9.054 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.054 * * [simplify]: iters left: 3 (7 enodes)
9.057 * * [simplify]: iters left: 2 (19 enodes)
9.063 * * [simplify]: iters left: 1 (37 enodes)
9.074 * * [simplify]: Extracting #0: cost 1 inf + 0
9.075 * * [simplify]: Extracting #1: cost 10 inf + 0
9.075 * * [simplify]: Extracting #2: cost 21 inf + 0
9.075 * * [simplify]: Extracting #3: cost 27 inf + 165
9.075 * * [simplify]: Extracting #4: cost 28 inf + 166
9.075 * * [simplify]: Extracting #5: cost 18 inf + 4946
9.077 * * [simplify]: Extracting #6: cost 0 inf + 22111
9.078 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.078 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
9.079 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))))>
9.079 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
9.079 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))>
9.079 * [simplify]: Simplifying (real->posit16 2)
9.079 * * [simplify]: iters left: 1 (2 enodes)
9.080 * * [simplify]: Extracting #0: cost 1 inf + 0
9.080 * * [simplify]: Extracting #1: cost 2 inf + 0
9.080 * * [simplify]: Extracting #2: cost 1 inf + 1
9.080 * * [simplify]: Extracting #3: cost 0 inf + 2
9.080 * [simplify]: Simplified to (real->posit16 2)
9.080 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))
9.080 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))>
9.080 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
9.080 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
9.081 * [simplify]: Simplifying (real->posit16 2)
9.081 * * [simplify]: iters left: 1 (2 enodes)
9.082 * * [simplify]: Extracting #0: cost 1 inf + 0
9.082 * * [simplify]: Extracting #1: cost 2 inf + 0
9.082 * * [simplify]: Extracting #2: cost 1 inf + 1
9.082 * * [simplify]: Extracting #3: cost 0 inf + 2
9.082 * [simplify]: Simplified to (real->posit16 2)
9.082 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
9.082 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
9.082 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
9.082 * * [simplify]: iters left: 3 (5 enodes)
9.084 * * [simplify]: iters left: 2 (11 enodes)
9.086 * * [simplify]: iters left: 1 (13 enodes)
9.088 * * [simplify]: Extracting #0: cost 1 inf + 0
9.088 * * [simplify]: Extracting #1: cost 6 inf + 0
9.088 * * [simplify]: Extracting #2: cost 6 inf + 1
9.088 * * [simplify]: Extracting #3: cost 0 inf + 1970
9.088 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
9.088 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
9.088 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
9.088 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
9.088 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
9.088 * * [simplify]: iters left: 5 (11 enodes)
9.091 * * [simplify]: iters left: 4 (36 enodes)
9.098 * * [simplify]: iters left: 3 (93 enodes)
9.118 * * [simplify]: iters left: 2 (324 enodes)
9.369 * * [simplify]: Extracting #0: cost 1 inf + 0
9.369 * * [simplify]: Extracting #1: cost 100 inf + 0
9.371 * * [simplify]: Extracting #2: cost 387 inf + 322
9.375 * * [simplify]: Extracting #3: cost 451 inf + 10427
9.385 * * [simplify]: Extracting #4: cost 402 inf + 115864
9.427 * * [simplify]: Extracting #5: cost 172 inf + 531234
9.482 * * [simplify]: Extracting #6: cost 5 inf + 787856
9.525 * * [simplify]: Extracting #7: cost 0 inf + 796751
9.583 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
9.583 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
9.584 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
9.584 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
9.584 * * [simplify]: iters left: 5 (11 enodes)
9.588 * * [simplify]: iters left: 4 (36 enodes)
9.595 * * [simplify]: iters left: 3 (93 enodes)
9.617 * * [simplify]: iters left: 2 (324 enodes)
9.877 * * [simplify]: Extracting #0: cost 1 inf + 0
9.877 * * [simplify]: Extracting #1: cost 100 inf + 0
9.879 * * [simplify]: Extracting #2: cost 387 inf + 322
9.880 * * [simplify]: Extracting #3: cost 451 inf + 10427
9.885 * * [simplify]: Extracting #4: cost 402 inf + 115864
9.909 * * [simplify]: Extracting #5: cost 172 inf + 531234
9.949 * * [simplify]: Extracting #6: cost 5 inf + 787856
10.018 * * [simplify]: Extracting #7: cost 0 inf + 796751
10.081 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
10.081 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
10.081 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
10.082 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
10.082 * * [simplify]: iters left: 5 (11 enodes)
10.086 * * [simplify]: iters left: 4 (36 enodes)
10.098 * * [simplify]: iters left: 3 (93 enodes)
10.127 * * [simplify]: iters left: 2 (324 enodes)
10.390 * * [simplify]: Extracting #0: cost 1 inf + 0
10.390 * * [simplify]: Extracting #1: cost 100 inf + 0
10.392 * * [simplify]: Extracting #2: cost 387 inf + 322
10.395 * * [simplify]: Extracting #3: cost 451 inf + 10427
10.403 * * [simplify]: Extracting #4: cost 402 inf + 115864
10.442 * * [simplify]: Extracting #5: cost 172 inf + 531234
10.489 * * [simplify]: Extracting #6: cost 5 inf + 787856
10.532 * * [simplify]: Extracting #7: cost 0 inf + 796751
10.579 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
10.579 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
10.579 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
10.579 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
10.579 * * [simplify]: iters left: 5 (11 enodes)
10.583 * * [simplify]: iters left: 4 (36 enodes)
10.590 * * [simplify]: iters left: 3 (93 enodes)
10.614 * * [simplify]: iters left: 2 (324 enodes)
10.885 * * [simplify]: Extracting #0: cost 1 inf + 0
10.886 * * [simplify]: Extracting #1: cost 100 inf + 0
10.887 * * [simplify]: Extracting #2: cost 387 inf + 322
10.890 * * [simplify]: Extracting #3: cost 451 inf + 10427
10.898 * * [simplify]: Extracting #4: cost 402 inf + 115864
10.931 * * [simplify]: Extracting #5: cost 172 inf + 531234
10.989 * * [simplify]: Extracting #6: cost 5 inf + 787856
11.046 * * [simplify]: Extracting #7: cost 0 inf + 796751
11.088 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
11.088 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
11.088 * * * [progress]: adding candidates to table
12.180 * * [progress]: iteration 4 / 4
12.180 * * * [progress]: picking best candidate
12.374 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.374 * * * [progress]: localizing error
12.608 * * * [progress]: generating rewritten candidates
12.608 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
12.611 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
12.613 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
12.618 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
12.619 * * * [progress]: generating series expansions
12.619 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
12.619 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
12.619 * * * * [progress]: [ 3 / 4 ] generating series at (2)
12.619 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
12.619 * * * [progress]: simplifying candidates
12.619 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.619 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.620 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
12.620 * * [simplify]: iters left: 3 (7 enodes)
12.622 * * [simplify]: iters left: 2 (13 enodes)
12.625 * * [simplify]: Extracting #0: cost 1 inf + 0
12.625 * * [simplify]: Extracting #1: cost 3 inf + 0
12.625 * * [simplify]: Extracting #2: cost 6 inf + 0
12.625 * * [simplify]: Extracting #3: cost 4 inf + 3
12.625 * * [simplify]: Extracting #4: cost 0 inf + 690
12.625 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
12.625 * [simplify]: Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
12.625 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
12.625 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
12.625 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
12.625 * * [simplify]: iters left: 3 (7 enodes)
12.628 * * [simplify]: iters left: 2 (13 enodes)
12.632 * * [simplify]: Extracting #0: cost 1 inf + 0
12.632 * * [simplify]: Extracting #1: cost 3 inf + 0
12.632 * * [simplify]: Extracting #2: cost 6 inf + 0
12.632 * * [simplify]: Extracting #3: cost 4 inf + 3
12.632 * * [simplify]: Extracting #4: cost 0 inf + 690
12.632 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
12.632 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
12.632 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
12.632 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
12.632 * * [simplify]: iters left: 3 (7 enodes)
12.635 * * [simplify]: iters left: 2 (19 enodes)
12.641 * * [simplify]: iters left: 1 (37 enodes)
12.653 * * [simplify]: Extracting #0: cost 1 inf + 0
12.653 * * [simplify]: Extracting #1: cost 10 inf + 0
12.653 * * [simplify]: Extracting #2: cost 21 inf + 0
12.653 * * [simplify]: Extracting #3: cost 27 inf + 165
12.653 * * [simplify]: Extracting #4: cost 28 inf + 166
12.654 * * [simplify]: Extracting #5: cost 18 inf + 4946
12.655 * * [simplify]: Extracting #6: cost 0 inf + 22111
12.657 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
12.657 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
12.657 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
12.657 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
12.657 * * [simplify]: iters left: 5 (10 enodes)
12.661 * * [simplify]: iters left: 4 (29 enodes)
12.670 * * [simplify]: iters left: 3 (71 enodes)
12.696 * * [simplify]: iters left: 2 (226 enodes)
12.822 * * [simplify]: Extracting #0: cost 1 inf + 0
12.822 * * [simplify]: Extracting #1: cost 76 inf + 0
12.824 * * [simplify]: Extracting #2: cost 266 inf + 322
12.827 * * [simplify]: Extracting #3: cost 288 inf + 11470
12.831 * * [simplify]: Extracting #4: cost 267 inf + 40495
12.858 * * [simplify]: Extracting #5: cost 84 inf + 325096
12.878 * * [simplify]: Extracting #6: cost 0 inf + 450491
12.902 * * [simplify]: Extracting #7: cost 0 inf + 450131
12.928 * [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)))
12.928 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
12.928 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.928 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (neg.p16 (real->posit16 1.0))))))>
12.928 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
12.928 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.928 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
12.929 * * [simplify]: iters left: 4 (9 enodes)
12.931 * * [simplify]: iters left: 3 (17 enodes)
12.934 * * [simplify]: iters left: 2 (20 enodes)
12.937 * * [simplify]: iters left: 1 (28 enodes)
12.942 * * [simplify]: Extracting #0: cost 1 inf + 0
12.942 * * [simplify]: Extracting #1: cost 7 inf + 0
12.942 * * [simplify]: Extracting #2: cost 10 inf + 1
12.942 * * [simplify]: Extracting #3: cost 11 inf + 2
12.942 * * [simplify]: Extracting #4: cost 7 inf + 767
12.944 * * [simplify]: Extracting #5: cost 2 inf + 2777
12.944 * * [simplify]: Extracting #6: cost 0 inf + 4702
12.944 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
12.944 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
12.944 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
12.945 * * [simplify]: iters left: 4 (9 enodes)
12.949 * * [simplify]: iters left: 3 (23 enodes)
12.957 * * [simplify]: iters left: 2 (48 enodes)
12.972 * * [simplify]: iters left: 1 (130 enodes)
13.036 * * [simplify]: Extracting #0: cost 1 inf + 0
13.036 * * [simplify]: Extracting #1: cost 33 inf + 0
13.037 * * [simplify]: Extracting #2: cost 121 inf + 1
13.037 * * [simplify]: Extracting #3: cost 150 inf + 767
13.038 * * [simplify]: Extracting #4: cost 147 inf + 6462
13.042 * * [simplify]: Extracting #5: cost 102 inf + 59322
13.052 * * [simplify]: Extracting #6: cost 7 inf + 167589
13.061 * * [simplify]: Extracting #7: cost 0 inf + 181450
13.070 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
13.070 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
13.070 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
13.070 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
13.070 * * [simplify]: iters left: 4 (9 enodes)
13.073 * * [simplify]: iters left: 3 (17 enodes)
13.075 * * [simplify]: iters left: 2 (20 enodes)
13.079 * * [simplify]: iters left: 1 (28 enodes)
13.083 * * [simplify]: Extracting #0: cost 1 inf + 0
13.083 * * [simplify]: Extracting #1: cost 7 inf + 0
13.083 * * [simplify]: Extracting #2: cost 10 inf + 1
13.083 * * [simplify]: Extracting #3: cost 11 inf + 2
13.084 * * [simplify]: Extracting #4: cost 7 inf + 767
13.084 * * [simplify]: Extracting #5: cost 2 inf + 2777
13.084 * * [simplify]: Extracting #6: cost 0 inf + 4702
13.084 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
13.084 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
13.084 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
13.085 * * [simplify]: iters left: 4 (9 enodes)
13.087 * * [simplify]: iters left: 3 (23 enodes)
13.091 * * [simplify]: iters left: 2 (48 enodes)
13.100 * * [simplify]: iters left: 1 (130 enodes)
13.170 * * [simplify]: Extracting #0: cost 1 inf + 0
13.170 * * [simplify]: Extracting #1: cost 33 inf + 0
13.170 * * [simplify]: Extracting #2: cost 121 inf + 1
13.171 * * [simplify]: Extracting #3: cost 150 inf + 767
13.172 * * [simplify]: Extracting #4: cost 147 inf + 6462
13.177 * * [simplify]: Extracting #5: cost 102 inf + 59322
13.189 * * [simplify]: Extracting #6: cost 7 inf + 167589
13.202 * * [simplify]: Extracting #7: cost 0 inf + 181450
13.216 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
13.216 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
13.216 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
13.217 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
13.217 * * [simplify]: iters left: 4 (9 enodes)
13.220 * * [simplify]: iters left: 3 (17 enodes)
13.224 * * [simplify]: iters left: 2 (20 enodes)
13.229 * * [simplify]: iters left: 1 (28 enodes)
13.237 * * [simplify]: Extracting #0: cost 1 inf + 0
13.237 * * [simplify]: Extracting #1: cost 7 inf + 0
13.237 * * [simplify]: Extracting #2: cost 10 inf + 1
13.237 * * [simplify]: Extracting #3: cost 11 inf + 2
13.237 * * [simplify]: Extracting #4: cost 7 inf + 767
13.237 * * [simplify]: Extracting #5: cost 2 inf + 2777
13.238 * * [simplify]: Extracting #6: cost 0 inf + 4702
13.238 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
13.238 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
13.239 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
13.239 * * [simplify]: iters left: 4 (9 enodes)
13.242 * * [simplify]: iters left: 3 (23 enodes)
13.251 * * [simplify]: iters left: 2 (48 enodes)
13.264 * * [simplify]: iters left: 1 (130 enodes)
13.325 * * [simplify]: Extracting #0: cost 1 inf + 0
13.326 * * [simplify]: Extracting #1: cost 33 inf + 0
13.326 * * [simplify]: Extracting #2: cost 121 inf + 1
13.327 * * [simplify]: Extracting #3: cost 150 inf + 767
13.328 * * [simplify]: Extracting #4: cost 147 inf + 6462
13.331 * * [simplify]: Extracting #5: cost 102 inf + 59322
13.346 * * [simplify]: Extracting #6: cost 7 inf + 167589
13.359 * * [simplify]: Extracting #7: cost 0 inf + 181450
13.372 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
13.372 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
13.373 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
13.373 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
13.373 * * [simplify]: iters left: 4 (9 enodes)
13.376 * * [simplify]: iters left: 3 (17 enodes)
13.380 * * [simplify]: iters left: 2 (20 enodes)
13.385 * * [simplify]: iters left: 1 (28 enodes)
13.392 * * [simplify]: Extracting #0: cost 1 inf + 0
13.392 * * [simplify]: Extracting #1: cost 7 inf + 0
13.392 * * [simplify]: Extracting #2: cost 10 inf + 1
13.392 * * [simplify]: Extracting #3: cost 11 inf + 2
13.393 * * [simplify]: Extracting #4: cost 7 inf + 767
13.393 * * [simplify]: Extracting #5: cost 2 inf + 2777
13.393 * * [simplify]: Extracting #6: cost 0 inf + 4702
13.394 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
13.394 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
13.394 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
13.394 * * [simplify]: iters left: 4 (9 enodes)
13.397 * * [simplify]: iters left: 3 (23 enodes)
13.403 * * [simplify]: iters left: 2 (48 enodes)
13.417 * * [simplify]: iters left: 1 (130 enodes)
13.476 * * [simplify]: Extracting #0: cost 1 inf + 0
13.476 * * [simplify]: Extracting #1: cost 33 inf + 0
13.477 * * [simplify]: Extracting #2: cost 121 inf + 1
13.477 * * [simplify]: Extracting #3: cost 150 inf + 767
13.478 * * [simplify]: Extracting #4: cost 147 inf + 6462
13.482 * * [simplify]: Extracting #5: cost 102 inf + 59322
13.494 * * [simplify]: Extracting #6: cost 7 inf + 167589
13.508 * * [simplify]: Extracting #7: cost 0 inf + 181450
13.521 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
13.521 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
13.522 * * * [progress]: adding candidates to table
14.204 * [progress]: [Phase 3 of 3] Extracting.
14.204 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>)
14.206 * * * [regime-changes]: Trying 1 branch expressions: (i)
14.206 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>)
14.634 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
14.634 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
14.634 * * [simplify]: iters left: 5 (12 enodes)
14.635 * * [simplify]: Extracting #0: cost 1 inf + 0
14.635 * * [simplify]: Extracting #1: cost 3 inf + 0
14.636 * * [simplify]: Extracting #2: cost 6 inf + 0
14.636 * * [simplify]: Extracting #3: cost 10 inf + 0
14.636 * * [simplify]: Extracting #4: cost 11 inf + 1
14.636 * * [simplify]: Extracting #5: cost 0 inf + 6144
14.636 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
14.636 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
14.652 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
14.656 * * * * [points]: Setting MPFR precision to 64
14.658 * * * * [points]: Setting MPFR precision to 320
14.659 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.662 * * * * [points]: Setting MPFR precision to 64
14.664 * * * * [points]: Setting MPFR precision to 320
14.666 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.668 * * * * [points]: Setting MPFR precision to 64
14.671 * * * * [points]: Setting MPFR precision to 320
14.674 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.677 * * * * [points]: Setting MPFR precision to 64
14.683 * * * * [points]: Setting MPFR precision to 320
14.705 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.708 * * * * [points]: Setting MPFR precision to 64
14.720 * * * * [points]: Setting MPFR precision to 320
14.734 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
14.737 * * * * [points]: Setting MPFR precision to 64
14.760 * * * * [points]: Setting MPFR precision to 320
14.787 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.790 * * * * [points]: Setting MPFR precision to 64
14.861 * * * * [points]: Setting MPFR precision to 320
14.913 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.916 * * * * [points]: Setting MPFR precision to 64
15.035 * * * * [points]: Setting MPFR precision to 320
15.170 * * * * [points]: Computing exacts for 8000 points
15.173 * * * * [points]: Setting MPFR precision to 64
15.703 * * * * [points]: Setting MPFR precision to 320
16.662 * * * * [points]: Filtering points with unrepresentable outputs
16.847 * * * * [points]: Sampling 3974 additional inputs, on iter 1 have 4026 / 8000
16.852 * * * * [points]: Computing exacts on every 248 of 3974 points to ramp up precision
16.855 * * * * [points]: Setting MPFR precision to 64
16.856 * * * * [points]: Setting MPFR precision to 320
16.857 * * * * [points]: Computing exacts on every 124 of 3974 points to ramp up precision
16.859 * * * * [points]: Setting MPFR precision to 64
16.861 * * * * [points]: Setting MPFR precision to 320
16.874 * * * * [points]: Computing exacts on every 62 of 3974 points to ramp up precision
16.877 * * * * [points]: Setting MPFR precision to 64
16.880 * * * * [points]: Setting MPFR precision to 320
16.883 * * * * [points]: Computing exacts on every 31 of 3974 points to ramp up precision
16.887 * * * * [points]: Setting MPFR precision to 64
16.896 * * * * [points]: Setting MPFR precision to 320
16.906 * * * * [points]: Computing exacts on every 15 of 3974 points to ramp up precision
16.910 * * * * [points]: Setting MPFR precision to 64
16.929 * * * * [points]: Setting MPFR precision to 320
16.951 * * * * [points]: Computing exacts on every 7 of 3974 points to ramp up precision
16.955 * * * * [points]: Setting MPFR precision to 64
16.991 * * * * [points]: Setting MPFR precision to 320
17.034 * * * * [points]: Computing exacts on every 3 of 3974 points to ramp up precision
17.068 * * * * [points]: Setting MPFR precision to 64
17.123 * * * * [points]: Setting MPFR precision to 320
17.177 * * * * [points]: Computing exacts for 3974 points
17.180 * * * * [points]: Setting MPFR precision to 64
17.489 * * * * [points]: Setting MPFR precision to 320
17.807 * * * * [points]: Filtering points with unrepresentable outputs
17.861 * * * * [points]: Sampling 2035 additional inputs, on iter 2 have 5965 / 8000
17.864 * * * * [points]: Computing exacts on every 127 of 2035 points to ramp up precision
17.881 * * * * [points]: Setting MPFR precision to 64
17.883 * * * * [points]: Setting MPFR precision to 320
17.884 * * * * [points]: Computing exacts on every 63 of 2035 points to ramp up precision
17.886 * * * * [points]: Setting MPFR precision to 64
17.888 * * * * [points]: Setting MPFR precision to 320
17.890 * * * * [points]: Computing exacts on every 31 of 2035 points to ramp up precision
17.892 * * * * [points]: Setting MPFR precision to 64
17.895 * * * * [points]: Setting MPFR precision to 320
17.899 * * * * [points]: Computing exacts on every 15 of 2035 points to ramp up precision
17.902 * * * * [points]: Setting MPFR precision to 64
17.908 * * * * [points]: Setting MPFR precision to 320
17.915 * * * * [points]: Computing exacts on every 7 of 2035 points to ramp up precision
17.919 * * * * [points]: Setting MPFR precision to 64
17.933 * * * * [points]: Setting MPFR precision to 320
17.950 * * * * [points]: Computing exacts on every 3 of 2035 points to ramp up precision
17.954 * * * * [points]: Setting MPFR precision to 64
17.978 * * * * [points]: Setting MPFR precision to 320
18.049 * * * * [points]: Computing exacts for 2035 points
18.053 * * * * [points]: Setting MPFR precision to 64
18.189 * * * * [points]: Setting MPFR precision to 320
18.385 * * * * [points]: Filtering points with unrepresentable outputs
18.470 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
18.473 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
18.478 * * * * [points]: Setting MPFR precision to 64
18.480 * * * * [points]: Setting MPFR precision to 320
18.481 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
18.487 * * * * [points]: Setting MPFR precision to 64
18.490 * * * * [points]: Setting MPFR precision to 320
18.493 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
18.497 * * * * [points]: Setting MPFR precision to 64
18.503 * * * * [points]: Setting MPFR precision to 320
18.509 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
18.513 * * * * [points]: Setting MPFR precision to 64
18.524 * * * * [points]: Setting MPFR precision to 320
18.535 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
18.541 * * * * [points]: Setting MPFR precision to 64
18.560 * * * * [points]: Setting MPFR precision to 320
18.583 * * * * [points]: Computing exacts for 1008 points
18.587 * * * * [points]: Setting MPFR precision to 64
18.696 * * * * [points]: Setting MPFR precision to 320
18.787 * * * * [points]: Filtering points with unrepresentable outputs
18.809 * * * * [points]: Sampling 511 additional inputs, on iter 4 have 7489 / 8000
18.810 * * * * [points]: Computing exacts on every 31 of 511 points to ramp up precision
18.814 * * * * [points]: Setting MPFR precision to 64
18.816 * * * * [points]: Setting MPFR precision to 320
18.817 * * * * [points]: Computing exacts on every 15 of 511 points to ramp up precision
18.855 * * * * [points]: Setting MPFR precision to 64
18.857 * * * * [points]: Setting MPFR precision to 320
18.860 * * * * [points]: Computing exacts on every 7 of 511 points to ramp up precision
18.865 * * * * [points]: Setting MPFR precision to 64
18.870 * * * * [points]: Setting MPFR precision to 320
18.875 * * * * [points]: Computing exacts on every 3 of 511 points to ramp up precision
18.879 * * * * [points]: Setting MPFR precision to 64
18.889 * * * * [points]: Setting MPFR precision to 320
18.900 * * * * [points]: Computing exacts for 511 points
18.905 * * * * [points]: Setting MPFR precision to 64
18.943 * * * * [points]: Setting MPFR precision to 320
18.987 * * * * [points]: Filtering points with unrepresentable outputs
18.998 * * * * [points]: Sampling 263 additional inputs, on iter 5 have 7737 / 8000
18.999 * * * * [points]: Computing exacts on every 16 of 263 points to ramp up precision
19.003 * * * * [points]: Setting MPFR precision to 64
19.004 * * * * [points]: Setting MPFR precision to 320
19.005 * * * * [points]: Computing exacts on every 8 of 263 points to ramp up precision
19.009 * * * * [points]: Setting MPFR precision to 64
19.011 * * * * [points]: Setting MPFR precision to 320
19.014 * * * * [points]: Computing exacts on every 4 of 263 points to ramp up precision
19.018 * * * * [points]: Setting MPFR precision to 64
19.053 * * * * [points]: Setting MPFR precision to 320
19.058 * * * * [points]: Computing exacts on every 2 of 263 points to ramp up precision
19.064 * * * * [points]: Setting MPFR precision to 64
19.071 * * * * [points]: Setting MPFR precision to 320
19.078 * * * * [points]: Computing exacts for 263 points
19.082 * * * * [points]: Setting MPFR precision to 64
19.101 * * * * [points]: Setting MPFR precision to 320
19.124 * * * * [points]: Filtering points with unrepresentable outputs
19.130 * * * * [points]: Sampling 134 additional inputs, on iter 6 have 7866 / 8000
19.130 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
19.134 * * * * [points]: Setting MPFR precision to 64
19.135 * * * * [points]: Setting MPFR precision to 320
19.136 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
19.140 * * * * [points]: Setting MPFR precision to 64
19.142 * * * * [points]: Setting MPFR precision to 320
19.145 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
19.148 * * * * [points]: Setting MPFR precision to 64
19.152 * * * * [points]: Setting MPFR precision to 320
19.156 * * * * [points]: Computing exacts for 134 points
19.160 * * * * [points]: Setting MPFR precision to 64
19.170 * * * * [points]: Setting MPFR precision to 320
19.182 * * * * [points]: Filtering points with unrepresentable outputs
19.185 * * * * [points]: Sampling 77 additional inputs, on iter 7 have 7923 / 8000
19.185 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
19.189 * * * * [points]: Setting MPFR precision to 64
19.190 * * * * [points]: Setting MPFR precision to 320
19.192 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
19.196 * * * * [points]: Setting MPFR precision to 64
19.198 * * * * [points]: Setting MPFR precision to 320
19.200 * * * * [points]: Computing exacts for 77 points
19.222 * * * * [points]: Setting MPFR precision to 64
19.226 * * * * [points]: Setting MPFR precision to 320
19.230 * * * * [points]: Filtering points with unrepresentable outputs
19.233 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000
19.233 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
19.236 * * * * [points]: Setting MPFR precision to 64
19.237 * * * * [points]: Setting MPFR precision to 320
19.237 * * * * [points]: Computing exacts for 38 points
19.240 * * * * [points]: Setting MPFR precision to 64
19.242 * * * * [points]: Setting MPFR precision to 320
19.244 * * * * [points]: Filtering points with unrepresentable outputs
19.244 * * * * [points]: Sampling 21 additional inputs, on iter 9 have 7979 / 8000
19.244 * * * * [points]: Computing exacts for 21 points
19.247 * * * * [points]: Setting MPFR precision to 64
19.248 * * * * [points]: Setting MPFR precision to 320
19.250 * * * * [points]: Filtering points with unrepresentable outputs
19.252 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
19.252 * * * * [points]: Computing exacts for 6 points
19.255 * * * * [points]: Setting MPFR precision to 64
19.255 * * * * [points]: Setting MPFR precision to 320
19.256 * * * * [points]: Filtering points with unrepresentable outputs
19.256 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
19.256 * * * * [points]: Computing exacts for 4 points
19.259 * * * * [points]: Setting MPFR precision to 64
19.259 * * * * [points]: Setting MPFR precision to 320
19.259 * * * * [points]: Filtering points with unrepresentable outputs
19.259 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
19.260 * * * * [points]: Computing exacts for 4 points
19.262 * * * * [points]: Setting MPFR precision to 64
19.262 * * * * [points]: Setting MPFR precision to 320
19.263 * * * * [points]: Filtering points with unrepresentable outputs
19.263 * * * * [points]: Sampled 8001 points with exact outputs
25.278 * [regime-testing]: Baseline error score: 64.0
25.281 * [regime-testing]: Oracle error score: 64.0
25.285 * [regime-testing]: End program error score: 0.37963772308245053