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.047 * * * * [points]: Setting MPFR precision to 320
0.060 * * * * [points]: Filtering points with unrepresentable outputs
0.061 * * * * [points]: Sampling 141 additional inputs, on iter 1 have 115 / 256
0.061 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision
0.075 * * * * [points]: Setting MPFR precision to 64
0.076 * * * * [points]: Setting MPFR precision to 320
0.077 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision
0.079 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision
0.085 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.089 * * * * [points]: Computing exacts for 141 points
0.092 * * * * [points]: Setting MPFR precision to 64
0.099 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Filtering points with unrepresentable outputs
0.107 * * * * [points]: Sampling 73 additional inputs, on iter 2 have 183 / 256
0.107 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Computing exacts for 73 points
0.120 * * * * [points]: Setting MPFR precision to 64
0.123 * * * * [points]: Setting MPFR precision to 320
0.127 * * * * [points]: Filtering points with unrepresentable outputs
0.127 * * * * [points]: Sampling 43 additional inputs, on iter 3 have 213 / 256
0.127 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.130 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.132 * * * * [points]: Computing exacts for 43 points
0.137 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.145 * * * * [points]: Filtering points with unrepresentable outputs
0.145 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.145 * * * * [points]: Computing exacts for 18 points
0.150 * * * * [points]: Setting MPFR precision to 64
0.152 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Filtering points with unrepresentable outputs
0.154 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256
0.154 * * * * [points]: Computing exacts for 12 points
0.157 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.158 * * * * [points]: Filtering points with unrepresentable outputs
0.158 * * * * [points]: Sampling 9 additional inputs, on iter 6 have 247 / 256
0.158 * * * * [points]: Computing exacts for 9 points
0.161 * * * * [points]: Setting MPFR precision to 64
0.162 * * * * [points]: Setting MPFR precision to 320
0.162 * * * * [points]: Filtering points with unrepresentable outputs
0.162 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.162 * * * * [points]: Computing exacts for 4 points
0.165 * * * * [points]: Setting MPFR precision to 64
0.165 * * * * [points]: Setting MPFR precision to 320
0.165 * * * * [points]: Filtering points with unrepresentable outputs
0.165 * * * * [points]: Sampled 256 points with exact outputs
0.166 * * * [progress]: [2/2] Setting up program.
0.192 * [progress]: [Phase 2 of 3] Improving.
0.192 * * * * [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.192 * [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.192 * * [simplify]: iters left: 5 (12 enodes)
0.196 * * [simplify]: iters left: 4 (43 enodes)
0.206 * * [simplify]: iters left: 3 (170 enodes)
0.265 * * [simplify]: Extracting #0: cost 1 inf + 0
0.265 * * [simplify]: Extracting #1: cost 78 inf + 0
0.266 * * [simplify]: Extracting #2: cost 269 inf + 322
0.267 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.271 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.283 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.300 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.317 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.334 * [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.334 * [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.362 * * [progress]: iteration 1 / 4
0.362 * * * [progress]: picking best candidate
0.385 * * * * [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.385 * * * [progress]: localizing error
0.537 * * * [progress]: generating rewritten candidates
0.537 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.545 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.553 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.555 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.572 * * * [progress]: generating series expansions
0.573 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.573 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.573 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.573 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.573 * * * [progress]: simplifying candidates
0.573 * * * * [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.573 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.573 * * [simplify]: iters left: 4 (8 enodes)
0.575 * * [simplify]: iters left: 3 (27 enodes)
0.581 * * [simplify]: iters left: 2 (61 enodes)
0.593 * * [simplify]: iters left: 1 (182 enodes)
0.667 * * [simplify]: Extracting #0: cost 1 inf + 0
0.667 * * [simplify]: Extracting #1: cost 37 inf + 0
0.668 * * [simplify]: Extracting #2: cost 175 inf + 0
0.669 * * [simplify]: Extracting #3: cost 221 inf + 323
0.671 * * [simplify]: Extracting #4: cost 221 inf + 30993
0.682 * * [simplify]: Extracting #5: cost 76 inf + 221248
0.702 * * [simplify]: Extracting #6: cost 0 inf + 318421
0.723 * * [simplify]: Extracting #7: cost 0 inf + 316421
0.743 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.743 * [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.743 * * * * [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.743 * * * * [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.743 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.744 * * [simplify]: iters left: 4 (8 enodes)
0.746 * * [simplify]: iters left: 3 (18 enodes)
0.749 * * [simplify]: iters left: 2 (25 enodes)
0.753 * * [simplify]: iters left: 1 (29 enodes)
0.757 * * [simplify]: Extracting #0: cost 1 inf + 0
0.757 * * [simplify]: Extracting #1: cost 3 inf + 0
0.757 * * [simplify]: Extracting #2: cost 11 inf + 0
0.757 * * [simplify]: Extracting #3: cost 9 inf + 3
0.758 * * [simplify]: Extracting #4: cost 0 inf + 3578
0.758 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.758 * [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.758 * * * * [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.758 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
0.758 * * [simplify]: iters left: 4 (6 enodes)
0.760 * * [simplify]: iters left: 3 (16 enodes)
0.762 * * [simplify]: iters left: 2 (27 enodes)
0.767 * * [simplify]: iters left: 1 (33 enodes)
0.771 * * [simplify]: Extracting #0: cost 1 inf + 0
0.771 * * [simplify]: Extracting #1: cost 5 inf + 0
0.771 * * [simplify]: Extracting #2: cost 11 inf + 1
0.771 * * [simplify]: Extracting #3: cost 11 inf + 763
0.771 * * [simplify]: Extracting #4: cost 9 inf + 765
0.771 * * [simplify]: Extracting #5: cost 2 inf + 3698
0.772 * * [simplify]: Extracting #6: cost 0 inf + 4861
0.772 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
0.772 * [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.772 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
0.772 * * [simplify]: iters left: 5 (9 enodes)
0.775 * * [simplify]: iters left: 4 (28 enodes)
0.780 * * [simplify]: iters left: 3 (66 enodes)
0.796 * * [simplify]: iters left: 2 (206 enodes)
0.877 * * [simplify]: Extracting #0: cost 1 inf + 0
0.877 * * [simplify]: Extracting #1: cost 39 inf + 0
0.877 * * [simplify]: Extracting #2: cost 172 inf + 1
0.878 * * [simplify]: Extracting #3: cost 247 inf + 322
0.879 * * [simplify]: Extracting #4: cost 253 inf + 16849
0.890 * * [simplify]: Extracting #5: cost 114 inf + 204899
0.913 * * [simplify]: Extracting #6: cost 7 inf + 360159
0.940 * * [simplify]: Extracting #7: cost 0 inf + 374380
0.966 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
0.967 * [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)))
0.967 * * * * [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))>
0.967 * * * * [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))))>
0.967 * [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)))))
0.967 * * [simplify]: iters left: 6 (13 enodes)
0.971 * * [simplify]: iters left: 5 (46 enodes)
0.981 * * [simplify]: iters left: 4 (170 enodes)
1.067 * * [simplify]: Extracting #0: cost 1 inf + 0
1.068 * * [simplify]: Extracting #1: cost 88 inf + 0
1.069 * * [simplify]: Extracting #2: cost 216 inf + 1524
1.072 * * [simplify]: Extracting #3: cost 193 inf + 60340
1.090 * * [simplify]: Extracting #4: cost 64 inf + 265197
1.117 * * [simplify]: Extracting #5: cost 12 inf + 357709
1.152 * * [simplify]: Extracting #6: cost 0 inf + 383025
1.184 * * [simplify]: Extracting #7: cost 0 inf + 382865
1.217 * [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.217 * [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.217 * * * * [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.217 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.217 * * [simplify]: iters left: 4 (6 enodes)
1.220 * * [simplify]: iters left: 3 (16 enodes)
1.225 * * [simplify]: iters left: 2 (27 enodes)
1.232 * * [simplify]: iters left: 1 (33 enodes)
1.240 * * [simplify]: Extracting #0: cost 1 inf + 0
1.240 * * [simplify]: Extracting #1: cost 5 inf + 0
1.240 * * [simplify]: Extracting #2: cost 11 inf + 1
1.241 * * [simplify]: Extracting #3: cost 11 inf + 763
1.241 * * [simplify]: Extracting #4: cost 9 inf + 765
1.241 * * [simplify]: Extracting #5: cost 2 inf + 3698
1.241 * * [simplify]: Extracting #6: cost 0 inf + 4861
1.242 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.242 * [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.242 * * * * [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.242 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1.242 * * [simplify]: iters left: 2 (3 enodes)
1.243 * * [simplify]: iters left: 1 (9 enodes)
1.246 * * [simplify]: Extracting #0: cost 1 inf + 0
1.246 * * [simplify]: Extracting #1: cost 4 inf + 0
1.246 * * [simplify]: Extracting #2: cost 3 inf + 1
1.246 * * [simplify]: Extracting #3: cost 0 inf + 1604
1.246 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1.246 * [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.246 * * * * [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.246 * * * * [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.246 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.246 * * [simplify]: iters left: 3 (7 enodes)
1.249 * * [simplify]: iters left: 2 (13 enodes)
1.253 * * [simplify]: Extracting #0: cost 1 inf + 0
1.253 * * [simplify]: Extracting #1: cost 3 inf + 0
1.253 * * [simplify]: Extracting #2: cost 6 inf + 0
1.253 * * [simplify]: Extracting #3: cost 4 inf + 3
1.253 * * [simplify]: Extracting #4: cost 0 inf + 690
1.253 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.253 * [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.254 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.254 * * [simplify]: iters left: 3 (7 enodes)
1.257 * * [simplify]: iters left: 2 (19 enodes)
1.261 * * [simplify]: iters left: 1 (37 enodes)
1.270 * * [simplify]: Extracting #0: cost 1 inf + 0
1.270 * * [simplify]: Extracting #1: cost 10 inf + 0
1.271 * * [simplify]: Extracting #2: cost 21 inf + 0
1.271 * * [simplify]: Extracting #3: cost 27 inf + 165
1.271 * * [simplify]: Extracting #4: cost 28 inf + 166
1.271 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.273 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.274 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.274 * [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.274 * * * * [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.274 * * * * [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.275 * * * * [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.275 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))
1.275 * * [simplify]: iters left: 4 (9 enodes)
1.278 * * [simplify]: iters left: 3 (21 enodes)
1.285 * * [simplify]: iters left: 2 (45 enodes)
1.299 * * [simplify]: iters left: 1 (74 enodes)
1.320 * * [simplify]: Extracting #0: cost 1 inf + 0
1.320 * * [simplify]: Extracting #1: cost 24 inf + 0
1.320 * * [simplify]: Extracting #2: cost 30 inf + 1
1.321 * * [simplify]: Extracting #3: cost 29 inf + 323
1.321 * * [simplify]: Extracting #4: cost 22 inf + 2894
1.322 * * [simplify]: Extracting #5: cost 15 inf + 7229
1.323 * * [simplify]: Extracting #6: cost 2 inf + 16939
1.325 * * [simplify]: Extracting #7: cost 0 inf + 18383
1.327 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.327 * [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.327 * * * * [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.328 * [simplify]: Simplifying (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.328 * * [simplify]: iters left: 4 (9 enodes)
1.331 * * [simplify]: iters left: 3 (21 enodes)
1.338 * * [simplify]: iters left: 2 (45 enodes)
1.351 * * [simplify]: iters left: 1 (72 enodes)
1.369 * * [simplify]: Extracting #0: cost 1 inf + 0
1.369 * * [simplify]: Extracting #1: cost 21 inf + 0
1.370 * * [simplify]: Extracting #2: cost 24 inf + 1
1.370 * * [simplify]: Extracting #3: cost 22 inf + 324
1.370 * * [simplify]: Extracting #4: cost 15 inf + 2895
1.371 * * [simplify]: Extracting #5: cost 1 inf + 12686
1.373 * * [simplify]: Extracting #6: cost 0 inf + 13408
1.374 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1.374 * [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.375 * * * * [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.375 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.375 * * [simplify]: iters left: 3 (7 enodes)
1.378 * * [simplify]: iters left: 2 (19 enodes)
1.384 * * [simplify]: iters left: 1 (37 enodes)
1.391 * * [simplify]: Extracting #0: cost 1 inf + 0
1.391 * * [simplify]: Extracting #1: cost 10 inf + 0
1.391 * * [simplify]: Extracting #2: cost 21 inf + 0
1.392 * * [simplify]: Extracting #3: cost 27 inf + 165
1.392 * * [simplify]: Extracting #4: cost 28 inf + 166
1.392 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.393 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.394 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.394 * [simplify]: Simplified (2 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.394 * * * * [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.394 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
1.394 * * [simplify]: iters left: 2 (4 enodes)
1.395 * * [simplify]: iters left: 1 (8 enodes)
1.397 * * [simplify]: Extracting #0: cost 1 inf + 0
1.397 * * [simplify]: Extracting #1: cost 3 inf + 0
1.397 * * [simplify]: Extracting #2: cost 3 inf + 1
1.397 * * [simplify]: Extracting #3: cost 0 inf + 325
1.397 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1.397 * [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.397 * * * * [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.397 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.397 * * [simplify]: iters left: 4 (8 enodes)
1.401 * * [simplify]: iters left: 3 (18 enodes)
1.406 * * [simplify]: iters left: 2 (25 enodes)
1.412 * * [simplify]: iters left: 1 (29 enodes)
1.419 * * [simplify]: Extracting #0: cost 1 inf + 0
1.419 * * [simplify]: Extracting #1: cost 3 inf + 0
1.419 * * [simplify]: Extracting #2: cost 11 inf + 0
1.419 * * [simplify]: Extracting #3: cost 9 inf + 3
1.419 * * [simplify]: Extracting #4: cost 0 inf + 3578
1.420 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.420 * [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.420 * * * * [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.420 * * * * [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.420 * [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.421 * * [simplify]: iters left: 6 (12 enodes)
1.426 * * [simplify]: iters left: 5 (46 enodes)
1.445 * * [simplify]: iters left: 4 (191 enodes)
1.573 * * [simplify]: Extracting #0: cost 1 inf + 0
1.573 * * [simplify]: Extracting #1: cost 94 inf + 0
1.575 * * [simplify]: Extracting #2: cost 340 inf + 1404
1.580 * * [simplify]: Extracting #3: cost 320 inf + 83239
1.600 * * [simplify]: Extracting #4: cost 119 inf + 431218
1.639 * * [simplify]: Extracting #5: cost 4 inf + 595019
1.675 * * [simplify]: Extracting #6: cost 0 inf + 539239
1.713 * * [simplify]: Extracting #7: cost 0 inf + 536243
1.753 * [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.753 * [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.753 * * * * [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.753 * [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.754 * * [simplify]: iters left: 6 (12 enodes)
1.759 * * [simplify]: iters left: 5 (46 enodes)
1.777 * * [simplify]: iters left: 4 (191 enodes)
1.864 * * [simplify]: Extracting #0: cost 1 inf + 0
1.864 * * [simplify]: Extracting #1: cost 94 inf + 0
1.865 * * [simplify]: Extracting #2: cost 340 inf + 1404
1.870 * * [simplify]: Extracting #3: cost 320 inf + 83239
1.889 * * [simplify]: Extracting #4: cost 119 inf + 431218
1.916 * * [simplify]: Extracting #5: cost 4 inf + 595019
1.952 * * [simplify]: Extracting #6: cost 0 inf + 539239
1.988 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.025 * [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.025 * [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.025 * * * * [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.025 * [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.026 * * [simplify]: iters left: 6 (12 enodes)
2.031 * * [simplify]: iters left: 5 (46 enodes)
2.051 * * [simplify]: iters left: 4 (191 enodes)
2.167 * * [simplify]: Extracting #0: cost 1 inf + 0
2.167 * * [simplify]: Extracting #1: cost 94 inf + 0
2.168 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.171 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.183 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.205 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.235 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.277 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.321 * [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.321 * [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.322 * * * * [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.322 * [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.322 * * [simplify]: iters left: 6 (12 enodes)
2.328 * * [simplify]: iters left: 5 (46 enodes)
2.341 * * [simplify]: iters left: 4 (191 enodes)
2.422 * * [simplify]: Extracting #0: cost 1 inf + 0
2.423 * * [simplify]: Extracting #1: cost 94 inf + 0
2.424 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.430 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.451 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.474 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.513 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.556 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.580 * [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.580 * [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.581 * * * [progress]: adding candidates to table
3.225 * * [progress]: iteration 2 / 4
3.225 * * * [progress]: picking best candidate
3.344 * * * * [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.344 * * * [progress]: localizing error
3.543 * * * [progress]: generating rewritten candidates
3.543 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.548 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.553 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.555 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.559 * * * [progress]: generating series expansions
3.559 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.559 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.559 * * * [progress]: simplifying candidates
3.559 * * * * [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.559 * * * * [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.559 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
3.559 * * [simplify]: iters left: 4 (6 enodes)
3.561 * * [simplify]: iters left: 3 (16 enodes)
3.563 * * [simplify]: iters left: 2 (27 enodes)
3.568 * * [simplify]: iters left: 1 (33 enodes)
3.572 * * [simplify]: Extracting #0: cost 1 inf + 0
3.572 * * [simplify]: Extracting #1: cost 5 inf + 0
3.572 * * [simplify]: Extracting #2: cost 11 inf + 1
3.572 * * [simplify]: Extracting #3: cost 11 inf + 763
3.573 * * [simplify]: Extracting #4: cost 9 inf + 765
3.573 * * [simplify]: Extracting #5: cost 2 inf + 3698
3.573 * * [simplify]: Extracting #6: cost 0 inf + 4861
3.573 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
3.573 * [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.573 * * * * [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.573 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i))
3.574 * * [simplify]: iters left: 6 (9 enodes)
3.576 * * [simplify]: iters left: 5 (26 enodes)
3.580 * * [simplify]: iters left: 4 (67 enodes)
3.601 * * [simplify]: iters left: 3 (217 enodes)
3.762 * * [simplify]: Extracting #0: cost 1 inf + 0
3.762 * * [simplify]: Extracting #1: cost 45 inf + 0
3.762 * * [simplify]: Extracting #2: cost 74 inf + 763
3.763 * * [simplify]: Extracting #3: cost 62 inf + 7895
3.765 * * [simplify]: Extracting #4: cost 22 inf + 41744
3.768 * * [simplify]: Extracting #5: cost 1 inf + 66110
3.772 * * [simplify]: Extracting #6: cost 0 inf + 67193
3.776 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
3.776 * [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))))
3.777 * * * * [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)))))>
3.777 * [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))
3.777 * * [simplify]: iters left: 6 (12 enodes)
3.780 * * [simplify]: iters left: 5 (38 enodes)
3.787 * * [simplify]: iters left: 4 (95 enodes)
3.811 * * [simplify]: iters left: 3 (325 enodes)
3.988 * * [simplify]: Extracting #0: cost 1 inf + 0
3.988 * * [simplify]: Extracting #1: cost 83 inf + 0
3.989 * * [simplify]: Extracting #2: cost 354 inf + 1
3.991 * * [simplify]: Extracting #3: cost 453 inf + 322
3.993 * * [simplify]: Extracting #4: cost 472 inf + 4417
4.000 * * [simplify]: Extracting #5: cost 345 inf + 175126
4.030 * * [simplify]: Extracting #6: cost 57 inf + 661423
4.080 * * [simplify]: Extracting #7: cost 1 inf + 765790
4.137 * * [simplify]: Extracting #8: cost 0 inf + 767393
4.203 * * [simplify]: Extracting #9: cost 0 inf + 767353
4.255 * [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.255 * [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.255 * * * * [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.255 * * * * [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.255 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
4.255 * * [simplify]: iters left: 2 (4 enodes)
4.257 * * [simplify]: iters left: 1 (8 enodes)
4.259 * * [simplify]: Extracting #0: cost 1 inf + 0
4.259 * * [simplify]: Extracting #1: cost 3 inf + 0
4.259 * * [simplify]: Extracting #2: cost 3 inf + 1
4.259 * * [simplify]: Extracting #3: cost 0 inf + 325
4.259 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
4.259 * [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.259 * * * * [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.259 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
4.260 * * [simplify]: iters left: 3 (7 enodes)
4.263 * * [simplify]: iters left: 2 (19 enodes)
4.268 * * [simplify]: iters left: 1 (37 enodes)
4.275 * * [simplify]: Extracting #0: cost 1 inf + 0
4.275 * * [simplify]: Extracting #1: cost 10 inf + 0
4.275 * * [simplify]: Extracting #2: cost 21 inf + 0
4.275 * * [simplify]: Extracting #3: cost 27 inf + 165
4.275 * * [simplify]: Extracting #4: cost 28 inf + 166
4.275 * * [simplify]: Extracting #5: cost 18 inf + 4946
4.276 * * [simplify]: Extracting #6: cost 0 inf + 22111
4.277 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
4.277 * [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.277 * * * * [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.277 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.277 * * [simplify]: iters left: 4 (8 enodes)
4.280 * * [simplify]: iters left: 3 (18 enodes)
4.283 * * [simplify]: iters left: 2 (25 enodes)
4.286 * * [simplify]: iters left: 1 (29 enodes)
4.292 * * [simplify]: Extracting #0: cost 1 inf + 0
4.292 * * [simplify]: Extracting #1: cost 3 inf + 0
4.292 * * [simplify]: Extracting #2: cost 11 inf + 0
4.292 * * [simplify]: Extracting #3: cost 9 inf + 3
4.292 * * [simplify]: Extracting #4: cost 0 inf + 3578
4.292 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.292 * [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.293 * * * * [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.293 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.293 * * [simplify]: iters left: 4 (8 enodes)
4.295 * * [simplify]: iters left: 3 (18 enodes)
4.298 * * [simplify]: iters left: 2 (25 enodes)
4.302 * * [simplify]: iters left: 1 (29 enodes)
4.306 * * [simplify]: Extracting #0: cost 1 inf + 0
4.306 * * [simplify]: Extracting #1: cost 3 inf + 0
4.306 * * [simplify]: Extracting #2: cost 11 inf + 0
4.306 * * [simplify]: Extracting #3: cost 9 inf + 3
4.306 * * [simplify]: Extracting #4: cost 0 inf + 3578
4.307 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.307 * [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.307 * * * * [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.307 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.307 * * [simplify]: iters left: 4 (8 enodes)
4.309 * * [simplify]: iters left: 3 (27 enodes)
4.314 * * [simplify]: iters left: 2 (61 enodes)
4.327 * * [simplify]: iters left: 1 (182 enodes)
4.404 * * [simplify]: Extracting #0: cost 1 inf + 0
4.404 * * [simplify]: Extracting #1: cost 37 inf + 0
4.404 * * [simplify]: Extracting #2: cost 175 inf + 0
4.406 * * [simplify]: Extracting #3: cost 221 inf + 323
4.409 * * [simplify]: Extracting #4: cost 221 inf + 30993
4.425 * * [simplify]: Extracting #5: cost 76 inf + 221248
4.452 * * [simplify]: Extracting #6: cost 0 inf + 318421
4.470 * * [simplify]: Extracting #7: cost 0 inf + 316421
4.487 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.487 * [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.488 * * * * [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.488 * [simplify]: Simplifying (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.488 * * [simplify]: iters left: 6 (10 enodes)
4.490 * * [simplify]: iters left: 5 (32 enodes)
4.497 * * [simplify]: iters left: 4 (77 enodes)
4.513 * * [simplify]: iters left: 3 (261 enodes)
4.670 * * [simplify]: Extracting #0: cost 1 inf + 0
4.670 * * [simplify]: Extracting #1: cost 62 inf + 0
4.671 * * [simplify]: Extracting #2: cost 262 inf + 322
4.673 * * [simplify]: Extracting #3: cost 352 inf + 322
4.676 * * [simplify]: Extracting #4: cost 358 inf + 17807
4.698 * * [simplify]: Extracting #5: cost 171 inf + 273596
4.748 * * [simplify]: Extracting #6: cost 2 inf + 561486
4.786 * * [simplify]: Extracting #7: cost 0 inf + 564492
4.821 * [simplify]: Simplified to (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.821 * [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)))
4.821 * * * * [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)))>
4.822 * * * * [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)))>
4.822 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
4.822 * * [simplify]: iters left: 4 (6 enodes)
4.824 * * [simplify]: iters left: 3 (16 enodes)
4.827 * * [simplify]: iters left: 2 (27 enodes)
4.831 * * [simplify]: iters left: 1 (33 enodes)
4.836 * * [simplify]: Extracting #0: cost 1 inf + 0
4.836 * * [simplify]: Extracting #1: cost 5 inf + 0
4.836 * * [simplify]: Extracting #2: cost 11 inf + 1
4.836 * * [simplify]: Extracting #3: cost 11 inf + 763
4.836 * * [simplify]: Extracting #4: cost 9 inf + 765
4.836 * * [simplify]: Extracting #5: cost 2 inf + 3698
4.836 * * [simplify]: Extracting #6: cost 0 inf + 4861
4.837 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
4.837 * [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)))
4.837 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
4.837 * * [simplify]: iters left: 5 (9 enodes)
4.839 * * [simplify]: iters left: 4 (28 enodes)
4.845 * * [simplify]: iters left: 3 (66 enodes)
4.865 * * [simplify]: iters left: 2 (206 enodes)
4.994 * * [simplify]: Extracting #0: cost 1 inf + 0
4.994 * * [simplify]: Extracting #1: cost 39 inf + 0
4.995 * * [simplify]: Extracting #2: cost 172 inf + 1
4.996 * * [simplify]: Extracting #3: cost 247 inf + 322
4.999 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.020 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.059 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.098 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.120 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.120 * [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.120 * * * * [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.120 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.121 * * [simplify]: iters left: 4 (6 enodes)
5.122 * * [simplify]: iters left: 3 (16 enodes)
5.125 * * [simplify]: iters left: 2 (27 enodes)
5.131 * * [simplify]: iters left: 1 (33 enodes)
5.136 * * [simplify]: Extracting #0: cost 1 inf + 0
5.136 * * [simplify]: Extracting #1: cost 5 inf + 0
5.136 * * [simplify]: Extracting #2: cost 11 inf + 1
5.136 * * [simplify]: Extracting #3: cost 11 inf + 763
5.136 * * [simplify]: Extracting #4: cost 9 inf + 765
5.136 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.136 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.137 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.137 * [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.137 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.137 * * [simplify]: iters left: 5 (9 enodes)
5.139 * * [simplify]: iters left: 4 (28 enodes)
5.145 * * [simplify]: iters left: 3 (66 enodes)
5.159 * * [simplify]: iters left: 2 (206 enodes)
5.246 * * [simplify]: Extracting #0: cost 1 inf + 0
5.246 * * [simplify]: Extracting #1: cost 39 inf + 0
5.246 * * [simplify]: Extracting #2: cost 172 inf + 1
5.247 * * [simplify]: Extracting #3: cost 247 inf + 322
5.249 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.262 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.282 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.304 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.329 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.329 * [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.329 * * * * [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.329 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.329 * * [simplify]: iters left: 4 (6 enodes)
5.331 * * [simplify]: iters left: 3 (16 enodes)
5.334 * * [simplify]: iters left: 2 (27 enodes)
5.338 * * [simplify]: iters left: 1 (33 enodes)
5.342 * * [simplify]: Extracting #0: cost 1 inf + 0
5.342 * * [simplify]: Extracting #1: cost 5 inf + 0
5.343 * * [simplify]: Extracting #2: cost 11 inf + 1
5.343 * * [simplify]: Extracting #3: cost 11 inf + 763
5.343 * * [simplify]: Extracting #4: cost 9 inf + 765
5.343 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.343 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.343 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.343 * [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.343 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.344 * * [simplify]: iters left: 5 (9 enodes)
5.346 * * [simplify]: iters left: 4 (28 enodes)
5.351 * * [simplify]: iters left: 3 (66 enodes)
5.368 * * [simplify]: iters left: 2 (206 enodes)
5.447 * * [simplify]: Extracting #0: cost 1 inf + 0
5.447 * * [simplify]: Extracting #1: cost 39 inf + 0
5.448 * * [simplify]: Extracting #2: cost 172 inf + 1
5.449 * * [simplify]: Extracting #3: cost 247 inf + 322
5.450 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.460 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.480 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.504 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.525 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.526 * [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.526 * * * * [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)))>
5.526 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.526 * * [simplify]: iters left: 4 (6 enodes)
5.528 * * [simplify]: iters left: 3 (16 enodes)
5.530 * * [simplify]: iters left: 2 (27 enodes)
5.534 * * [simplify]: iters left: 1 (33 enodes)
5.539 * * [simplify]: Extracting #0: cost 1 inf + 0
5.539 * * [simplify]: Extracting #1: cost 5 inf + 0
5.539 * * [simplify]: Extracting #2: cost 11 inf + 1
5.539 * * [simplify]: Extracting #3: cost 11 inf + 763
5.539 * * [simplify]: Extracting #4: cost 9 inf + 765
5.539 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.539 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.540 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.540 * [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.540 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.540 * * [simplify]: iters left: 5 (9 enodes)
5.542 * * [simplify]: iters left: 4 (28 enodes)
5.547 * * [simplify]: iters left: 3 (66 enodes)
5.561 * * [simplify]: iters left: 2 (206 enodes)
5.641 * * [simplify]: Extracting #0: cost 1 inf + 0
5.641 * * [simplify]: Extracting #1: cost 39 inf + 0
5.642 * * [simplify]: Extracting #2: cost 172 inf + 1
5.643 * * [simplify]: Extracting #3: cost 247 inf + 322
5.644 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.655 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.676 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.699 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.727 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.727 * [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.728 * * * [progress]: adding candidates to table
6.190 * * [progress]: iteration 3 / 4
6.190 * * * [progress]: picking best candidate
6.298 * * * * [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.298 * * * [progress]: localizing error
6.465 * * * [progress]: generating rewritten candidates
6.465 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.484 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.487 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
6.493 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.496 * * * [progress]: generating series expansions
6.496 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.496 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.496 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
6.496 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.496 * * * [progress]: simplifying candidates
6.496 * * * * [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))))>
6.496 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.496 * * [simplify]: iters left: 3 (7 enodes)
6.500 * * [simplify]: iters left: 2 (19 enodes)
6.504 * * [simplify]: iters left: 1 (37 enodes)
6.510 * * [simplify]: Extracting #0: cost 1 inf + 0
6.510 * * [simplify]: Extracting #1: cost 10 inf + 0
6.510 * * [simplify]: Extracting #2: cost 21 inf + 0
6.511 * * [simplify]: Extracting #3: cost 27 inf + 165
6.511 * * [simplify]: Extracting #4: cost 28 inf + 166
6.511 * * [simplify]: Extracting #5: cost 18 inf + 4946
6.512 * * [simplify]: Extracting #6: cost 0 inf + 22111
6.513 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.513 * [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))))
6.513 * * * * [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)))))>
6.513 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
6.513 * * [simplify]: iters left: 2 (4 enodes)
6.514 * * [simplify]: iters left: 1 (7 enodes)
6.516 * * [simplify]: Extracting #0: cost 1 inf + 0
6.516 * * [simplify]: Extracting #1: cost 3 inf + 0
6.516 * * [simplify]: Extracting #2: cost 3 inf + 1
6.516 * * [simplify]: Extracting #3: cost 0 inf + 445
6.516 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
6.516 * [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)))))
6.516 * * * * [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))))>
6.516 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
6.516 * * [simplify]: iters left: 4 (8 enodes)
6.518 * * [simplify]: iters left: 3 (18 enodes)
6.521 * * [simplify]: iters left: 2 (25 enodes)
6.525 * * [simplify]: iters left: 1 (29 enodes)
6.530 * * [simplify]: Extracting #0: cost 1 inf + 0
6.530 * * [simplify]: Extracting #1: cost 3 inf + 0
6.530 * * [simplify]: Extracting #2: cost 11 inf + 0
6.530 * * [simplify]: Extracting #3: cost 9 inf + 3
6.530 * * [simplify]: Extracting #4: cost 0 inf + 3578
6.530 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
6.530 * [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))))
6.530 * * * * [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))))>
6.531 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
6.531 * * [simplify]: iters left: 3 (5 enodes)
6.532 * * [simplify]: iters left: 2 (11 enodes)
6.534 * * [simplify]: iters left: 1 (13 enodes)
6.536 * * [simplify]: Extracting #0: cost 1 inf + 0
6.536 * * [simplify]: Extracting #1: cost 6 inf + 0
6.536 * * [simplify]: Extracting #2: cost 6 inf + 1
6.536 * * [simplify]: Extracting #3: cost 0 inf + 1970
6.536 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
6.536 * [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))))
6.536 * * * * [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))))>
6.536 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
6.536 * * [simplify]: iters left: 3 (5 enodes)
6.537 * * [simplify]: iters left: 2 (11 enodes)
6.539 * * [simplify]: iters left: 1 (13 enodes)
6.541 * * [simplify]: Extracting #0: cost 1 inf + 0
6.541 * * [simplify]: Extracting #1: cost 6 inf + 0
6.541 * * [simplify]: Extracting #2: cost 6 inf + 1
6.541 * * [simplify]: Extracting #3: cost 0 inf + 1970
6.542 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
6.542 * [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))))
6.542 * * * * [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)))))>
6.542 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
6.542 * * [simplify]: iters left: 4 (9 enodes)
6.544 * * [simplify]: iters left: 3 (17 enodes)
6.548 * * [simplify]: iters left: 2 (20 enodes)
6.551 * * [simplify]: iters left: 1 (28 enodes)
6.556 * * [simplify]: Extracting #0: cost 1 inf + 0
6.556 * * [simplify]: Extracting #1: cost 7 inf + 0
6.556 * * [simplify]: Extracting #2: cost 10 inf + 1
6.556 * * [simplify]: Extracting #3: cost 11 inf + 2
6.557 * * [simplify]: Extracting #4: cost 7 inf + 767
6.557 * * [simplify]: Extracting #5: cost 2 inf + 2777
6.557 * * [simplify]: Extracting #6: cost 0 inf + 4702
6.557 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
6.557 * [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)))))
6.557 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
6.558 * * [simplify]: iters left: 4 (9 enodes)
6.561 * * [simplify]: iters left: 3 (23 enodes)
6.566 * * [simplify]: iters left: 2 (48 enodes)
6.575 * * [simplify]: iters left: 1 (130 enodes)
6.615 * * [simplify]: Extracting #0: cost 1 inf + 0
6.615 * * [simplify]: Extracting #1: cost 33 inf + 0
6.615 * * [simplify]: Extracting #2: cost 121 inf + 1
6.615 * * [simplify]: Extracting #3: cost 150 inf + 767
6.616 * * [simplify]: Extracting #4: cost 147 inf + 6462
6.619 * * [simplify]: Extracting #5: cost 102 inf + 59322
6.629 * * [simplify]: Extracting #6: cost 7 inf + 167589
6.638 * * [simplify]: Extracting #7: cost 0 inf + 181450
6.647 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
6.647 * [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))))))
6.647 * * * * [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)))))>
6.647 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.647 * * [simplify]: iters left: 3 (7 enodes)
6.649 * * [simplify]: iters left: 2 (13 enodes)
6.651 * * [simplify]: Extracting #0: cost 1 inf + 0
6.652 * * [simplify]: Extracting #1: cost 3 inf + 0
6.652 * * [simplify]: Extracting #2: cost 6 inf + 0
6.652 * * [simplify]: Extracting #3: cost 4 inf + 3
6.652 * * [simplify]: Extracting #4: cost 0 inf + 690
6.652 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.652 * [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)))))
6.652 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.652 * * [simplify]: iters left: 3 (7 enodes)
6.654 * * [simplify]: iters left: 2 (19 enodes)
6.658 * * [simplify]: iters left: 1 (37 enodes)
6.664 * * [simplify]: Extracting #0: cost 1 inf + 0
6.665 * * [simplify]: Extracting #1: cost 10 inf + 0
6.665 * * [simplify]: Extracting #2: cost 21 inf + 0
6.665 * * [simplify]: Extracting #3: cost 27 inf + 165
6.665 * * [simplify]: Extracting #4: cost 28 inf + 166
6.665 * * [simplify]: Extracting #5: cost 18 inf + 4946
6.666 * * [simplify]: Extracting #6: cost 0 inf + 22111
6.667 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.667 * [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)))))
6.667 * * * * [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)))))>
6.667 * * * * [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)))))>
6.667 * * * * [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))))>
6.667 * [simplify]: Simplifying (real->posit16 2)
6.667 * * [simplify]: iters left: 1 (2 enodes)
6.668 * * [simplify]: Extracting #0: cost 1 inf + 0
6.668 * * [simplify]: Extracting #1: cost 2 inf + 0
6.668 * * [simplify]: Extracting #2: cost 1 inf + 1
6.668 * * [simplify]: Extracting #3: cost 0 inf + 2
6.668 * [simplify]: Simplified to (real->posit16 2)
6.668 * [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))))
6.668 * * * * [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))))>
6.668 * * * * [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))))>
6.669 * * * * [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))))>
6.669 * [simplify]: Simplifying (real->posit16 2)
6.669 * * [simplify]: iters left: 1 (2 enodes)
6.669 * * [simplify]: Extracting #0: cost 1 inf + 0
6.669 * * [simplify]: Extracting #1: cost 2 inf + 0
6.669 * * [simplify]: Extracting #2: cost 1 inf + 1
6.669 * * [simplify]: Extracting #3: cost 0 inf + 2
6.669 * [simplify]: Simplified to (real->posit16 2)
6.669 * [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))))
6.669 * * * * [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))))>
6.670 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
6.670 * * [simplify]: iters left: 3 (5 enodes)
6.671 * * [simplify]: iters left: 2 (11 enodes)
6.673 * * [simplify]: iters left: 1 (13 enodes)
6.675 * * [simplify]: Extracting #0: cost 1 inf + 0
6.675 * * [simplify]: Extracting #1: cost 6 inf + 0
6.675 * * [simplify]: Extracting #2: cost 6 inf + 1
6.675 * * [simplify]: Extracting #3: cost 0 inf + 1970
6.675 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
6.675 * [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))))
6.675 * * * * [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))))>
6.675 * * * * [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))))>
6.675 * [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)))
6.675 * * [simplify]: iters left: 5 (11 enodes)
6.678 * * [simplify]: iters left: 4 (36 enodes)
6.685 * * [simplify]: iters left: 3 (93 enodes)
6.706 * * [simplify]: iters left: 2 (324 enodes)
6.949 * * [simplify]: Extracting #0: cost 1 inf + 0
6.949 * * [simplify]: Extracting #1: cost 100 inf + 0
6.951 * * [simplify]: Extracting #2: cost 387 inf + 322
6.954 * * [simplify]: Extracting #3: cost 451 inf + 10427
6.959 * * [simplify]: Extracting #4: cost 402 inf + 115864
6.991 * * [simplify]: Extracting #5: cost 172 inf + 531234
7.056 * * [simplify]: Extracting #6: cost 5 inf + 787856
7.126 * * [simplify]: Extracting #7: cost 0 inf + 796751
7.177 * [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.177 * [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.177 * * * * [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.177 * [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.177 * * [simplify]: iters left: 5 (11 enodes)
7.181 * * [simplify]: iters left: 4 (36 enodes)
7.193 * * [simplify]: iters left: 3 (93 enodes)
7.223 * * [simplify]: iters left: 2 (324 enodes)
7.456 * * [simplify]: Extracting #0: cost 1 inf + 0
7.456 * * [simplify]: Extracting #1: cost 100 inf + 0
7.457 * * [simplify]: Extracting #2: cost 387 inf + 322
7.459 * * [simplify]: Extracting #3: cost 451 inf + 10427
7.466 * * [simplify]: Extracting #4: cost 402 inf + 115864
7.508 * * [simplify]: Extracting #5: cost 172 inf + 531234
7.559 * * [simplify]: Extracting #6: cost 5 inf + 787856
7.638 * * [simplify]: Extracting #7: cost 0 inf + 796751
7.680 * [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.680 * [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.680 * * * * [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))))>
7.680 * [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.680 * * [simplify]: iters left: 5 (11 enodes)
7.683 * * [simplify]: iters left: 4 (36 enodes)
7.691 * * [simplify]: iters left: 3 (93 enodes)
7.714 * * [simplify]: iters left: 2 (324 enodes)
7.946 * * [simplify]: Extracting #0: cost 1 inf + 0
7.946 * * [simplify]: Extracting #1: cost 100 inf + 0
7.948 * * [simplify]: Extracting #2: cost 387 inf + 322
7.951 * * [simplify]: Extracting #3: cost 451 inf + 10427
7.957 * * [simplify]: Extracting #4: cost 402 inf + 115864
7.982 * * [simplify]: Extracting #5: cost 172 inf + 531234
8.037 * * [simplify]: Extracting #6: cost 5 inf + 787856
8.104 * * [simplify]: Extracting #7: cost 0 inf + 796751
8.166 * [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.166 * [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.166 * * * * [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.167 * [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.167 * * [simplify]: iters left: 5 (11 enodes)
8.172 * * [simplify]: iters left: 4 (36 enodes)
8.185 * * [simplify]: iters left: 3 (93 enodes)
8.218 * * [simplify]: iters left: 2 (324 enodes)
8.435 * * [simplify]: Extracting #0: cost 1 inf + 0
8.436 * * [simplify]: Extracting #1: cost 100 inf + 0
8.437 * * [simplify]: Extracting #2: cost 387 inf + 322
8.440 * * [simplify]: Extracting #3: cost 451 inf + 10427
8.448 * * [simplify]: Extracting #4: cost 402 inf + 115864
8.485 * * [simplify]: Extracting #5: cost 172 inf + 531234
8.527 * * [simplify]: Extracting #6: cost 5 inf + 787856
8.569 * * [simplify]: Extracting #7: cost 0 inf + 796751
8.634 * [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.635 * [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.635 * * * [progress]: adding candidates to table
9.387 * * [progress]: iteration 4 / 4
9.387 * * * [progress]: picking best candidate
9.559 * * * * [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.559 * * * [progress]: localizing error
9.710 * * * [progress]: generating rewritten candidates
9.710 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
9.713 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
9.716 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
9.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
9.722 * * * [progress]: generating series expansions
9.722 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
9.722 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
9.722 * * * * [progress]: [ 3 / 4 ] generating series at (2)
9.722 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
9.722 * * * [progress]: simplifying candidates
9.722 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
9.722 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
9.722 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.722 * * [simplify]: iters left: 3 (7 enodes)
9.725 * * [simplify]: iters left: 2 (13 enodes)
9.727 * * [simplify]: Extracting #0: cost 1 inf + 0
9.727 * * [simplify]: Extracting #1: cost 3 inf + 0
9.727 * * [simplify]: Extracting #2: cost 6 inf + 0
9.727 * * [simplify]: Extracting #3: cost 4 inf + 3
9.727 * * [simplify]: Extracting #4: cost 0 inf + 690
9.727 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.727 * [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)))))
9.727 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
9.727 * * * * [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))))>
9.727 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.727 * * [simplify]: iters left: 3 (7 enodes)
9.729 * * [simplify]: iters left: 2 (13 enodes)
9.731 * * [simplify]: Extracting #0: cost 1 inf + 0
9.731 * * [simplify]: Extracting #1: cost 3 inf + 0
9.731 * * [simplify]: Extracting #2: cost 6 inf + 0
9.731 * * [simplify]: Extracting #3: cost 4 inf + 3
9.731 * * [simplify]: Extracting #4: cost 0 inf + 690
9.731 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.731 * [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))))
9.732 * * * * [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))))>
9.732 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.732 * * [simplify]: iters left: 3 (7 enodes)
9.733 * * [simplify]: iters left: 2 (19 enodes)
9.737 * * [simplify]: iters left: 1 (37 enodes)
9.744 * * [simplify]: Extracting #0: cost 1 inf + 0
9.744 * * [simplify]: Extracting #1: cost 10 inf + 0
9.744 * * [simplify]: Extracting #2: cost 21 inf + 0
9.744 * * [simplify]: Extracting #3: cost 27 inf + 165
9.744 * * [simplify]: Extracting #4: cost 28 inf + 166
9.744 * * [simplify]: Extracting #5: cost 18 inf + 4946
9.745 * * [simplify]: Extracting #6: cost 0 inf + 22111
9.746 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.746 * [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))))
9.746 * * * * [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))))>
9.746 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
9.746 * * [simplify]: iters left: 5 (10 enodes)
9.749 * * [simplify]: iters left: 4 (29 enodes)
9.754 * * [simplify]: iters left: 3 (71 enodes)
9.768 * * [simplify]: iters left: 2 (226 enodes)
9.875 * * [simplify]: Extracting #0: cost 1 inf + 0
9.875 * * [simplify]: Extracting #1: cost 76 inf + 0
9.876 * * [simplify]: Extracting #2: cost 266 inf + 322
9.878 * * [simplify]: Extracting #3: cost 288 inf + 11470
9.880 * * [simplify]: Extracting #4: cost 267 inf + 40495
9.893 * * [simplify]: Extracting #5: cost 84 inf + 325096
9.918 * * [simplify]: Extracting #6: cost 0 inf + 450491
9.942 * * [simplify]: Extracting #7: cost 0 inf + 450131
9.963 * [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)))
9.963 * [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))))
9.963 * * * * [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)))))>
9.963 * * * * [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))))))>
9.963 * * * * [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))))))>
9.963 * * * * [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)))))>
9.963 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
9.963 * * [simplify]: iters left: 4 (9 enodes)
9.966 * * [simplify]: iters left: 3 (17 enodes)
9.969 * * [simplify]: iters left: 2 (20 enodes)
9.972 * * [simplify]: iters left: 1 (28 enodes)
9.976 * * [simplify]: Extracting #0: cost 1 inf + 0
9.976 * * [simplify]: Extracting #1: cost 7 inf + 0
9.977 * * [simplify]: Extracting #2: cost 10 inf + 1
9.977 * * [simplify]: Extracting #3: cost 11 inf + 2
9.977 * * [simplify]: Extracting #4: cost 7 inf + 767
9.977 * * [simplify]: Extracting #5: cost 2 inf + 2777
9.977 * * [simplify]: Extracting #6: cost 0 inf + 4702
9.977 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
9.977 * [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)))))
9.978 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
9.978 * * [simplify]: iters left: 4 (9 enodes)
9.980 * * [simplify]: iters left: 3 (23 enodes)
9.984 * * [simplify]: iters left: 2 (48 enodes)
9.996 * * [simplify]: iters left: 1 (130 enodes)
10.041 * * [simplify]: Extracting #0: cost 1 inf + 0
10.042 * * [simplify]: Extracting #1: cost 33 inf + 0
10.042 * * [simplify]: Extracting #2: cost 121 inf + 1
10.042 * * [simplify]: Extracting #3: cost 150 inf + 767
10.043 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.047 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.056 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.066 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.079 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.079 * [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.079 * * * * [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.079 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.080 * * [simplify]: iters left: 4 (9 enodes)
10.083 * * [simplify]: iters left: 3 (17 enodes)
10.085 * * [simplify]: iters left: 2 (20 enodes)
10.089 * * [simplify]: iters left: 1 (28 enodes)
10.093 * * [simplify]: Extracting #0: cost 1 inf + 0
10.093 * * [simplify]: Extracting #1: cost 7 inf + 0
10.093 * * [simplify]: Extracting #2: cost 10 inf + 1
10.093 * * [simplify]: Extracting #3: cost 11 inf + 2
10.094 * * [simplify]: Extracting #4: cost 7 inf + 767
10.094 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.094 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.094 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.094 * [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.094 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.095 * * [simplify]: iters left: 4 (9 enodes)
10.097 * * [simplify]: iters left: 3 (23 enodes)
10.102 * * [simplify]: iters left: 2 (48 enodes)
10.114 * * [simplify]: iters left: 1 (130 enodes)
10.154 * * [simplify]: Extracting #0: cost 1 inf + 0
10.154 * * [simplify]: Extracting #1: cost 33 inf + 0
10.155 * * [simplify]: Extracting #2: cost 121 inf + 1
10.155 * * [simplify]: Extracting #3: cost 150 inf + 767
10.156 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.158 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.167 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.176 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.185 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.186 * [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.186 * * * * [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.186 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.186 * * [simplify]: iters left: 4 (9 enodes)
10.188 * * [simplify]: iters left: 3 (17 enodes)
10.191 * * [simplify]: iters left: 2 (20 enodes)
10.194 * * [simplify]: iters left: 1 (28 enodes)
10.199 * * [simplify]: Extracting #0: cost 1 inf + 0
10.199 * * [simplify]: Extracting #1: cost 7 inf + 0
10.199 * * [simplify]: Extracting #2: cost 10 inf + 1
10.199 * * [simplify]: Extracting #3: cost 11 inf + 2
10.200 * * [simplify]: Extracting #4: cost 7 inf + 767
10.200 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.200 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.201 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.201 * [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.201 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.201 * * [simplify]: iters left: 4 (9 enodes)
10.204 * * [simplify]: iters left: 3 (23 enodes)
10.208 * * [simplify]: iters left: 2 (48 enodes)
10.219 * * [simplify]: iters left: 1 (130 enodes)
10.268 * * [simplify]: Extracting #0: cost 1 inf + 0
10.268 * * [simplify]: Extracting #1: cost 33 inf + 0
10.268 * * [simplify]: Extracting #2: cost 121 inf + 1
10.269 * * [simplify]: Extracting #3: cost 150 inf + 767
10.270 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.274 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.285 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.298 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.307 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.307 * [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.307 * * * * [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.307 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.307 * * [simplify]: iters left: 4 (9 enodes)
10.311 * * [simplify]: iters left: 3 (17 enodes)
10.314 * * [simplify]: iters left: 2 (20 enodes)
10.317 * * [simplify]: iters left: 1 (28 enodes)
10.324 * * [simplify]: Extracting #0: cost 1 inf + 0
10.324 * * [simplify]: Extracting #1: cost 7 inf + 0
10.324 * * [simplify]: Extracting #2: cost 10 inf + 1
10.324 * * [simplify]: Extracting #3: cost 11 inf + 2
10.324 * * [simplify]: Extracting #4: cost 7 inf + 767
10.324 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.324 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.325 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.325 * [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.325 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.325 * * [simplify]: iters left: 4 (9 enodes)
10.327 * * [simplify]: iters left: 3 (23 enodes)
10.331 * * [simplify]: iters left: 2 (48 enodes)
10.340 * * [simplify]: iters left: 1 (130 enodes)
10.381 * * [simplify]: Extracting #0: cost 1 inf + 0
10.382 * * [simplify]: Extracting #1: cost 33 inf + 0
10.382 * * [simplify]: Extracting #2: cost 121 inf + 1
10.382 * * [simplify]: Extracting #3: cost 150 inf + 767
10.383 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.386 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.393 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.403 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.412 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.412 * [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.412 * * * [progress]: adding candidates to table
10.717 * [progress]: [Phase 3 of 3] Extracting.
10.717 * * [regime]: Finding splitpoints for: (#<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)))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i 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)))))> #<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))))> #<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 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)))> #<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 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 (*.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))))> #<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))))>)
10.719 * * * [regime-changes]: Trying 1 branch expressions: (i)
10.719 * * * * [regimes]: Trying to branch on i from (#<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)))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<alt (λ (i) (*.p16 (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i 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)))))> #<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))))> #<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 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)))> #<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 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 (*.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))))> #<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))))>)
10.996 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
10.997 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.997 * * [simplify]: iters left: 5 (12 enodes)
10.998 * * [simplify]: Extracting #0: cost 1 inf + 0
10.998 * * [simplify]: Extracting #1: cost 3 inf + 0
10.998 * * [simplify]: Extracting #2: cost 6 inf + 0
10.999 * * [simplify]: Extracting #3: cost 10 inf + 0
10.999 * * [simplify]: Extracting #4: cost 11 inf + 1
10.999 * * [simplify]: Extracting #5: cost 0 inf + 6144
10.999 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.999 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.010 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.014 * * * * [points]: Setting MPFR precision to 64
11.015 * * * * [points]: Setting MPFR precision to 320
11.016 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.019 * * * * [points]: Setting MPFR precision to 64
11.021 * * * * [points]: Setting MPFR precision to 320
11.022 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.025 * * * * [points]: Setting MPFR precision to 64
11.028 * * * * [points]: Setting MPFR precision to 320
11.032 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.036 * * * * [points]: Setting MPFR precision to 64
11.044 * * * * [points]: Setting MPFR precision to 320
11.053 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.057 * * * * [points]: Setting MPFR precision to 64
11.074 * * * * [points]: Setting MPFR precision to 320
11.106 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.110 * * * * [points]: Setting MPFR precision to 64
11.145 * * * * [points]: Setting MPFR precision to 320
11.182 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.186 * * * * [points]: Setting MPFR precision to 64
11.260 * * * * [points]: Setting MPFR precision to 320
11.369 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.374 * * * * [points]: Setting MPFR precision to 64
11.504 * * * * [points]: Setting MPFR precision to 320
11.914 * * * * [points]: Computing exacts for 8000 points
11.917 * * * * [points]: Setting MPFR precision to 64
12.420 * * * * [points]: Setting MPFR precision to 320
12.930 * * * * [points]: Filtering points with unrepresentable outputs
12.936 * * * * [points]: Sampling 3921 additional inputs, on iter 1 have 4079 / 8000
12.941 * * * * [points]: Computing exacts on every 245 of 3921 points to ramp up precision
12.966 * * * * [points]: Setting MPFR precision to 64
12.967 * * * * [points]: Setting MPFR precision to 320
12.968 * * * * [points]: Computing exacts on every 122 of 3921 points to ramp up precision
12.971 * * * * [points]: Setting MPFR precision to 64
12.972 * * * * [points]: Setting MPFR precision to 320
12.975 * * * * [points]: Computing exacts on every 61 of 3921 points to ramp up precision
12.978 * * * * [points]: Setting MPFR precision to 64
12.981 * * * * [points]: Setting MPFR precision to 320
12.984 * * * * [points]: Computing exacts on every 30 of 3921 points to ramp up precision
12.987 * * * * [points]: Setting MPFR precision to 64
12.998 * * * * [points]: Setting MPFR precision to 320
13.008 * * * * [points]: Computing exacts on every 15 of 3921 points to ramp up precision
13.012 * * * * [points]: Setting MPFR precision to 64
13.023 * * * * [points]: Setting MPFR precision to 320
13.035 * * * * [points]: Computing exacts on every 7 of 3921 points to ramp up precision
13.038 * * * * [points]: Setting MPFR precision to 64
13.060 * * * * [points]: Setting MPFR precision to 320
13.103 * * * * [points]: Computing exacts on every 3 of 3921 points to ramp up precision
13.108 * * * * [points]: Setting MPFR precision to 64
13.153 * * * * [points]: Setting MPFR precision to 320
13.200 * * * * [points]: Computing exacts for 3921 points
13.203 * * * * [points]: Setting MPFR precision to 64
13.478 * * * * [points]: Setting MPFR precision to 320
13.793 * * * * [points]: Filtering points with unrepresentable outputs
13.796 * * * * [points]: Sampling 2008 additional inputs, on iter 2 have 5992 / 8000
13.799 * * * * [points]: Computing exacts on every 125 of 2008 points to ramp up precision
13.802 * * * * [points]: Setting MPFR precision to 64
13.803 * * * * [points]: Setting MPFR precision to 320
13.804 * * * * [points]: Computing exacts on every 62 of 2008 points to ramp up precision
13.807 * * * * [points]: Setting MPFR precision to 64
13.808 * * * * [points]: Setting MPFR precision to 320
13.810 * * * * [points]: Computing exacts on every 31 of 2008 points to ramp up precision
13.814 * * * * [points]: Setting MPFR precision to 64
13.817 * * * * [points]: Setting MPFR precision to 320
13.820 * * * * [points]: Computing exacts on every 15 of 2008 points to ramp up precision
13.822 * * * * [points]: Setting MPFR precision to 64
13.830 * * * * [points]: Setting MPFR precision to 320
13.836 * * * * [points]: Computing exacts on every 7 of 2008 points to ramp up precision
13.839 * * * * [points]: Setting MPFR precision to 64
13.851 * * * * [points]: Setting MPFR precision to 320
13.863 * * * * [points]: Computing exacts on every 3 of 2008 points to ramp up precision
13.865 * * * * [points]: Setting MPFR precision to 64
13.909 * * * * [points]: Setting MPFR precision to 320
13.933 * * * * [points]: Computing exacts for 2008 points
13.936 * * * * [points]: Setting MPFR precision to 64
14.059 * * * * [points]: Setting MPFR precision to 320
14.188 * * * * [points]: Filtering points with unrepresentable outputs
14.190 * * * * [points]: Sampling 1032 additional inputs, on iter 3 have 6968 / 8000
14.192 * * * * [points]: Computing exacts on every 64 of 1032 points to ramp up precision
14.199 * * * * [points]: Setting MPFR precision to 64
14.200 * * * * [points]: Setting MPFR precision to 320
14.201 * * * * [points]: Computing exacts on every 32 of 1032 points to ramp up precision
14.205 * * * * [points]: Setting MPFR precision to 64
14.207 * * * * [points]: Setting MPFR precision to 320
14.210 * * * * [points]: Computing exacts on every 16 of 1032 points to ramp up precision
14.213 * * * * [points]: Setting MPFR precision to 64
14.218 * * * * [points]: Setting MPFR precision to 320
14.222 * * * * [points]: Computing exacts on every 8 of 1032 points to ramp up precision
14.226 * * * * [points]: Setting MPFR precision to 64
14.234 * * * * [points]: Setting MPFR precision to 320
14.240 * * * * [points]: Computing exacts on every 4 of 1032 points to ramp up precision
14.242 * * * * [points]: Setting MPFR precision to 64
14.252 * * * * [points]: Setting MPFR precision to 320
14.263 * * * * [points]: Computing exacts on every 2 of 1032 points to ramp up precision
14.267 * * * * [points]: Setting MPFR precision to 64
14.291 * * * * [points]: Setting MPFR precision to 320
14.316 * * * * [points]: Computing exacts for 1032 points
14.344 * * * * [points]: Setting MPFR precision to 64
14.416 * * * * [points]: Setting MPFR precision to 320
14.487 * * * * [points]: Filtering points with unrepresentable outputs
14.488 * * * * [points]: Sampling 555 additional inputs, on iter 4 have 7445 / 8000
14.489 * * * * [points]: Computing exacts on every 34 of 555 points to ramp up precision
14.493 * * * * [points]: Setting MPFR precision to 64
14.494 * * * * [points]: Setting MPFR precision to 320
14.496 * * * * [points]: Computing exacts on every 17 of 555 points to ramp up precision
14.499 * * * * [points]: Setting MPFR precision to 64
14.811 * * * * [points]: Setting MPFR precision to 320
14.814 * * * * [points]: Computing exacts on every 8 of 555 points to ramp up precision
14.818 * * * * [points]: Setting MPFR precision to 64
14.825 * * * * [points]: Setting MPFR precision to 320
14.829 * * * * [points]: Computing exacts on every 4 of 555 points to ramp up precision
14.834 * * * * [points]: Setting MPFR precision to 64
14.842 * * * * [points]: Setting MPFR precision to 320
14.850 * * * * [points]: Computing exacts on every 2 of 555 points to ramp up precision
14.855 * * * * [points]: Setting MPFR precision to 64
14.869 * * * * [points]: Setting MPFR precision to 320
14.881 * * * * [points]: Computing exacts for 555 points
14.883 * * * * [points]: Setting MPFR precision to 64
14.917 * * * * [points]: Setting MPFR precision to 320
14.956 * * * * [points]: Filtering points with unrepresentable outputs
14.957 * * * * [points]: Sampling 265 additional inputs, on iter 5 have 7735 / 8000
14.957 * * * * [points]: Computing exacts on every 16 of 265 points to ramp up precision
14.988 * * * * [points]: Setting MPFR precision to 64
14.990 * * * * [points]: Setting MPFR precision to 320
14.991 * * * * [points]: Computing exacts on every 8 of 265 points to ramp up precision
14.995 * * * * [points]: Setting MPFR precision to 64
15.000 * * * * [points]: Setting MPFR precision to 320
15.002 * * * * [points]: Computing exacts on every 4 of 265 points to ramp up precision
15.006 * * * * [points]: Setting MPFR precision to 64
15.010 * * * * [points]: Setting MPFR precision to 320
15.014 * * * * [points]: Computing exacts on every 2 of 265 points to ramp up precision
15.018 * * * * [points]: Setting MPFR precision to 64
15.024 * * * * [points]: Setting MPFR precision to 320
15.030 * * * * [points]: Computing exacts for 265 points
15.034 * * * * [points]: Setting MPFR precision to 64
15.053 * * * * [points]: Setting MPFR precision to 320
15.073 * * * * [points]: Filtering points with unrepresentable outputs
15.073 * * * * [points]: Sampling 115 additional inputs, on iter 6 have 7885 / 8000
15.073 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
15.078 * * * * [points]: Setting MPFR precision to 64
15.079 * * * * [points]: Setting MPFR precision to 320
15.080 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
15.085 * * * * [points]: Setting MPFR precision to 64
15.087 * * * * [points]: Setting MPFR precision to 320
15.089 * * * * [points]: Computing exacts for 115 points
15.093 * * * * [points]: Setting MPFR precision to 64
15.100 * * * * [points]: Setting MPFR precision to 320
15.106 * * * * [points]: Filtering points with unrepresentable outputs
15.106 * * * * [points]: Sampling 50 additional inputs, on iter 7 have 7950 / 8000
15.106 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
15.109 * * * * [points]: Setting MPFR precision to 64
15.111 * * * * [points]: Setting MPFR precision to 320
15.111 * * * * [points]: Computing exacts for 50 points
15.114 * * * * [points]: Setting MPFR precision to 64
15.116 * * * * [points]: Setting MPFR precision to 320
15.135 * * * * [points]: Filtering points with unrepresentable outputs
15.135 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000
15.136 * * * * [points]: Computing exacts for 26 points
15.140 * * * * [points]: Setting MPFR precision to 64
15.141 * * * * [points]: Setting MPFR precision to 320
15.142 * * * * [points]: Filtering points with unrepresentable outputs
15.143 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000
15.143 * * * * [points]: Computing exacts for 12 points
15.145 * * * * [points]: Setting MPFR precision to 64
15.146 * * * * [points]: Setting MPFR precision to 320
15.146 * * * * [points]: Filtering points with unrepresentable outputs
15.147 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7997 / 8000
15.147 * * * * [points]: Computing exacts for 4 points
15.150 * * * * [points]: Setting MPFR precision to 64
15.150 * * * * [points]: Setting MPFR precision to 320
15.150 * * * * [points]: Filtering points with unrepresentable outputs
15.150 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
15.150 * * * * [points]: Computing exacts for 4 points
15.153 * * * * [points]: Setting MPFR precision to 64
15.153 * * * * [points]: Setting MPFR precision to 320
15.153 * * * * [points]: Filtering points with unrepresentable outputs
15.154 * * * * [points]: Sampled 8001 points with exact outputs
21.618 * [regime-testing]: Baseline error score: 64.0
21.622 * [regime-testing]: Oracle error score: 64.0
21.628 * [regime-testing]: End program error score: 0.407865419213598