0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.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.020 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts for 256 points
0.034 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.058 * * * * [points]: Filtering points with unrepresentable outputs
0.058 * * * * [points]: Sampling 128 additional inputs, on iter 1 have 128 / 256
0.058 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
0.072 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.074 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
0.076 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
0.081 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Computing exacts for 128 points
0.088 * * * * [points]: Setting MPFR precision to 64
0.094 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Filtering points with unrepresentable outputs
0.100 * * * * [points]: Sampling 55 additional inputs, on iter 2 have 201 / 256
0.100 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Computing exacts for 55 points
0.107 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Filtering points with unrepresentable outputs
0.113 * * * * [points]: Sampling 26 additional inputs, on iter 3 have 230 / 256
0.113 * * * * [points]: Computing exacts for 26 points
0.118 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Filtering points with unrepresentable outputs
0.121 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.121 * * * * [points]: Computing exacts for 12 points
0.124 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Filtering points with unrepresentable outputs
0.125 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.125 * * * * [points]: Computing exacts for 7 points
0.128 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.128 * * * * [points]: Filtering points with unrepresentable outputs
0.128 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.128 * * * * [points]: Computing exacts for 4 points
0.131 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Filtering points with unrepresentable outputs
0.131 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.131 * * * * [points]: Computing exacts for 4 points
0.134 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Filtering points with unrepresentable outputs
0.134 * * * * [points]: Sampled 259 points with exact outputs
0.135 * * * [progress]: [2/2] Setting up program.
0.146 * [progress]: [Phase 2 of 3] Improving.
0.146 * * * * [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.146 * [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.146 * * [simplify]: iters left: 5 (12 enodes)
0.150 * * [simplify]: iters left: 4 (43 enodes)
0.175 * * [simplify]: iters left: 3 (170 enodes)
0.252 * * [simplify]: Extracting #0: cost 1 inf + 0
0.252 * * [simplify]: Extracting #1: cost 78 inf + 0
0.253 * * [simplify]: Extracting #2: cost 269 inf + 322
0.256 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.262 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.290 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.314 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.330 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.349 * [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.349 * [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.374 * * [progress]: iteration 1 / 4
0.374 * * * [progress]: picking best candidate
0.400 * * * * [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.400 * * * [progress]: localizing error
0.562 * * * [progress]: generating rewritten candidates
0.563 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.575 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.588 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.593 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.607 * * * [progress]: generating series expansions
0.607 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.607 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.607 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.607 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.607 * * * [progress]: simplifying candidates
0.608 * * * * [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.608 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.608 * * [simplify]: iters left: 4 (8 enodes)
0.613 * * [simplify]: iters left: 3 (27 enodes)
0.632 * * [simplify]: iters left: 2 (61 enodes)
0.652 * * [simplify]: iters left: 1 (182 enodes)
0.750 * * [simplify]: Extracting #0: cost 1 inf + 0
0.751 * * [simplify]: Extracting #1: cost 37 inf + 0
0.752 * * [simplify]: Extracting #2: cost 175 inf + 0
0.753 * * [simplify]: Extracting #3: cost 221 inf + 323
0.757 * * [simplify]: Extracting #4: cost 221 inf + 30993
0.768 * * [simplify]: Extracting #5: cost 76 inf + 221248
0.790 * * [simplify]: Extracting #6: cost 0 inf + 318421
0.825 * * [simplify]: Extracting #7: cost 0 inf + 316421
0.865 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.865 * [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)))
0.866 * * * * [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)))>
0.866 * * * * [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)))>
0.866 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.866 * * [simplify]: iters left: 4 (8 enodes)
0.871 * * [simplify]: iters left: 3 (18 enodes)
0.877 * * [simplify]: iters left: 2 (25 enodes)
0.886 * * [simplify]: iters left: 1 (29 enodes)
0.895 * * [simplify]: Extracting #0: cost 1 inf + 0
0.895 * * [simplify]: Extracting #1: cost 3 inf + 0
0.895 * * [simplify]: Extracting #2: cost 11 inf + 0
0.895 * * [simplify]: Extracting #3: cost 9 inf + 3
0.895 * * [simplify]: Extracting #4: cost 0 inf + 3578
0.896 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.896 * [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)))
0.896 * * * * [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)))>
0.896 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
0.897 * * [simplify]: iters left: 4 (6 enodes)
0.900 * * [simplify]: iters left: 3 (16 enodes)
0.906 * * [simplify]: iters left: 2 (27 enodes)
0.915 * * [simplify]: iters left: 1 (33 enodes)
0.926 * * [simplify]: Extracting #0: cost 1 inf + 0
0.926 * * [simplify]: Extracting #1: cost 5 inf + 0
0.926 * * [simplify]: Extracting #2: cost 11 inf + 1
0.926 * * [simplify]: Extracting #3: cost 11 inf + 763
0.926 * * [simplify]: Extracting #4: cost 9 inf + 765
0.927 * * [simplify]: Extracting #5: cost 2 inf + 3698
0.927 * * [simplify]: Extracting #6: cost 0 inf + 4861
0.927 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
0.927 * [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)))
0.928 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
0.928 * * [simplify]: iters left: 5 (9 enodes)
0.933 * * [simplify]: iters left: 4 (28 enodes)
0.944 * * [simplify]: iters left: 3 (66 enodes)
0.972 * * [simplify]: iters left: 2 (206 enodes)
1.070 * * [simplify]: Extracting #0: cost 1 inf + 0
1.071 * * [simplify]: Extracting #1: cost 39 inf + 0
1.071 * * [simplify]: Extracting #2: cost 172 inf + 1
1.072 * * [simplify]: Extracting #3: cost 247 inf + 322
1.073 * * [simplify]: Extracting #4: cost 253 inf + 16849
1.083 * * [simplify]: Extracting #5: cost 114 inf + 204899
1.103 * * [simplify]: Extracting #6: cost 7 inf + 360159
1.140 * * [simplify]: Extracting #7: cost 0 inf + 374380
1.169 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1.169 * [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.169 * * * * [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.169 * * * * [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.169 * [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.169 * * [simplify]: iters left: 6 (13 enodes)
1.173 * * [simplify]: iters left: 5 (46 enodes)
1.183 * * [simplify]: iters left: 4 (170 enodes)
1.243 * * [simplify]: Extracting #0: cost 1 inf + 0
1.243 * * [simplify]: Extracting #1: cost 88 inf + 0
1.244 * * [simplify]: Extracting #2: cost 216 inf + 1524
1.248 * * [simplify]: Extracting #3: cost 193 inf + 60340
1.260 * * [simplify]: Extracting #4: cost 64 inf + 265197
1.277 * * [simplify]: Extracting #5: cost 12 inf + 357709
1.296 * * [simplify]: Extracting #6: cost 0 inf + 383025
1.318 * * [simplify]: Extracting #7: cost 0 inf + 382865
1.338 * [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.338 * [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.338 * * * * [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.338 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.339 * * [simplify]: iters left: 4 (6 enodes)
1.340 * * [simplify]: iters left: 3 (16 enodes)
1.343 * * [simplify]: iters left: 2 (27 enodes)
1.348 * * [simplify]: iters left: 1 (33 enodes)
1.353 * * [simplify]: Extracting #0: cost 1 inf + 0
1.353 * * [simplify]: Extracting #1: cost 5 inf + 0
1.353 * * [simplify]: Extracting #2: cost 11 inf + 1
1.353 * * [simplify]: Extracting #3: cost 11 inf + 763
1.353 * * [simplify]: Extracting #4: cost 9 inf + 765
1.353 * * [simplify]: Extracting #5: cost 2 inf + 3698
1.353 * * [simplify]: Extracting #6: cost 0 inf + 4861
1.353 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.353 * [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.354 * * * * [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.354 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1.354 * * [simplify]: iters left: 2 (3 enodes)
1.354 * * [simplify]: iters left: 1 (9 enodes)
1.356 * * [simplify]: Extracting #0: cost 1 inf + 0
1.356 * * [simplify]: Extracting #1: cost 4 inf + 0
1.356 * * [simplify]: Extracting #2: cost 3 inf + 1
1.356 * * [simplify]: Extracting #3: cost 0 inf + 1604
1.356 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1.356 * [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.356 * * * * [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.356 * * * * [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.356 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.356 * * [simplify]: iters left: 3 (7 enodes)
1.358 * * [simplify]: iters left: 2 (13 enodes)
1.361 * * [simplify]: Extracting #0: cost 1 inf + 0
1.361 * * [simplify]: Extracting #1: cost 3 inf + 0
1.361 * * [simplify]: Extracting #2: cost 6 inf + 0
1.361 * * [simplify]: Extracting #3: cost 4 inf + 3
1.361 * * [simplify]: Extracting #4: cost 0 inf + 690
1.361 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.361 * [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.361 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.361 * * [simplify]: iters left: 3 (7 enodes)
1.363 * * [simplify]: iters left: 2 (19 enodes)
1.367 * * [simplify]: iters left: 1 (37 enodes)
1.374 * * [simplify]: Extracting #0: cost 1 inf + 0
1.374 * * [simplify]: Extracting #1: cost 10 inf + 0
1.374 * * [simplify]: Extracting #2: cost 21 inf + 0
1.374 * * [simplify]: Extracting #3: cost 27 inf + 165
1.375 * * [simplify]: Extracting #4: cost 28 inf + 166
1.375 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.376 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.377 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.378 * [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.378 * * * * [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.378 * * * * [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.378 * * * * [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.378 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))
1.378 * * [simplify]: iters left: 4 (9 enodes)
1.381 * * [simplify]: iters left: 3 (21 enodes)
1.388 * * [simplify]: iters left: 2 (45 enodes)
1.395 * * [simplify]: iters left: 1 (74 enodes)
1.411 * * [simplify]: Extracting #0: cost 1 inf + 0
1.411 * * [simplify]: Extracting #1: cost 24 inf + 0
1.411 * * [simplify]: Extracting #2: cost 30 inf + 1
1.411 * * [simplify]: Extracting #3: cost 29 inf + 323
1.412 * * [simplify]: Extracting #4: cost 22 inf + 2894
1.412 * * [simplify]: Extracting #5: cost 15 inf + 7229
1.414 * * [simplify]: Extracting #6: cost 2 inf + 16939
1.416 * * [simplify]: Extracting #7: cost 0 inf + 18383
1.418 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.418 * [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.418 * * * * [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.418 * [simplify]: Simplifying (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.418 * * [simplify]: iters left: 4 (9 enodes)
1.422 * * [simplify]: iters left: 3 (21 enodes)
1.429 * * [simplify]: iters left: 2 (45 enodes)
1.442 * * [simplify]: iters left: 1 (72 enodes)
1.462 * * [simplify]: Extracting #0: cost 1 inf + 0
1.462 * * [simplify]: Extracting #1: cost 21 inf + 0
1.462 * * [simplify]: Extracting #2: cost 24 inf + 1
1.462 * * [simplify]: Extracting #3: cost 22 inf + 324
1.463 * * [simplify]: Extracting #4: cost 15 inf + 2895
1.464 * * [simplify]: Extracting #5: cost 1 inf + 12686
1.466 * * [simplify]: Extracting #6: cost 0 inf + 13408
1.467 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1.467 * [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.467 * * * * [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.468 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.468 * * [simplify]: iters left: 3 (7 enodes)
1.471 * * [simplify]: iters left: 2 (19 enodes)
1.477 * * [simplify]: iters left: 1 (37 enodes)
1.488 * * [simplify]: Extracting #0: cost 1 inf + 0
1.488 * * [simplify]: Extracting #1: cost 10 inf + 0
1.489 * * [simplify]: Extracting #2: cost 21 inf + 0
1.489 * * [simplify]: Extracting #3: cost 27 inf + 165
1.489 * * [simplify]: Extracting #4: cost 28 inf + 166
1.489 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.491 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.492 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.492 * [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.493 * * * * [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.493 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
1.493 * * [simplify]: iters left: 2 (4 enodes)
1.495 * * [simplify]: iters left: 1 (8 enodes)
1.497 * * [simplify]: Extracting #0: cost 1 inf + 0
1.497 * * [simplify]: Extracting #1: cost 3 inf + 0
1.497 * * [simplify]: Extracting #2: cost 3 inf + 1
1.497 * * [simplify]: Extracting #3: cost 0 inf + 325
1.497 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1.497 * [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.497 * * * * [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.497 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.497 * * [simplify]: iters left: 4 (8 enodes)
1.501 * * [simplify]: iters left: 3 (18 enodes)
1.506 * * [simplify]: iters left: 2 (25 enodes)
1.512 * * [simplify]: iters left: 1 (29 enodes)
1.521 * * [simplify]: Extracting #0: cost 1 inf + 0
1.521 * * [simplify]: Extracting #1: cost 3 inf + 0
1.521 * * [simplify]: Extracting #2: cost 11 inf + 0
1.521 * * [simplify]: Extracting #3: cost 9 inf + 3
1.522 * * [simplify]: Extracting #4: cost 0 inf + 3578
1.522 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.522 * [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.522 * * * * [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.522 * * * * [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.522 * [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.523 * * [simplify]: iters left: 6 (12 enodes)
1.528 * * [simplify]: iters left: 5 (46 enodes)
1.546 * * [simplify]: iters left: 4 (191 enodes)
1.680 * * [simplify]: Extracting #0: cost 1 inf + 0
1.680 * * [simplify]: Extracting #1: cost 94 inf + 0
1.681 * * [simplify]: Extracting #2: cost 340 inf + 1404
1.687 * * [simplify]: Extracting #3: cost 320 inf + 83239
1.707 * * [simplify]: Extracting #4: cost 119 inf + 431218
1.740 * * [simplify]: Extracting #5: cost 4 inf + 595019
1.775 * * [simplify]: Extracting #6: cost 0 inf + 539239
1.806 * * [simplify]: Extracting #7: cost 0 inf + 536243
1.837 * [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)))))
1.837 * [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))))))
1.837 * * * * [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)))>
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.841 * * [simplify]: iters left: 5 (46 enodes)
1.854 * * [simplify]: iters left: 4 (191 enodes)
1.965 * * [simplify]: Extracting #0: cost 1 inf + 0
1.966 * * [simplify]: Extracting #1: cost 94 inf + 0
1.967 * * [simplify]: Extracting #2: cost 340 inf + 1404
1.972 * * [simplify]: Extracting #3: cost 320 inf + 83239
1.991 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.026 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.065 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.102 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.138 * [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.138 * [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.138 * * * * [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.138 * [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.138 * * [simplify]: iters left: 6 (12 enodes)
2.144 * * [simplify]: iters left: 5 (46 enodes)
2.161 * * [simplify]: iters left: 4 (191 enodes)
2.251 * * [simplify]: Extracting #0: cost 1 inf + 0
2.251 * * [simplify]: Extracting #1: cost 94 inf + 0
2.252 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.255 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.267 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.288 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.316 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.346 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.381 * [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.381 * [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.381 * * * * [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.382 * [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.382 * * [simplify]: iters left: 6 (12 enodes)
2.387 * * [simplify]: iters left: 5 (46 enodes)
2.405 * * [simplify]: iters left: 4 (191 enodes)
2.485 * * [simplify]: Extracting #0: cost 1 inf + 0
2.486 * * [simplify]: Extracting #1: cost 94 inf + 0
2.487 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.490 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.512 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.543 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.566 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.595 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.639 * [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.639 * [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.640 * * * [progress]: adding candidates to table
3.375 * * [progress]: iteration 2 / 4
3.375 * * * [progress]: picking best candidate
3.545 * * * * [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)))>
3.545 * * * [progress]: localizing error
3.825 * * * [progress]: generating rewritten candidates
3.825 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.836 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.842 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.846 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.853 * * * [progress]: generating series expansions
3.853 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.854 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.854 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.854 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.854 * * * [progress]: simplifying candidates
3.854 * * * * [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))>
3.854 * * * * [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))))>
3.854 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
3.854 * * [simplify]: iters left: 4 (6 enodes)
3.857 * * [simplify]: iters left: 3 (16 enodes)
3.861 * * [simplify]: iters left: 2 (27 enodes)
3.868 * * [simplify]: iters left: 1 (33 enodes)
3.876 * * [simplify]: Extracting #0: cost 1 inf + 0
3.876 * * [simplify]: Extracting #1: cost 5 inf + 0
3.876 * * [simplify]: Extracting #2: cost 11 inf + 1
3.876 * * [simplify]: Extracting #3: cost 11 inf + 763
3.876 * * [simplify]: Extracting #4: cost 9 inf + 765
3.876 * * [simplify]: Extracting #5: cost 2 inf + 3698
3.877 * * [simplify]: Extracting #6: cost 0 inf + 4861
3.877 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
3.877 * [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))))
3.877 * * * * [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))))>
3.878 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i))
3.878 * * [simplify]: iters left: 6 (9 enodes)
3.881 * * [simplify]: iters left: 5 (26 enodes)
3.896 * * [simplify]: iters left: 4 (67 enodes)
3.920 * * [simplify]: iters left: 3 (217 enodes)
4.120 * * [simplify]: Extracting #0: cost 1 inf + 0
4.120 * * [simplify]: Extracting #1: cost 45 inf + 0
4.120 * * [simplify]: Extracting #2: cost 74 inf + 763
4.121 * * [simplify]: Extracting #3: cost 62 inf + 7895
4.123 * * [simplify]: Extracting #4: cost 22 inf + 41744
4.126 * * [simplify]: Extracting #5: cost 1 inf + 66110
4.130 * * [simplify]: Extracting #6: cost 0 inf + 67193
4.135 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
4.135 * [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.136 * * * * [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.136 * [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.136 * * [simplify]: iters left: 6 (12 enodes)
4.141 * * [simplify]: iters left: 5 (38 enodes)
4.153 * * [simplify]: iters left: 4 (95 enodes)
4.175 * * [simplify]: iters left: 3 (325 enodes)
4.390 * * [simplify]: Extracting #0: cost 1 inf + 0
4.391 * * [simplify]: Extracting #1: cost 83 inf + 0
4.392 * * [simplify]: Extracting #2: cost 354 inf + 1
4.393 * * [simplify]: Extracting #3: cost 453 inf + 322
4.395 * * [simplify]: Extracting #4: cost 472 inf + 4417
4.403 * * [simplify]: Extracting #5: cost 345 inf + 175126
4.441 * * [simplify]: Extracting #6: cost 57 inf + 661423
4.499 * * [simplify]: Extracting #7: cost 1 inf + 765790
4.556 * * [simplify]: Extracting #8: cost 0 inf + 767393
4.608 * * [simplify]: Extracting #9: cost 0 inf + 767353
4.657 * [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)))
4.657 * [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)))))
4.657 * * * * [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))))))>
4.657 * * * * [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)))>
4.657 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
4.658 * * [simplify]: iters left: 2 (4 enodes)
4.660 * * [simplify]: iters left: 1 (8 enodes)
4.662 * * [simplify]: Extracting #0: cost 1 inf + 0
4.662 * * [simplify]: Extracting #1: cost 3 inf + 0
4.662 * * [simplify]: Extracting #2: cost 3 inf + 1
4.662 * * [simplify]: Extracting #3: cost 0 inf + 325
4.662 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
4.662 * [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)))
4.662 * * * * [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)))>
4.663 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
4.663 * * [simplify]: iters left: 3 (7 enodes)
4.665 * * [simplify]: iters left: 2 (19 enodes)
4.669 * * [simplify]: iters left: 1 (37 enodes)
4.676 * * [simplify]: Extracting #0: cost 1 inf + 0
4.676 * * [simplify]: Extracting #1: cost 10 inf + 0
4.676 * * [simplify]: Extracting #2: cost 21 inf + 0
4.676 * * [simplify]: Extracting #3: cost 27 inf + 165
4.676 * * [simplify]: Extracting #4: cost 28 inf + 166
4.676 * * [simplify]: Extracting #5: cost 18 inf + 4946
4.677 * * [simplify]: Extracting #6: cost 0 inf + 22111
4.678 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
4.678 * [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)))
4.678 * * * * [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)))>
4.678 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.678 * * [simplify]: iters left: 4 (8 enodes)
4.682 * * [simplify]: iters left: 3 (18 enodes)
4.687 * * [simplify]: iters left: 2 (25 enodes)
4.694 * * [simplify]: iters left: 1 (29 enodes)
4.701 * * [simplify]: Extracting #0: cost 1 inf + 0
4.701 * * [simplify]: Extracting #1: cost 3 inf + 0
4.701 * * [simplify]: Extracting #2: cost 11 inf + 0
4.701 * * [simplify]: Extracting #3: cost 9 inf + 3
4.701 * * [simplify]: Extracting #4: cost 0 inf + 3578
4.702 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.702 * [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)))
4.702 * * * * [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)))>
4.702 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.702 * * [simplify]: iters left: 4 (8 enodes)
4.706 * * [simplify]: iters left: 3 (18 enodes)
4.711 * * [simplify]: iters left: 2 (25 enodes)
4.719 * * [simplify]: iters left: 1 (29 enodes)
4.726 * * [simplify]: Extracting #0: cost 1 inf + 0
4.727 * * [simplify]: Extracting #1: cost 3 inf + 0
4.727 * * [simplify]: Extracting #2: cost 11 inf + 0
4.727 * * [simplify]: Extracting #3: cost 9 inf + 3
4.727 * * [simplify]: Extracting #4: cost 0 inf + 3578
4.727 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.727 * [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)))
4.728 * * * * [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)))>
4.728 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.728 * * [simplify]: iters left: 4 (8 enodes)
4.732 * * [simplify]: iters left: 3 (27 enodes)
4.740 * * [simplify]: iters left: 2 (61 enodes)
4.762 * * [simplify]: iters left: 1 (182 enodes)
4.868 * * [simplify]: Extracting #0: cost 1 inf + 0
4.868 * * [simplify]: Extracting #1: cost 37 inf + 0
4.869 * * [simplify]: Extracting #2: cost 175 inf + 0
4.870 * * [simplify]: Extracting #3: cost 221 inf + 323
4.874 * * [simplify]: Extracting #4: cost 221 inf + 30993
4.891 * * [simplify]: Extracting #5: cost 76 inf + 221248
4.912 * * [simplify]: Extracting #6: cost 0 inf + 318421
4.934 * * [simplify]: Extracting #7: cost 0 inf + 316421
4.961 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.961 * [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)))
4.961 * * * * [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)))>
4.962 * [simplify]: Simplifying (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.962 * * [simplify]: iters left: 6 (10 enodes)
4.965 * * [simplify]: iters left: 5 (32 enodes)
4.971 * * [simplify]: iters left: 4 (77 enodes)
4.999 * * [simplify]: iters left: 3 (261 enodes)
5.144 * * [simplify]: Extracting #0: cost 1 inf + 0
5.144 * * [simplify]: Extracting #1: cost 62 inf + 0
5.145 * * [simplify]: Extracting #2: cost 262 inf + 322
5.147 * * [simplify]: Extracting #3: cost 352 inf + 322
5.151 * * [simplify]: Extracting #4: cost 358 inf + 17807
5.172 * * [simplify]: Extracting #5: cost 171 inf + 273596
5.223 * * [simplify]: Extracting #6: cost 2 inf + 561486
5.271 * * [simplify]: Extracting #7: cost 0 inf + 564492
5.329 * [simplify]: Simplified to (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
5.329 * [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)))
5.330 * * * * [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)))>
5.330 * * * * [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)))>
5.330 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.330 * * [simplify]: iters left: 4 (6 enodes)
5.333 * * [simplify]: iters left: 3 (16 enodes)
5.335 * * [simplify]: iters left: 2 (27 enodes)
5.340 * * [simplify]: iters left: 1 (33 enodes)
5.344 * * [simplify]: Extracting #0: cost 1 inf + 0
5.344 * * [simplify]: Extracting #1: cost 5 inf + 0
5.345 * * [simplify]: Extracting #2: cost 11 inf + 1
5.345 * * [simplify]: Extracting #3: cost 11 inf + 763
5.345 * * [simplify]: Extracting #4: cost 9 inf + 765
5.345 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.345 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.345 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.345 * [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)))
5.345 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.346 * * [simplify]: iters left: 5 (9 enodes)
5.348 * * [simplify]: iters left: 4 (28 enodes)
5.354 * * [simplify]: iters left: 3 (66 enodes)
5.368 * * [simplify]: iters left: 2 (206 enodes)
5.478 * * [simplify]: Extracting #0: cost 1 inf + 0
5.478 * * [simplify]: Extracting #1: cost 39 inf + 0
5.479 * * [simplify]: Extracting #2: cost 172 inf + 1
5.479 * * [simplify]: Extracting #3: cost 247 inf + 322
5.481 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.491 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.512 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.547 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.586 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.586 * [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)))
5.586 * * * * [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)))>
5.587 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.587 * * [simplify]: iters left: 4 (6 enodes)
5.590 * * [simplify]: iters left: 3 (16 enodes)
5.594 * * [simplify]: iters left: 2 (27 enodes)
5.600 * * [simplify]: iters left: 1 (33 enodes)
5.605 * * [simplify]: Extracting #0: cost 1 inf + 0
5.605 * * [simplify]: Extracting #1: cost 5 inf + 0
5.605 * * [simplify]: Extracting #2: cost 11 inf + 1
5.605 * * [simplify]: Extracting #3: cost 11 inf + 763
5.605 * * [simplify]: Extracting #4: cost 9 inf + 765
5.605 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.605 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.605 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.606 * [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)))
5.606 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.606 * * [simplify]: iters left: 5 (9 enodes)
5.610 * * [simplify]: iters left: 4 (28 enodes)
5.620 * * [simplify]: iters left: 3 (66 enodes)
5.645 * * [simplify]: iters left: 2 (206 enodes)
5.734 * * [simplify]: Extracting #0: cost 1 inf + 0
5.734 * * [simplify]: Extracting #1: cost 39 inf + 0
5.735 * * [simplify]: Extracting #2: cost 172 inf + 1
5.736 * * [simplify]: Extracting #3: cost 247 inf + 322
5.737 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.747 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.767 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.788 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.812 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.812 * [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)))
5.812 * * * * [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)))>
5.812 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.812 * * [simplify]: iters left: 4 (6 enodes)
5.814 * * [simplify]: iters left: 3 (16 enodes)
5.816 * * [simplify]: iters left: 2 (27 enodes)
5.822 * * [simplify]: iters left: 1 (33 enodes)
5.827 * * [simplify]: Extracting #0: cost 1 inf + 0
5.827 * * [simplify]: Extracting #1: cost 5 inf + 0
5.827 * * [simplify]: Extracting #2: cost 11 inf + 1
5.827 * * [simplify]: Extracting #3: cost 11 inf + 763
5.827 * * [simplify]: Extracting #4: cost 9 inf + 765
5.827 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.827 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.827 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.827 * [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)))
5.828 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.828 * * [simplify]: iters left: 5 (9 enodes)
5.830 * * [simplify]: iters left: 4 (28 enodes)
5.836 * * [simplify]: iters left: 3 (66 enodes)
5.849 * * [simplify]: iters left: 2 (206 enodes)
5.932 * * [simplify]: Extracting #0: cost 1 inf + 0
5.932 * * [simplify]: Extracting #1: cost 39 inf + 0
5.933 * * [simplify]: Extracting #2: cost 172 inf + 1
5.933 * * [simplify]: Extracting #3: cost 247 inf + 322
5.935 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.945 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.973 * * [simplify]: Extracting #6: cost 7 inf + 360159
6.004 * * [simplify]: Extracting #7: cost 0 inf + 374380
6.040 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.041 * [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.041 * * * * [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)))>
6.041 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.041 * * [simplify]: iters left: 4 (6 enodes)
6.045 * * [simplify]: iters left: 3 (16 enodes)
6.050 * * [simplify]: iters left: 2 (27 enodes)
6.059 * * [simplify]: iters left: 1 (33 enodes)
6.069 * * [simplify]: Extracting #0: cost 1 inf + 0
6.069 * * [simplify]: Extracting #1: cost 5 inf + 0
6.069 * * [simplify]: Extracting #2: cost 11 inf + 1
6.069 * * [simplify]: Extracting #3: cost 11 inf + 763
6.070 * * [simplify]: Extracting #4: cost 9 inf + 765
6.070 * * [simplify]: Extracting #5: cost 2 inf + 3698
6.070 * * [simplify]: Extracting #6: cost 0 inf + 4861
6.071 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
6.071 * [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.071 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.071 * * [simplify]: iters left: 5 (9 enodes)
6.074 * * [simplify]: iters left: 4 (28 enodes)
6.079 * * [simplify]: iters left: 3 (66 enodes)
6.094 * * [simplify]: iters left: 2 (206 enodes)
6.191 * * [simplify]: Extracting #0: cost 1 inf + 0
6.191 * * [simplify]: Extracting #1: cost 39 inf + 0
6.191 * * [simplify]: Extracting #2: cost 172 inf + 1
6.192 * * [simplify]: Extracting #3: cost 247 inf + 322
6.194 * * [simplify]: Extracting #4: cost 253 inf + 16849
6.203 * * [simplify]: Extracting #5: cost 114 inf + 204899
6.223 * * [simplify]: Extracting #6: cost 7 inf + 360159
6.252 * * [simplify]: Extracting #7: cost 0 inf + 374380
6.281 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.281 * [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.281 * * * [progress]: adding candidates to table
6.793 * * [progress]: iteration 3 / 4
6.793 * * * [progress]: picking best candidate
6.951 * * * * [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))))>
6.951 * * * [progress]: localizing error
7.108 * * * [progress]: generating rewritten candidates
7.108 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
7.112 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
7.115 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
7.123 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.133 * * * [progress]: generating series expansions
7.133 * * * * [progress]: [ 1 / 4 ] generating series at (2)
7.133 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
7.133 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
7.133 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.134 * * * [progress]: simplifying candidates
7.134 * * * * [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))))>
7.134 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.134 * * [simplify]: iters left: 3 (7 enodes)
7.138 * * [simplify]: iters left: 2 (19 enodes)
7.144 * * [simplify]: iters left: 1 (37 enodes)
7.151 * * [simplify]: Extracting #0: cost 1 inf + 0
7.151 * * [simplify]: Extracting #1: cost 10 inf + 0
7.151 * * [simplify]: Extracting #2: cost 21 inf + 0
7.151 * * [simplify]: Extracting #3: cost 27 inf + 165
7.151 * * [simplify]: Extracting #4: cost 28 inf + 166
7.151 * * [simplify]: Extracting #5: cost 18 inf + 4946
7.152 * * [simplify]: Extracting #6: cost 0 inf + 22111
7.153 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.153 * [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))))
7.153 * * * * [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)))))>
7.153 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
7.153 * * [simplify]: iters left: 2 (4 enodes)
7.154 * * [simplify]: iters left: 1 (7 enodes)
7.156 * * [simplify]: Extracting #0: cost 1 inf + 0
7.156 * * [simplify]: Extracting #1: cost 3 inf + 0
7.156 * * [simplify]: Extracting #2: cost 3 inf + 1
7.156 * * [simplify]: Extracting #3: cost 0 inf + 445
7.156 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
7.156 * [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)))))
7.156 * * * * [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))))>
7.156 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
7.156 * * [simplify]: iters left: 4 (8 enodes)
7.158 * * [simplify]: iters left: 3 (18 enodes)
7.161 * * [simplify]: iters left: 2 (25 enodes)
7.165 * * [simplify]: iters left: 1 (29 enodes)
7.172 * * [simplify]: Extracting #0: cost 1 inf + 0
7.172 * * [simplify]: Extracting #1: cost 3 inf + 0
7.172 * * [simplify]: Extracting #2: cost 11 inf + 0
7.172 * * [simplify]: Extracting #3: cost 9 inf + 3
7.172 * * [simplify]: Extracting #4: cost 0 inf + 3578
7.172 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
7.172 * [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))))
7.173 * * * * [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))))>
7.173 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
7.173 * * [simplify]: iters left: 3 (5 enodes)
7.175 * * [simplify]: iters left: 2 (11 enodes)
7.178 * * [simplify]: iters left: 1 (13 enodes)
7.181 * * [simplify]: Extracting #0: cost 1 inf + 0
7.181 * * [simplify]: Extracting #1: cost 6 inf + 0
7.181 * * [simplify]: Extracting #2: cost 6 inf + 1
7.181 * * [simplify]: Extracting #3: cost 0 inf + 1970
7.181 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
7.181 * [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))))
7.181 * * * * [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))))>
7.182 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
7.182 * * [simplify]: iters left: 3 (5 enodes)
7.184 * * [simplify]: iters left: 2 (11 enodes)
7.186 * * [simplify]: iters left: 1 (13 enodes)
7.190 * * [simplify]: Extracting #0: cost 1 inf + 0
7.190 * * [simplify]: Extracting #1: cost 6 inf + 0
7.190 * * [simplify]: Extracting #2: cost 6 inf + 1
7.190 * * [simplify]: Extracting #3: cost 0 inf + 1970
7.190 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
7.190 * [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))))
7.190 * * * * [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)))))>
7.190 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
7.190 * * [simplify]: iters left: 4 (9 enodes)
7.194 * * [simplify]: iters left: 3 (17 enodes)
7.198 * * [simplify]: iters left: 2 (20 enodes)
7.204 * * [simplify]: iters left: 1 (28 enodes)
7.208 * * [simplify]: Extracting #0: cost 1 inf + 0
7.209 * * [simplify]: Extracting #1: cost 7 inf + 0
7.209 * * [simplify]: Extracting #2: cost 10 inf + 1
7.209 * * [simplify]: Extracting #3: cost 11 inf + 2
7.209 * * [simplify]: Extracting #4: cost 7 inf + 767
7.209 * * [simplify]: Extracting #5: cost 2 inf + 2777
7.209 * * [simplify]: Extracting #6: cost 0 inf + 4702
7.209 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
7.209 * [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)))))
7.210 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
7.210 * * [simplify]: iters left: 4 (9 enodes)
7.212 * * [simplify]: iters left: 3 (23 enodes)
7.216 * * [simplify]: iters left: 2 (48 enodes)
7.225 * * [simplify]: iters left: 1 (130 enodes)
7.273 * * [simplify]: Extracting #0: cost 1 inf + 0
7.273 * * [simplify]: Extracting #1: cost 33 inf + 0
7.273 * * [simplify]: Extracting #2: cost 121 inf + 1
7.274 * * [simplify]: Extracting #3: cost 150 inf + 767
7.275 * * [simplify]: Extracting #4: cost 147 inf + 6462
7.279 * * [simplify]: Extracting #5: cost 102 inf + 59322
7.292 * * [simplify]: Extracting #6: cost 7 inf + 167589
7.306 * * [simplify]: Extracting #7: cost 0 inf + 181450
7.322 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
7.322 * [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))))))
7.323 * * * * [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)))))>
7.323 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.323 * * [simplify]: iters left: 3 (7 enodes)
7.325 * * [simplify]: iters left: 2 (13 enodes)
7.329 * * [simplify]: Extracting #0: cost 1 inf + 0
7.329 * * [simplify]: Extracting #1: cost 3 inf + 0
7.329 * * [simplify]: Extracting #2: cost 6 inf + 0
7.329 * * [simplify]: Extracting #3: cost 4 inf + 3
7.329 * * [simplify]: Extracting #4: cost 0 inf + 690
7.329 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.329 * [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)))))
7.330 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.330 * * [simplify]: iters left: 3 (7 enodes)
7.333 * * [simplify]: iters left: 2 (19 enodes)
7.339 * * [simplify]: iters left: 1 (37 enodes)
7.350 * * [simplify]: Extracting #0: cost 1 inf + 0
7.350 * * [simplify]: Extracting #1: cost 10 inf + 0
7.350 * * [simplify]: Extracting #2: cost 21 inf + 0
7.350 * * [simplify]: Extracting #3: cost 27 inf + 165
7.350 * * [simplify]: Extracting #4: cost 28 inf + 166
7.351 * * [simplify]: Extracting #5: cost 18 inf + 4946
7.352 * * [simplify]: Extracting #6: cost 0 inf + 22111
7.354 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.354 * [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)))))
7.354 * * * * [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)))))>
7.354 * * * * [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)))))>
7.354 * * * * [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))))>
7.354 * [simplify]: Simplifying (real->posit16 2)
7.354 * * [simplify]: iters left: 1 (2 enodes)
7.355 * * [simplify]: Extracting #0: cost 1 inf + 0
7.355 * * [simplify]: Extracting #1: cost 2 inf + 0
7.355 * * [simplify]: Extracting #2: cost 1 inf + 1
7.355 * * [simplify]: Extracting #3: cost 0 inf + 2
7.355 * [simplify]: Simplified to (real->posit16 2)
7.355 * [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))))
7.355 * * * * [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))))>
7.356 * * * * [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))))>
7.356 * * * * [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))))>
7.356 * [simplify]: Simplifying (real->posit16 2)
7.356 * * [simplify]: iters left: 1 (2 enodes)
7.357 * * [simplify]: Extracting #0: cost 1 inf + 0
7.357 * * [simplify]: Extracting #1: cost 2 inf + 0
7.357 * * [simplify]: Extracting #2: cost 1 inf + 1
7.357 * * [simplify]: Extracting #3: cost 0 inf + 2
7.357 * [simplify]: Simplified to (real->posit16 2)
7.357 * [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))))
7.357 * * * * [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))))>
7.357 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
7.358 * * [simplify]: iters left: 3 (5 enodes)
7.359 * * [simplify]: iters left: 2 (11 enodes)
7.362 * * [simplify]: iters left: 1 (13 enodes)
7.366 * * [simplify]: Extracting #0: cost 1 inf + 0
7.366 * * [simplify]: Extracting #1: cost 6 inf + 0
7.366 * * [simplify]: Extracting #2: cost 6 inf + 1
7.366 * * [simplify]: Extracting #3: cost 0 inf + 1970
7.366 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
7.366 * [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))))
7.366 * * * * [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))))>
7.366 * * * * [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))))>
7.366 * [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)))
7.366 * * [simplify]: iters left: 5 (11 enodes)
7.371 * * [simplify]: iters left: 4 (36 enodes)
7.382 * * [simplify]: iters left: 3 (93 enodes)
7.410 * * [simplify]: iters left: 2 (324 enodes)
7.592 * * [simplify]: Extracting #0: cost 1 inf + 0
7.592 * * [simplify]: Extracting #1: cost 100 inf + 0
7.593 * * [simplify]: Extracting #2: cost 387 inf + 322
7.595 * * [simplify]: Extracting #3: cost 451 inf + 10427
7.604 * * [simplify]: Extracting #4: cost 402 inf + 115864
7.626 * * [simplify]: Extracting #5: cost 172 inf + 531234
7.668 * * [simplify]: Extracting #6: cost 5 inf + 787856
7.726 * * [simplify]: Extracting #7: cost 0 inf + 796751
7.782 * [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)))
7.782 * [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))))
7.782 * * * * [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))))>
7.782 * [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)))
7.783 * * [simplify]: iters left: 5 (11 enodes)
7.788 * * [simplify]: iters left: 4 (36 enodes)
7.799 * * [simplify]: iters left: 3 (93 enodes)
7.819 * * [simplify]: iters left: 2 (324 enodes)
8.039 * * [simplify]: Extracting #0: cost 1 inf + 0
8.039 * * [simplify]: Extracting #1: cost 100 inf + 0
8.042 * * [simplify]: Extracting #2: cost 387 inf + 322
8.045 * * [simplify]: Extracting #3: cost 451 inf + 10427
8.055 * * [simplify]: Extracting #4: cost 402 inf + 115864
8.094 * * [simplify]: Extracting #5: cost 172 inf + 531234
8.159 * * [simplify]: Extracting #6: cost 5 inf + 787856
8.201 * * [simplify]: Extracting #7: cost 0 inf + 796751
8.242 * [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)))
8.242 * [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))))
8.242 * * * * [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))))>
8.243 * [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)))
8.243 * * [simplify]: iters left: 5 (11 enodes)
8.246 * * [simplify]: iters left: 4 (36 enodes)
8.253 * * [simplify]: iters left: 3 (93 enodes)
8.276 * * [simplify]: iters left: 2 (324 enodes)
8.531 * * [simplify]: Extracting #0: cost 1 inf + 0
8.531 * * [simplify]: Extracting #1: cost 100 inf + 0
8.533 * * [simplify]: Extracting #2: cost 387 inf + 322
8.536 * * [simplify]: Extracting #3: cost 451 inf + 10427
8.543 * * [simplify]: Extracting #4: cost 402 inf + 115864
8.578 * * [simplify]: Extracting #5: cost 172 inf + 531234
8.639 * * [simplify]: Extracting #6: cost 5 inf + 787856
8.706 * * [simplify]: Extracting #7: cost 0 inf + 796751
8.764 * [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)))
8.765 * [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))))
8.765 * * * * [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))))>
8.765 * [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)))
8.765 * * [simplify]: iters left: 5 (11 enodes)
8.768 * * [simplify]: iters left: 4 (36 enodes)
8.776 * * [simplify]: iters left: 3 (93 enodes)
8.807 * * [simplify]: iters left: 2 (324 enodes)
9.014 * * [simplify]: Extracting #0: cost 1 inf + 0
9.014 * * [simplify]: Extracting #1: cost 100 inf + 0
9.015 * * [simplify]: Extracting #2: cost 387 inf + 322
9.017 * * [simplify]: Extracting #3: cost 451 inf + 10427
9.022 * * [simplify]: Extracting #4: cost 402 inf + 115864
9.045 * * [simplify]: Extracting #5: cost 172 inf + 531234
9.095 * * [simplify]: Extracting #6: cost 5 inf + 787856
9.157 * * [simplify]: Extracting #7: cost 0 inf + 796751
9.219 * [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.219 * [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.219 * * * [progress]: adding candidates to table
9.762 * * [progress]: iteration 4 / 4
9.762 * * * [progress]: picking best candidate
9.992 * * * * [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)))))>
9.992 * * * [progress]: localizing error
10.185 * * * [progress]: generating rewritten candidates
10.185 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
10.197 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
10.201 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
10.208 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
10.210 * * * [progress]: generating series expansions
10.210 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
10.210 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
10.210 * * * * [progress]: [ 3 / 4 ] generating series at (2)
10.210 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
10.210 * * * [progress]: simplifying candidates
10.210 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
10.211 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
10.211 * * [simplify]: iters left: 3 (7 enodes)
10.215 * * [simplify]: iters left: 2 (13 enodes)
10.218 * * [simplify]: Extracting #0: cost 1 inf + 0
10.218 * * [simplify]: Extracting #1: cost 3 inf + 0
10.218 * * [simplify]: Extracting #2: cost 6 inf + 0
10.218 * * [simplify]: Extracting #3: cost 4 inf + 3
10.219 * * [simplify]: Extracting #4: cost 0 inf + 690
10.219 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
10.219 * [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)))))
10.219 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
10.219 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
10.219 * * * * [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))))>
10.219 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
10.219 * * [simplify]: iters left: 3 (7 enodes)
10.222 * * [simplify]: iters left: 2 (13 enodes)
10.225 * * [simplify]: Extracting #0: cost 1 inf + 0
10.225 * * [simplify]: Extracting #1: cost 3 inf + 0
10.225 * * [simplify]: Extracting #2: cost 6 inf + 0
10.225 * * [simplify]: Extracting #3: cost 4 inf + 3
10.225 * * [simplify]: Extracting #4: cost 0 inf + 690
10.225 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
10.225 * [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))))
10.225 * * * * [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))))>
10.226 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
10.226 * * [simplify]: iters left: 3 (7 enodes)
10.228 * * [simplify]: iters left: 2 (19 enodes)
10.234 * * [simplify]: iters left: 1 (37 enodes)
10.243 * * [simplify]: Extracting #0: cost 1 inf + 0
10.243 * * [simplify]: Extracting #1: cost 10 inf + 0
10.244 * * [simplify]: Extracting #2: cost 21 inf + 0
10.244 * * [simplify]: Extracting #3: cost 27 inf + 165
10.244 * * [simplify]: Extracting #4: cost 28 inf + 166
10.244 * * [simplify]: Extracting #5: cost 18 inf + 4946
10.245 * * [simplify]: Extracting #6: cost 0 inf + 22111
10.247 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
10.247 * [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))))
10.247 * * * * [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))))>
10.247 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.247 * * [simplify]: iters left: 5 (10 enodes)
10.251 * * [simplify]: iters left: 4 (29 enodes)
10.259 * * [simplify]: iters left: 3 (71 enodes)
10.280 * * [simplify]: iters left: 2 (226 enodes)
10.411 * * [simplify]: Extracting #0: cost 1 inf + 0
10.411 * * [simplify]: Extracting #1: cost 76 inf + 0
10.412 * * [simplify]: Extracting #2: cost 266 inf + 322
10.414 * * [simplify]: Extracting #3: cost 288 inf + 11470
10.417 * * [simplify]: Extracting #4: cost 267 inf + 40495
10.435 * * [simplify]: Extracting #5: cost 84 inf + 325096
10.468 * * [simplify]: Extracting #6: cost 0 inf + 450491
10.497 * * [simplify]: Extracting #7: cost 0 inf + 450131
10.529 * [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)))
10.529 * [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))))
10.529 * * * * [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)))))>
10.529 * * * * [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))))))>
10.529 * * * * [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))))))>
10.530 * * * * [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)))))>
10.530 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.530 * * [simplify]: iters left: 4 (9 enodes)
10.534 * * [simplify]: iters left: 3 (17 enodes)
10.538 * * [simplify]: iters left: 2 (20 enodes)
10.542 * * [simplify]: iters left: 1 (28 enodes)
10.550 * * [simplify]: Extracting #0: cost 1 inf + 0
10.550 * * [simplify]: Extracting #1: cost 7 inf + 0
10.550 * * [simplify]: Extracting #2: cost 10 inf + 1
10.550 * * [simplify]: Extracting #3: cost 11 inf + 2
10.550 * * [simplify]: Extracting #4: cost 7 inf + 767
10.550 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.551 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.551 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.551 * [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)))))
10.551 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.551 * * [simplify]: iters left: 4 (9 enodes)
10.555 * * [simplify]: iters left: 3 (23 enodes)
10.561 * * [simplify]: iters left: 2 (48 enodes)
10.574 * * [simplify]: iters left: 1 (130 enodes)
10.625 * * [simplify]: Extracting #0: cost 1 inf + 0
10.625 * * [simplify]: Extracting #1: cost 33 inf + 0
10.625 * * [simplify]: Extracting #2: cost 121 inf + 1
10.626 * * [simplify]: Extracting #3: cost 150 inf + 767
10.627 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.629 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.637 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.650 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.666 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.666 * [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))))))
10.666 * * * * [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)))))>
10.666 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.666 * * [simplify]: iters left: 4 (9 enodes)
10.670 * * [simplify]: iters left: 3 (17 enodes)
10.674 * * [simplify]: iters left: 2 (20 enodes)
10.679 * * [simplify]: iters left: 1 (28 enodes)
10.686 * * [simplify]: Extracting #0: cost 1 inf + 0
10.686 * * [simplify]: Extracting #1: cost 7 inf + 0
10.686 * * [simplify]: Extracting #2: cost 10 inf + 1
10.686 * * [simplify]: Extracting #3: cost 11 inf + 2
10.686 * * [simplify]: Extracting #4: cost 7 inf + 767
10.686 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.687 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.687 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.687 * [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)))))
10.687 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.688 * * [simplify]: iters left: 4 (9 enodes)
10.691 * * [simplify]: iters left: 3 (23 enodes)
10.697 * * [simplify]: iters left: 2 (48 enodes)
10.710 * * [simplify]: iters left: 1 (130 enodes)
10.759 * * [simplify]: Extracting #0: cost 1 inf + 0
10.759 * * [simplify]: Extracting #1: cost 33 inf + 0
10.759 * * [simplify]: Extracting #2: cost 121 inf + 1
10.760 * * [simplify]: Extracting #3: cost 150 inf + 767
10.760 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.763 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.773 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.786 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.799 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.800 * [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))))))
10.800 * * * * [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)))))>
10.800 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.800 * * [simplify]: iters left: 4 (9 enodes)
10.803 * * [simplify]: iters left: 3 (17 enodes)
10.807 * * [simplify]: iters left: 2 (20 enodes)
10.812 * * [simplify]: iters left: 1 (28 enodes)
10.819 * * [simplify]: Extracting #0: cost 1 inf + 0
10.819 * * [simplify]: Extracting #1: cost 7 inf + 0
10.819 * * [simplify]: Extracting #2: cost 10 inf + 1
10.820 * * [simplify]: Extracting #3: cost 11 inf + 2
10.820 * * [simplify]: Extracting #4: cost 7 inf + 767
10.820 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.820 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.821 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.821 * [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)))))
10.821 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.821 * * [simplify]: iters left: 4 (9 enodes)
10.824 * * [simplify]: iters left: 3 (23 enodes)
10.831 * * [simplify]: iters left: 2 (48 enodes)
10.844 * * [simplify]: iters left: 1 (130 enodes)
10.905 * * [simplify]: Extracting #0: cost 1 inf + 0
10.905 * * [simplify]: Extracting #1: cost 33 inf + 0
10.905 * * [simplify]: Extracting #2: cost 121 inf + 1
10.906 * * [simplify]: Extracting #3: cost 150 inf + 767
10.908 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.912 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.924 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.938 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.951 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.951 * [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))))))
10.951 * * * * [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)))))>
10.952 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.952 * * [simplify]: iters left: 4 (9 enodes)
10.954 * * [simplify]: iters left: 3 (17 enodes)
10.959 * * [simplify]: iters left: 2 (20 enodes)
10.962 * * [simplify]: iters left: 1 (28 enodes)
10.967 * * [simplify]: Extracting #0: cost 1 inf + 0
10.967 * * [simplify]: Extracting #1: cost 7 inf + 0
10.967 * * [simplify]: Extracting #2: cost 10 inf + 1
10.967 * * [simplify]: Extracting #3: cost 11 inf + 2
10.967 * * [simplify]: Extracting #4: cost 7 inf + 767
10.968 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.968 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.968 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.968 * [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)))))
10.969 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.969 * * [simplify]: iters left: 4 (9 enodes)
10.972 * * [simplify]: iters left: 3 (23 enodes)
10.979 * * [simplify]: iters left: 2 (48 enodes)
10.992 * * [simplify]: iters left: 1 (130 enodes)
11.044 * * [simplify]: Extracting #0: cost 1 inf + 0
11.044 * * [simplify]: Extracting #1: cost 33 inf + 0
11.044 * * [simplify]: Extracting #2: cost 121 inf + 1
11.045 * * [simplify]: Extracting #3: cost 150 inf + 767
11.046 * * [simplify]: Extracting #4: cost 147 inf + 6462
11.049 * * [simplify]: Extracting #5: cost 102 inf + 59322
11.057 * * [simplify]: Extracting #6: cost 7 inf + 167589
11.069 * * [simplify]: Extracting #7: cost 0 inf + 181450
11.080 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
11.080 * [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))))))
11.080 * * * [progress]: adding candidates to table
11.496 * [progress]: [Phase 3 of 3] Extracting.
11.496 * * [regime]: Finding splitpoints for: (#<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 i) (*.p16 i i)) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.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)))> #<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 (*.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))))> #<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)))> #<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)))))> #<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 (/.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 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 (/.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))))>)
11.497 * * * [regime-changes]: Trying 1 branch expressions: (i)
11.497 * * * * [regimes]: Trying to branch on i from (#<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 i) (*.p16 i i)) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.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)))> #<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 (*.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))))> #<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)))> #<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)))))> #<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 (/.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 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 (/.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))))>)
11.752 * * * [regime]: Found split indices: #<option (#s(si 12 256))>
11.752 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
11.752 * * [simplify]: iters left: 6 (12 enodes)
11.754 * * [simplify]: Extracting #0: cost 1 inf + 0
11.754 * * [simplify]: Extracting #1: cost 3 inf + 0
11.754 * * [simplify]: Extracting #2: cost 7 inf + 0
11.754 * * [simplify]: Extracting #3: cost 11 inf + 0
11.754 * * [simplify]: Extracting #4: cost 9 inf + 3
11.754 * * [simplify]: Extracting #5: cost 0 inf + 6504
11.754 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
11.755 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.770 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.774 * * * * [points]: Setting MPFR precision to 64
11.776 * * * * [points]: Setting MPFR precision to 320
11.777 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.781 * * * * [points]: Setting MPFR precision to 64
11.783 * * * * [points]: Setting MPFR precision to 320
11.785 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.788 * * * * [points]: Setting MPFR precision to 64
11.803 * * * * [points]: Setting MPFR precision to 320
11.807 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.811 * * * * [points]: Setting MPFR precision to 64
11.820 * * * * [points]: Setting MPFR precision to 320
11.829 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.832 * * * * [points]: Setting MPFR precision to 64
11.844 * * * * [points]: Setting MPFR precision to 320
11.855 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.859 * * * * [points]: Setting MPFR precision to 64
11.893 * * * * [points]: Setting MPFR precision to 320
11.922 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.925 * * * * [points]: Setting MPFR precision to 64
11.996 * * * * [points]: Setting MPFR precision to 320
12.049 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.051 * * * * [points]: Setting MPFR precision to 64
12.498 * * * * [points]: Setting MPFR precision to 320
12.627 * * * * [points]: Computing exacts for 8000 points
12.629 * * * * [points]: Setting MPFR precision to 64
13.146 * * * * [points]: Setting MPFR precision to 320
13.792 * * * * [points]: Filtering points with unrepresentable outputs
13.798 * * * * [points]: Sampling 4021 additional inputs, on iter 1 have 3979 / 8000
13.804 * * * * [points]: Computing exacts on every 251 of 4021 points to ramp up precision
13.808 * * * * [points]: Setting MPFR precision to 64
13.809 * * * * [points]: Setting MPFR precision to 320
13.810 * * * * [points]: Computing exacts on every 125 of 4021 points to ramp up precision
13.813 * * * * [points]: Setting MPFR precision to 64
13.814 * * * * [points]: Setting MPFR precision to 320
13.816 * * * * [points]: Computing exacts on every 62 of 4021 points to ramp up precision
13.818 * * * * [points]: Setting MPFR precision to 64
13.821 * * * * [points]: Setting MPFR precision to 320
13.824 * * * * [points]: Computing exacts on every 31 of 4021 points to ramp up precision
13.827 * * * * [points]: Setting MPFR precision to 64
13.832 * * * * [points]: Setting MPFR precision to 320
13.838 * * * * [points]: Computing exacts on every 15 of 4021 points to ramp up precision
13.841 * * * * [points]: Setting MPFR precision to 64
13.853 * * * * [points]: Setting MPFR precision to 320
13.889 * * * * [points]: Computing exacts on every 7 of 4021 points to ramp up precision
13.893 * * * * [points]: Setting MPFR precision to 64
13.926 * * * * [points]: Setting MPFR precision to 320
13.957 * * * * [points]: Computing exacts on every 3 of 4021 points to ramp up precision
13.961 * * * * [points]: Setting MPFR precision to 64
14.007 * * * * [points]: Setting MPFR precision to 320
14.082 * * * * [points]: Computing exacts for 4021 points
14.085 * * * * [points]: Setting MPFR precision to 64
14.359 * * * * [points]: Setting MPFR precision to 320
14.605 * * * * [points]: Filtering points with unrepresentable outputs
14.608 * * * * [points]: Sampling 2035 additional inputs, on iter 2 have 5965 / 8000
14.611 * * * * [points]: Computing exacts on every 127 of 2035 points to ramp up precision
14.614 * * * * [points]: Setting MPFR precision to 64
14.616 * * * * [points]: Setting MPFR precision to 320
14.616 * * * * [points]: Computing exacts on every 63 of 2035 points to ramp up precision
14.619 * * * * [points]: Setting MPFR precision to 64
14.621 * * * * [points]: Setting MPFR precision to 320
14.622 * * * * [points]: Computing exacts on every 31 of 2035 points to ramp up precision
14.625 * * * * [points]: Setting MPFR precision to 64
14.628 * * * * [points]: Setting MPFR precision to 320
14.631 * * * * [points]: Computing exacts on every 15 of 2035 points to ramp up precision
14.656 * * * * [points]: Setting MPFR precision to 64
14.662 * * * * [points]: Setting MPFR precision to 320
14.670 * * * * [points]: Computing exacts on every 7 of 2035 points to ramp up precision
14.672 * * * * [points]: Setting MPFR precision to 64
14.684 * * * * [points]: Setting MPFR precision to 320
14.697 * * * * [points]: Computing exacts on every 3 of 2035 points to ramp up precision
14.699 * * * * [points]: Setting MPFR precision to 64
14.723 * * * * [points]: Setting MPFR precision to 320
14.749 * * * * [points]: Computing exacts for 2035 points
14.752 * * * * [points]: Setting MPFR precision to 64
14.868 * * * * [points]: Setting MPFR precision to 320
15.277 * * * * [points]: Filtering points with unrepresentable outputs
15.279 * * * * [points]: Sampling 1017 additional inputs, on iter 3 have 6983 / 8000
15.280 * * * * [points]: Computing exacts on every 63 of 1017 points to ramp up precision
15.285 * * * * [points]: Setting MPFR precision to 64
15.286 * * * * [points]: Setting MPFR precision to 320
15.288 * * * * [points]: Computing exacts on every 31 of 1017 points to ramp up precision
15.292 * * * * [points]: Setting MPFR precision to 64
15.294 * * * * [points]: Setting MPFR precision to 320
15.297 * * * * [points]: Computing exacts on every 15 of 1017 points to ramp up precision
15.301 * * * * [points]: Setting MPFR precision to 64
15.305 * * * * [points]: Setting MPFR precision to 320
15.310 * * * * [points]: Computing exacts on every 7 of 1017 points to ramp up precision
15.314 * * * * [points]: Setting MPFR precision to 64
15.323 * * * * [points]: Setting MPFR precision to 320
15.329 * * * * [points]: Computing exacts on every 3 of 1017 points to ramp up precision
15.332 * * * * [points]: Setting MPFR precision to 64
15.381 * * * * [points]: Setting MPFR precision to 320
15.400 * * * * [points]: Computing exacts for 1017 points
15.404 * * * * [points]: Setting MPFR precision to 64
15.450 * * * * [points]: Setting MPFR precision to 320
15.533 * * * * [points]: Filtering points with unrepresentable outputs
15.534 * * * * [points]: Sampling 526 additional inputs, on iter 4 have 7474 / 8000
15.535 * * * * [points]: Computing exacts on every 32 of 526 points to ramp up precision
15.542 * * * * [points]: Setting MPFR precision to 64
15.543 * * * * [points]: Setting MPFR precision to 320
15.544 * * * * [points]: Computing exacts on every 16 of 526 points to ramp up precision
15.548 * * * * [points]: Setting MPFR precision to 64
15.550 * * * * [points]: Setting MPFR precision to 320
15.553 * * * * [points]: Computing exacts on every 8 of 526 points to ramp up precision
15.557 * * * * [points]: Setting MPFR precision to 64
15.561 * * * * [points]: Setting MPFR precision to 320
15.565 * * * * [points]: Computing exacts on every 4 of 526 points to ramp up precision
15.569 * * * * [points]: Setting MPFR precision to 64
15.576 * * * * [points]: Setting MPFR precision to 320
15.585 * * * * [points]: Computing exacts on every 2 of 526 points to ramp up precision
15.589 * * * * [points]: Setting MPFR precision to 64
15.602 * * * * [points]: Setting MPFR precision to 320
15.614 * * * * [points]: Computing exacts for 526 points
15.618 * * * * [points]: Setting MPFR precision to 64
15.647 * * * * [points]: Setting MPFR precision to 320
15.697 * * * * [points]: Filtering points with unrepresentable outputs
15.697 * * * * [points]: Sampling 248 additional inputs, on iter 5 have 7752 / 8000
15.697 * * * * [points]: Computing exacts on every 15 of 248 points to ramp up precision
15.700 * * * * [points]: Setting MPFR precision to 64
15.701 * * * * [points]: Setting MPFR precision to 320
15.702 * * * * [points]: Computing exacts on every 7 of 248 points to ramp up precision
15.705 * * * * [points]: Setting MPFR precision to 64
15.706 * * * * [points]: Setting MPFR precision to 320
15.708 * * * * [points]: Computing exacts on every 3 of 248 points to ramp up precision
15.710 * * * * [points]: Setting MPFR precision to 64
15.713 * * * * [points]: Setting MPFR precision to 320
15.716 * * * * [points]: Computing exacts for 248 points
15.719 * * * * [points]: Setting MPFR precision to 64
15.730 * * * * [points]: Setting MPFR precision to 320
15.742 * * * * [points]: Filtering points with unrepresentable outputs
15.742 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 7873 / 8000
15.742 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
15.745 * * * * [points]: Setting MPFR precision to 64
15.746 * * * * [points]: Setting MPFR precision to 320
15.747 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
15.749 * * * * [points]: Setting MPFR precision to 64
15.750 * * * * [points]: Setting MPFR precision to 320
15.752 * * * * [points]: Computing exacts for 127 points
15.755 * * * * [points]: Setting MPFR precision to 64
15.760 * * * * [points]: Setting MPFR precision to 320
15.766 * * * * [points]: Filtering points with unrepresentable outputs
15.766 * * * * [points]: Sampling 63 additional inputs, on iter 7 have 7937 / 8000
15.766 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
15.769 * * * * [points]: Setting MPFR precision to 64
15.770 * * * * [points]: Setting MPFR precision to 320
15.771 * * * * [points]: Computing exacts for 63 points
15.773 * * * * [points]: Setting MPFR precision to 64
15.776 * * * * [points]: Setting MPFR precision to 320
15.797 * * * * [points]: Filtering points with unrepresentable outputs
15.798 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
15.798 * * * * [points]: Computing exacts for 30 points
15.800 * * * * [points]: Setting MPFR precision to 64
15.802 * * * * [points]: Setting MPFR precision to 320
15.803 * * * * [points]: Filtering points with unrepresentable outputs
15.803 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
15.803 * * * * [points]: Computing exacts for 18 points
15.807 * * * * [points]: Setting MPFR precision to 64
15.808 * * * * [points]: Setting MPFR precision to 320
15.809 * * * * [points]: Filtering points with unrepresentable outputs
15.809 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
15.809 * * * * [points]: Computing exacts for 8 points
15.812 * * * * [points]: Setting MPFR precision to 64
15.812 * * * * [points]: Setting MPFR precision to 320
15.813 * * * * [points]: Filtering points with unrepresentable outputs
15.813 * * * * [points]: Sampling 8 additional inputs, on iter 11 have 7992 / 8000
15.813 * * * * [points]: Computing exacts for 8 points
15.815 * * * * [points]: Setting MPFR precision to 64
15.816 * * * * [points]: Setting MPFR precision to 320
15.816 * * * * [points]: Filtering points with unrepresentable outputs
15.816 * * * * [points]: Sampling 5 additional inputs, on iter 12 have 7995 / 8000
15.816 * * * * [points]: Computing exacts for 5 points
15.819 * * * * [points]: Setting MPFR precision to 64
15.819 * * * * [points]: Setting MPFR precision to 320
15.819 * * * * [points]: Filtering points with unrepresentable outputs
15.819 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000
15.819 * * * * [points]: Computing exacts for 4 points
15.822 * * * * [points]: Setting MPFR precision to 64
15.822 * * * * [points]: Setting MPFR precision to 320
15.822 * * * * [points]: Filtering points with unrepresentable outputs
15.822 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 7998 / 8000
15.822 * * * * [points]: Computing exacts for 4 points
15.825 * * * * [points]: Setting MPFR precision to 64
15.825 * * * * [points]: Setting MPFR precision to 320
15.825 * * * * [points]: Filtering points with unrepresentable outputs
15.825 * * * * [points]: Sampled 8000 points with exact outputs
22.417 * [regime-testing]: Baseline error score: 64.0
22.421 * [regime-testing]: Oracle error score: 64.0
22.429 * [regime-testing]: End program error score: 0.3947147845706721