0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.035 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts for 256 points
0.042 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.066 * * * * [points]: Filtering points with unrepresentable outputs
0.067 * * * * [points]: Sampling 118 additional inputs, on iter 1 have 138 / 256
0.067 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.069 * * * * [points]: Setting MPFR precision to 64
0.070 * * * * [points]: Setting MPFR precision to 320
0.071 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.075 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Computing exacts for 118 points
0.079 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Filtering points with unrepresentable outputs
0.091 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256
0.091 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
0.093 * * * * [points]: Setting MPFR precision to 64
0.094 * * * * [points]: Setting MPFR precision to 320
0.095 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
0.097 * * * * [points]: Setting MPFR precision to 64
0.098 * * * * [points]: Setting MPFR precision to 320
0.099 * * * * [points]: Computing exacts for 64 points
0.102 * * * * [points]: Setting MPFR precision to 64
0.105 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Filtering points with unrepresentable outputs
0.108 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.108 * * * * [points]: Computing exacts for 29 points
0.111 * * * * [points]: Setting MPFR precision to 64
0.112 * * * * [points]: Setting MPFR precision to 320
0.114 * * * * [points]: Filtering points with unrepresentable outputs
0.114 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.114 * * * * [points]: Computing exacts for 17 points
0.116 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Filtering points with unrepresentable outputs
0.134 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256
0.134 * * * * [points]: Computing exacts for 11 points
0.137 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Filtering points with unrepresentable outputs
0.138 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.138 * * * * [points]: Computing exacts for 6 points
0.140 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Filtering points with unrepresentable outputs
0.141 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.141 * * * * [points]: Computing exacts for 4 points
0.145 * * * * [points]: Setting MPFR precision to 64
0.146 * * * * [points]: Setting MPFR precision to 320
0.146 * * * * [points]: Filtering points with unrepresentable outputs
0.146 * * * * [points]: Sampled 257 points with exact outputs
0.146 * * * [progress]: [2/2] Setting up program.
0.161 * [progress]: [Phase 2 of 3] Improving.
0.161 * * * * [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.162 * [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.162 * * [simplify]: iters left: 5 (12 enodes)
0.168 * * [simplify]: iters left: 4 (43 enodes)
0.188 * * [simplify]: iters left: 3 (170 enodes)
0.271 * * [simplify]: Extracting #0: cost 1 inf + 0
0.271 * * [simplify]: Extracting #1: cost 78 inf + 0
0.272 * * [simplify]: Extracting #2: cost 269 inf + 322
0.274 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.279 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.292 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.310 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.328 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.350 * [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.350 * [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.392 * * [progress]: iteration 1 / 4
0.392 * * * [progress]: picking best candidate
0.431 * * * * [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.432 * * * [progress]: localizing error
0.677 * * * [progress]: generating rewritten candidates
0.677 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.696 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.708 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.723 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
0.727 * * * [progress]: generating series expansions
0.727 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.727 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.727 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.727 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
0.728 * * * [progress]: simplifying candidates
0.728 * * * * [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.728 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.728 * * [simplify]: iters left: 4 (8 enodes)
0.732 * * [simplify]: iters left: 3 (27 enodes)
0.741 * * [simplify]: iters left: 2 (61 enodes)
0.762 * * [simplify]: iters left: 1 (182 enodes)
0.865 * * [simplify]: Extracting #0: cost 1 inf + 0
0.865 * * [simplify]: Extracting #1: cost 37 inf + 0
0.866 * * [simplify]: Extracting #2: cost 175 inf + 0
0.868 * * [simplify]: Extracting #3: cost 221 inf + 323
0.871 * * [simplify]: Extracting #4: cost 221 inf + 30993
0.892 * * [simplify]: Extracting #5: cost 76 inf + 221248
0.919 * * [simplify]: Extracting #6: cost 0 inf + 318421
0.945 * * [simplify]: Extracting #7: cost 0 inf + 316421
0.975 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.975 * [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.975 * * * * [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.975 * * * * [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.976 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.976 * * [simplify]: iters left: 4 (8 enodes)
0.980 * * [simplify]: iters left: 3 (18 enodes)
0.985 * * [simplify]: iters left: 2 (25 enodes)
0.991 * * [simplify]: iters left: 1 (29 enodes)
0.996 * * [simplify]: Extracting #0: cost 1 inf + 0
0.996 * * [simplify]: Extracting #1: cost 3 inf + 0
0.996 * * [simplify]: Extracting #2: cost 11 inf + 0
0.996 * * [simplify]: Extracting #3: cost 9 inf + 3
0.996 * * [simplify]: Extracting #4: cost 0 inf + 3578
0.996 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.996 * [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.997 * * * * [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.997 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
0.997 * * [simplify]: iters left: 4 (6 enodes)
0.998 * * [simplify]: iters left: 3 (16 enodes)
1.001 * * [simplify]: iters left: 2 (27 enodes)
1.008 * * [simplify]: iters left: 1 (33 enodes)
1.016 * * [simplify]: Extracting #0: cost 1 inf + 0
1.017 * * [simplify]: Extracting #1: cost 5 inf + 0
1.017 * * [simplify]: Extracting #2: cost 11 inf + 1
1.017 * * [simplify]: Extracting #3: cost 11 inf + 763
1.017 * * [simplify]: Extracting #4: cost 9 inf + 765
1.017 * * [simplify]: Extracting #5: cost 2 inf + 3698
1.018 * * [simplify]: Extracting #6: cost 0 inf + 4861
1.018 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.018 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.018 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1.019 * * [simplify]: iters left: 5 (9 enodes)
1.025 * * [simplify]: iters left: 4 (28 enodes)
1.031 * * [simplify]: iters left: 3 (66 enodes)
1.046 * * [simplify]: iters left: 2 (206 enodes)
1.154 * * [simplify]: Extracting #0: cost 1 inf + 0
1.154 * * [simplify]: Extracting #1: cost 39 inf + 0
1.155 * * [simplify]: Extracting #2: cost 172 inf + 1
1.156 * * [simplify]: Extracting #3: cost 247 inf + 322
1.158 * * [simplify]: Extracting #4: cost 253 inf + 16849
1.173 * * [simplify]: Extracting #5: cost 114 inf + 204899
1.204 * * [simplify]: Extracting #6: cost 7 inf + 360159
1.236 * * [simplify]: Extracting #7: cost 0 inf + 374380
1.269 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
1.269 * [simplify]: Simplified (2 1 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.269 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) i) i))>
1.269 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (*.p16 (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 i i))))>
1.270 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))))
1.270 * * [simplify]: iters left: 6 (13 enodes)
1.275 * * [simplify]: iters left: 5 (46 enodes)
1.291 * * [simplify]: iters left: 4 (170 enodes)
1.382 * * [simplify]: Extracting #0: cost 1 inf + 0
1.382 * * [simplify]: Extracting #1: cost 88 inf + 0
1.382 * * [simplify]: Extracting #2: cost 216 inf + 1524
1.385 * * [simplify]: Extracting #3: cost 193 inf + 60340
1.401 * * [simplify]: Extracting #4: cost 64 inf + 265197
1.426 * * [simplify]: Extracting #5: cost 12 inf + 357709
1.453 * * [simplify]: Extracting #6: cost 0 inf + 383025
1.472 * * [simplify]: Extracting #7: cost 0 inf + 382865
1.491 * [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.492 * [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.492 * * * * [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.492 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.492 * * [simplify]: iters left: 4 (6 enodes)
1.494 * * [simplify]: iters left: 3 (16 enodes)
1.497 * * [simplify]: iters left: 2 (27 enodes)
1.501 * * [simplify]: iters left: 1 (33 enodes)
1.507 * * [simplify]: Extracting #0: cost 1 inf + 0
1.507 * * [simplify]: Extracting #1: cost 5 inf + 0
1.507 * * [simplify]: Extracting #2: cost 11 inf + 1
1.507 * * [simplify]: Extracting #3: cost 11 inf + 763
1.507 * * [simplify]: Extracting #4: cost 9 inf + 765
1.507 * * [simplify]: Extracting #5: cost 2 inf + 3698
1.507 * * [simplify]: Extracting #6: cost 0 inf + 4861
1.508 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.508 * [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.508 * * * * [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.508 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1.508 * * [simplify]: iters left: 2 (3 enodes)
1.509 * * [simplify]: iters left: 1 (9 enodes)
1.510 * * [simplify]: Extracting #0: cost 1 inf + 0
1.510 * * [simplify]: Extracting #1: cost 4 inf + 0
1.510 * * [simplify]: Extracting #2: cost 3 inf + 1
1.510 * * [simplify]: Extracting #3: cost 0 inf + 1604
1.510 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1.510 * [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.510 * * * * [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.511 * * * * [progress]: [ 10 / 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.511 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))
1.511 * * [simplify]: iters left: 4 (9 enodes)
1.513 * * [simplify]: iters left: 3 (21 enodes)
1.517 * * [simplify]: iters left: 2 (45 enodes)
1.527 * * [simplify]: iters left: 1 (74 enodes)
1.540 * * [simplify]: Extracting #0: cost 1 inf + 0
1.540 * * [simplify]: Extracting #1: cost 24 inf + 0
1.540 * * [simplify]: Extracting #2: cost 30 inf + 1
1.540 * * [simplify]: Extracting #3: cost 29 inf + 323
1.540 * * [simplify]: Extracting #4: cost 22 inf + 2894
1.541 * * [simplify]: Extracting #5: cost 15 inf + 7229
1.542 * * [simplify]: Extracting #6: cost 2 inf + 16939
1.543 * * [simplify]: Extracting #7: cost 0 inf + 18383
1.544 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.544 * [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.544 * * * * [progress]: [ 11 / 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.544 * [simplify]: Simplifying (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
1.544 * * [simplify]: iters left: 4 (9 enodes)
1.547 * * [simplify]: iters left: 3 (21 enodes)
1.551 * * [simplify]: iters left: 2 (45 enodes)
1.559 * * [simplify]: iters left: 1 (72 enodes)
1.571 * * [simplify]: Extracting #0: cost 1 inf + 0
1.571 * * [simplify]: Extracting #1: cost 21 inf + 0
1.572 * * [simplify]: Extracting #2: cost 24 inf + 1
1.572 * * [simplify]: Extracting #3: cost 22 inf + 324
1.572 * * [simplify]: Extracting #4: cost 15 inf + 2895
1.573 * * [simplify]: Extracting #5: cost 1 inf + 12686
1.573 * * [simplify]: Extracting #6: cost 0 inf + 13408
1.574 * [simplify]: Simplified to (*.p16 (neg.p16 (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))
1.574 * [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.575 * * * * [progress]: [ 12 / 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.575 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.575 * * [simplify]: iters left: 3 (7 enodes)
1.577 * * [simplify]: iters left: 2 (19 enodes)
1.581 * * [simplify]: iters left: 1 (37 enodes)
1.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1.588 * * [simplify]: Extracting #1: cost 10 inf + 0
1.588 * * [simplify]: Extracting #2: cost 21 inf + 0
1.588 * * [simplify]: Extracting #3: cost 27 inf + 165
1.588 * * [simplify]: Extracting #4: cost 28 inf + 166
1.589 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.589 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.590 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.591 * [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.591 * * * * [progress]: [ 13 / 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.591 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
1.591 * * [simplify]: iters left: 2 (4 enodes)
1.592 * * [simplify]: iters left: 1 (8 enodes)
1.593 * * [simplify]: Extracting #0: cost 1 inf + 0
1.593 * * [simplify]: Extracting #1: cost 3 inf + 0
1.593 * * [simplify]: Extracting #2: cost 3 inf + 1
1.593 * * [simplify]: Extracting #3: cost 0 inf + 325
1.593 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1.594 * [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.594 * * * * [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 (*.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.594 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.594 * * [simplify]: iters left: 4 (8 enodes)
1.597 * * [simplify]: iters left: 3 (18 enodes)
1.601 * * [simplify]: iters left: 2 (25 enodes)
1.605 * * [simplify]: iters left: 1 (29 enodes)
1.609 * * [simplify]: Extracting #0: cost 1 inf + 0
1.610 * * [simplify]: Extracting #1: cost 3 inf + 0
1.610 * * [simplify]: Extracting #2: cost 11 inf + 0
1.610 * * [simplify]: Extracting #3: cost 9 inf + 3
1.610 * * [simplify]: Extracting #4: cost 0 inf + 3578
1.610 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1.610 * [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.611 * * * * [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))) (real->posit16 1.0)) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))) (*.p16 i i)))>
1.611 * * * * [progress]: [ 16 / 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.611 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.611 * * [simplify]: iters left: 3 (7 enodes)
1.613 * * [simplify]: iters left: 2 (13 enodes)
1.616 * * [simplify]: Extracting #0: cost 1 inf + 0
1.616 * * [simplify]: Extracting #1: cost 3 inf + 0
1.616 * * [simplify]: Extracting #2: cost 6 inf + 0
1.616 * * [simplify]: Extracting #3: cost 4 inf + 3
1.616 * * [simplify]: Extracting #4: cost 0 inf + 690
1.616 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.616 * [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.616 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.617 * * [simplify]: iters left: 3 (7 enodes)
1.619 * * [simplify]: iters left: 2 (19 enodes)
1.623 * * [simplify]: iters left: 1 (37 enodes)
1.630 * * [simplify]: Extracting #0: cost 1 inf + 0
1.630 * * [simplify]: Extracting #1: cost 10 inf + 0
1.630 * * [simplify]: Extracting #2: cost 21 inf + 0
1.630 * * [simplify]: Extracting #3: cost 27 inf + 165
1.630 * * [simplify]: Extracting #4: cost 28 inf + 166
1.630 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.631 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.632 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.632 * [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.632 * * * * [progress]: [ 17 / 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.632 * * * * [progress]: [ 18 / 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.632 * * * * [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.633 * [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.633 * * [simplify]: iters left: 6 (12 enodes)
1.636 * * [simplify]: iters left: 5 (46 enodes)
1.648 * * [simplify]: iters left: 4 (191 enodes)
1.729 * * [simplify]: Extracting #0: cost 1 inf + 0
1.729 * * [simplify]: Extracting #1: cost 94 inf + 0
1.730 * * [simplify]: Extracting #2: cost 340 inf + 1404
1.737 * * [simplify]: Extracting #3: cost 320 inf + 83239
1.748 * * [simplify]: Extracting #4: cost 119 inf + 431218
1.770 * * [simplify]: Extracting #5: cost 4 inf + 595019
1.792 * * [simplify]: Extracting #6: cost 0 inf + 539239
1.815 * * [simplify]: Extracting #7: cost 0 inf + 536243
1.838 * [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.838 * [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.838 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))>
1.838 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1.838 * * [simplify]: iters left: 6 (12 enodes)
1.842 * * [simplify]: iters left: 5 (46 enodes)
1.853 * * [simplify]: iters left: 4 (191 enodes)
1.933 * * [simplify]: Extracting #0: cost 1 inf + 0
1.933 * * [simplify]: Extracting #1: cost 94 inf + 0
1.934 * * [simplify]: Extracting #2: cost 340 inf + 1404
1.937 * * [simplify]: Extracting #3: cost 320 inf + 83239
1.956 * * [simplify]: Extracting #4: cost 119 inf + 431218
1.988 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.019 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.042 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.065 * [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.065 * [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.065 * * * * [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.065 * [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.065 * * [simplify]: iters left: 6 (12 enodes)
2.069 * * [simplify]: iters left: 5 (46 enodes)
2.083 * * [simplify]: iters left: 4 (191 enodes)
2.179 * * [simplify]: Extracting #0: cost 1 inf + 0
2.179 * * [simplify]: Extracting #1: cost 94 inf + 0
2.180 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.184 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.202 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.237 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.261 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.294 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.326 * [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.326 * [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.326 * * * * [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.326 * [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.327 * * [simplify]: iters left: 6 (12 enodes)
2.332 * * [simplify]: iters left: 5 (46 enodes)
2.351 * * [simplify]: iters left: 4 (191 enodes)
2.478 * * [simplify]: Extracting #0: cost 1 inf + 0
2.478 * * [simplify]: Extracting #1: cost 94 inf + 0
2.480 * * [simplify]: Extracting #2: cost 340 inf + 1404
2.484 * * [simplify]: Extracting #3: cost 320 inf + 83239
2.502 * * [simplify]: Extracting #4: cost 119 inf + 431218
2.537 * * [simplify]: Extracting #5: cost 4 inf + 595019
2.565 * * [simplify]: Extracting #6: cost 0 inf + 539239
2.589 * * [simplify]: Extracting #7: cost 0 inf + 536243
2.612 * [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.612 * [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.612 * * * [progress]: adding candidates to table
3.225 * * [progress]: iteration 2 / 4
3.225 * * * [progress]: picking best candidate
3.426 * * * * [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.426 * * * [progress]: localizing error
3.590 * * * [progress]: generating rewritten candidates
3.591 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.596 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.600 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.601 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.610 * * * [progress]: generating series expansions
3.610 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.610 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.610 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.610 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.610 * * * [progress]: simplifying candidates
3.610 * * * * [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.610 * * * * [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.610 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
3.610 * * [simplify]: iters left: 4 (6 enodes)
3.613 * * [simplify]: iters left: 3 (16 enodes)
3.615 * * [simplify]: iters left: 2 (27 enodes)
3.620 * * [simplify]: iters left: 1 (33 enodes)
3.626 * * [simplify]: Extracting #0: cost 1 inf + 0
3.626 * * [simplify]: Extracting #1: cost 5 inf + 0
3.626 * * [simplify]: Extracting #2: cost 11 inf + 1
3.626 * * [simplify]: Extracting #3: cost 11 inf + 763
3.627 * * [simplify]: Extracting #4: cost 9 inf + 765
3.627 * * [simplify]: Extracting #5: cost 2 inf + 3698
3.627 * * [simplify]: Extracting #6: cost 0 inf + 4861
3.627 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
3.627 * [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.628 * * * * [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.628 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) i) (*.p16 i i))
3.628 * * [simplify]: iters left: 6 (9 enodes)
3.631 * * [simplify]: iters left: 5 (26 enodes)
3.639 * * [simplify]: iters left: 4 (67 enodes)
3.663 * * [simplify]: iters left: 3 (217 enodes)
3.877 * * [simplify]: Extracting #0: cost 1 inf + 0
3.877 * * [simplify]: Extracting #1: cost 45 inf + 0
3.878 * * [simplify]: Extracting #2: cost 74 inf + 763
3.879 * * [simplify]: Extracting #3: cost 62 inf + 7895
3.881 * * [simplify]: Extracting #4: cost 22 inf + 41744
3.887 * * [simplify]: Extracting #5: cost 1 inf + 66110
3.890 * * [simplify]: Extracting #6: cost 0 inf + 67193
3.894 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
3.894 * [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.894 * * * * [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.894 * [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.895 * * [simplify]: iters left: 6 (12 enodes)
3.900 * * [simplify]: iters left: 5 (38 enodes)
3.911 * * [simplify]: iters left: 4 (95 enodes)
3.932 * * [simplify]: iters left: 3 (325 enodes)
4.115 * * [simplify]: Extracting #0: cost 1 inf + 0
4.115 * * [simplify]: Extracting #1: cost 83 inf + 0
4.116 * * [simplify]: Extracting #2: cost 354 inf + 1
4.119 * * [simplify]: Extracting #3: cost 453 inf + 322
4.122 * * [simplify]: Extracting #4: cost 472 inf + 4417
4.132 * * [simplify]: Extracting #5: cost 345 inf + 175126
4.172 * * [simplify]: Extracting #6: cost 57 inf + 661423
4.229 * * [simplify]: Extracting #7: cost 1 inf + 765790
4.294 * * [simplify]: Extracting #8: cost 0 inf + 767393
4.354 * * [simplify]: Extracting #9: cost 0 inf + 767353
4.415 * [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.415 * [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.415 * * * * [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.415 * * * * [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.416 * [simplify]: Simplifying (*.p16 i (real->posit16 2))
4.416 * * [simplify]: iters left: 2 (4 enodes)
4.418 * * [simplify]: iters left: 1 (8 enodes)
4.421 * * [simplify]: Extracting #0: cost 1 inf + 0
4.421 * * [simplify]: Extracting #1: cost 3 inf + 0
4.421 * * [simplify]: Extracting #2: cost 3 inf + 1
4.421 * * [simplify]: Extracting #3: cost 0 inf + 325
4.421 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
4.421 * [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.422 * * * * [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.422 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
4.422 * * [simplify]: iters left: 3 (7 enodes)
4.425 * * [simplify]: iters left: 2 (19 enodes)
4.431 * * [simplify]: iters left: 1 (37 enodes)
4.441 * * [simplify]: Extracting #0: cost 1 inf + 0
4.441 * * [simplify]: Extracting #1: cost 10 inf + 0
4.441 * * [simplify]: Extracting #2: cost 21 inf + 0
4.441 * * [simplify]: Extracting #3: cost 27 inf + 165
4.441 * * [simplify]: Extracting #4: cost 28 inf + 166
4.442 * * [simplify]: Extracting #5: cost 18 inf + 4946
4.443 * * [simplify]: Extracting #6: cost 0 inf + 22111
4.444 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
4.444 * [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.444 * * * * [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.444 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.445 * * [simplify]: iters left: 4 (8 enodes)
4.447 * * [simplify]: iters left: 3 (18 enodes)
4.451 * * [simplify]: iters left: 2 (25 enodes)
4.457 * * [simplify]: iters left: 1 (29 enodes)
4.462 * * [simplify]: Extracting #0: cost 1 inf + 0
4.463 * * [simplify]: Extracting #1: cost 3 inf + 0
4.463 * * [simplify]: Extracting #2: cost 11 inf + 0
4.463 * * [simplify]: Extracting #3: cost 9 inf + 3
4.463 * * [simplify]: Extracting #4: cost 0 inf + 3578
4.463 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.463 * [simplify]: Simplified (2 1 2 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (/.p16 i (-.p16 (*.p16 (*.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.463 * * * * [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.463 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.463 * * [simplify]: iters left: 4 (8 enodes)
4.466 * * [simplify]: iters left: 3 (18 enodes)
4.469 * * [simplify]: iters left: 2 (25 enodes)
4.473 * * [simplify]: iters left: 1 (29 enodes)
4.477 * * [simplify]: Extracting #0: cost 1 inf + 0
4.477 * * [simplify]: Extracting #1: cost 3 inf + 0
4.477 * * [simplify]: Extracting #2: cost 11 inf + 0
4.477 * * [simplify]: Extracting #3: cost 9 inf + 3
4.477 * * [simplify]: Extracting #4: cost 0 inf + 3578
4.478 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.478 * [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.478 * * * * [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.478 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.478 * * [simplify]: iters left: 4 (8 enodes)
4.480 * * [simplify]: iters left: 3 (27 enodes)
4.486 * * [simplify]: iters left: 2 (61 enodes)
4.500 * * [simplify]: iters left: 1 (182 enodes)
4.602 * * [simplify]: Extracting #0: cost 1 inf + 0
4.602 * * [simplify]: Extracting #1: cost 37 inf + 0
4.602 * * [simplify]: Extracting #2: cost 175 inf + 0
4.603 * * [simplify]: Extracting #3: cost 221 inf + 323
4.605 * * [simplify]: Extracting #4: cost 221 inf + 30993
4.617 * * [simplify]: Extracting #5: cost 76 inf + 221248
4.642 * * [simplify]: Extracting #6: cost 0 inf + 318421
4.668 * * [simplify]: Extracting #7: cost 0 inf + 316421
4.688 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.688 * [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.689 * * * * [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.689 * [simplify]: Simplifying (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.689 * * [simplify]: iters left: 6 (10 enodes)
4.692 * * [simplify]: iters left: 5 (32 enodes)
4.699 * * [simplify]: iters left: 4 (77 enodes)
4.718 * * [simplify]: iters left: 3 (261 enodes)
4.847 * * [simplify]: Extracting #0: cost 1 inf + 0
4.847 * * [simplify]: Extracting #1: cost 62 inf + 0
4.848 * * [simplify]: Extracting #2: cost 262 inf + 322
4.849 * * [simplify]: Extracting #3: cost 352 inf + 322
4.852 * * [simplify]: Extracting #4: cost 358 inf + 17807
4.864 * * [simplify]: Extracting #5: cost 171 inf + 273596
4.893 * * [simplify]: Extracting #6: cost 2 inf + 561486
4.929 * * [simplify]: Extracting #7: cost 0 inf + 564492
4.961 * [simplify]: Simplified to (*.p16 i (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.961 * [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.961 * * * * [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.961 * * * * [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.961 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
4.961 * * [simplify]: iters left: 4 (6 enodes)
4.963 * * [simplify]: iters left: 3 (16 enodes)
4.966 * * [simplify]: iters left: 2 (27 enodes)
4.970 * * [simplify]: iters left: 1 (33 enodes)
4.975 * * [simplify]: Extracting #0: cost 1 inf + 0
4.975 * * [simplify]: Extracting #1: cost 5 inf + 0
4.975 * * [simplify]: Extracting #2: cost 11 inf + 1
4.976 * * [simplify]: Extracting #3: cost 11 inf + 763
4.976 * * [simplify]: Extracting #4: cost 9 inf + 765
4.976 * * [simplify]: Extracting #5: cost 2 inf + 3698
4.976 * * [simplify]: Extracting #6: cost 0 inf + 4861
4.976 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
4.976 * [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.976 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
4.977 * * [simplify]: iters left: 5 (9 enodes)
4.980 * * [simplify]: iters left: 4 (28 enodes)
4.986 * * [simplify]: iters left: 3 (66 enodes)
5.002 * * [simplify]: iters left: 2 (206 enodes)
5.085 * * [simplify]: Extracting #0: cost 1 inf + 0
5.085 * * [simplify]: Extracting #1: cost 39 inf + 0
5.085 * * [simplify]: Extracting #2: cost 172 inf + 1
5.086 * * [simplify]: Extracting #3: cost 247 inf + 322
5.088 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.101 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.128 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.163 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.184 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.185 * [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.185 * * * * [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.185 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.185 * * [simplify]: iters left: 4 (6 enodes)
5.187 * * [simplify]: iters left: 3 (16 enodes)
5.190 * * [simplify]: iters left: 2 (27 enodes)
5.194 * * [simplify]: iters left: 1 (33 enodes)
5.199 * * [simplify]: Extracting #0: cost 1 inf + 0
5.199 * * [simplify]: Extracting #1: cost 5 inf + 0
5.199 * * [simplify]: Extracting #2: cost 11 inf + 1
5.199 * * [simplify]: Extracting #3: cost 11 inf + 763
5.199 * * [simplify]: Extracting #4: cost 9 inf + 765
5.199 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.199 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.200 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.200 * [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.200 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.200 * * [simplify]: iters left: 5 (9 enodes)
5.202 * * [simplify]: iters left: 4 (28 enodes)
5.208 * * [simplify]: iters left: 3 (66 enodes)
5.223 * * [simplify]: iters left: 2 (206 enodes)
5.309 * * [simplify]: Extracting #0: cost 1 inf + 0
5.309 * * [simplify]: Extracting #1: cost 39 inf + 0
5.310 * * [simplify]: Extracting #2: cost 172 inf + 1
5.310 * * [simplify]: Extracting #3: cost 247 inf + 322
5.312 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.322 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.342 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.363 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.394 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.394 * [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.394 * * * * [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.394 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.394 * * [simplify]: iters left: 4 (6 enodes)
5.397 * * [simplify]: iters left: 3 (16 enodes)
5.401 * * [simplify]: iters left: 2 (27 enodes)
5.408 * * [simplify]: iters left: 1 (33 enodes)
5.416 * * [simplify]: Extracting #0: cost 1 inf + 0
5.416 * * [simplify]: Extracting #1: cost 5 inf + 0
5.416 * * [simplify]: Extracting #2: cost 11 inf + 1
5.416 * * [simplify]: Extracting #3: cost 11 inf + 763
5.416 * * [simplify]: Extracting #4: cost 9 inf + 765
5.416 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.417 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.417 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.417 * [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.417 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.418 * * [simplify]: iters left: 5 (9 enodes)
5.421 * * [simplify]: iters left: 4 (28 enodes)
5.430 * * [simplify]: iters left: 3 (66 enodes)
5.451 * * [simplify]: iters left: 2 (206 enodes)
5.571 * * [simplify]: Extracting #0: cost 1 inf + 0
5.572 * * [simplify]: Extracting #1: cost 39 inf + 0
5.572 * * [simplify]: Extracting #2: cost 172 inf + 1
5.573 * * [simplify]: Extracting #3: cost 247 inf + 322
5.579 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.594 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.620 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.641 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.669 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.669 * [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.669 * * * * [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.670 * [simplify]: Simplifying (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.670 * * [simplify]: iters left: 4 (6 enodes)
5.672 * * [simplify]: iters left: 3 (16 enodes)
5.677 * * [simplify]: iters left: 2 (27 enodes)
5.681 * * [simplify]: iters left: 1 (33 enodes)
5.686 * * [simplify]: Extracting #0: cost 1 inf + 0
5.686 * * [simplify]: Extracting #1: cost 5 inf + 0
5.686 * * [simplify]: Extracting #2: cost 11 inf + 1
5.687 * * [simplify]: Extracting #3: cost 11 inf + 763
5.687 * * [simplify]: Extracting #4: cost 9 inf + 765
5.687 * * [simplify]: Extracting #5: cost 2 inf + 3698
5.687 * * [simplify]: Extracting #6: cost 0 inf + 4861
5.687 * [simplify]: Simplified to (/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))))
5.687 * [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.687 * [simplify]: Simplifying (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.687 * * [simplify]: iters left: 5 (9 enodes)
5.692 * * [simplify]: iters left: 4 (28 enodes)
5.701 * * [simplify]: iters left: 3 (66 enodes)
5.723 * * [simplify]: iters left: 2 (206 enodes)
5.842 * * [simplify]: Extracting #0: cost 1 inf + 0
5.842 * * [simplify]: Extracting #1: cost 39 inf + 0
5.843 * * [simplify]: Extracting #2: cost 172 inf + 1
5.844 * * [simplify]: Extracting #3: cost 247 inf + 322
5.846 * * [simplify]: Extracting #4: cost 253 inf + 16849
5.861 * * [simplify]: Extracting #5: cost 114 inf + 204899
5.884 * * [simplify]: Extracting #6: cost 7 inf + 360159
5.907 * * [simplify]: Extracting #7: cost 0 inf + 374380
5.932 * [simplify]: Simplified to (/.p16 i (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
5.932 * [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.932 * * * [progress]: adding candidates to table
6.427 * * [progress]: iteration 3 / 4
6.427 * * * [progress]: picking best candidate
6.587 * * * * [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.587 * * * [progress]: localizing error
6.805 * * * [progress]: generating rewritten candidates
6.805 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.815 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
6.823 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.828 * * * [progress]: generating series expansions
6.828 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.828 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
6.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.828 * * * [progress]: simplifying candidates
6.828 * * * * [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.828 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.828 * * [simplify]: iters left: 3 (7 enodes)
6.832 * * [simplify]: iters left: 2 (19 enodes)
6.837 * * [simplify]: iters left: 1 (37 enodes)
6.844 * * [simplify]: Extracting #0: cost 1 inf + 0
6.844 * * [simplify]: Extracting #1: cost 10 inf + 0
6.844 * * [simplify]: Extracting #2: cost 21 inf + 0
6.844 * * [simplify]: Extracting #3: cost 27 inf + 165
6.844 * * [simplify]: Extracting #4: cost 28 inf + 166
6.845 * * [simplify]: Extracting #5: cost 18 inf + 4946
6.845 * * [simplify]: Extracting #6: cost 0 inf + 22111
6.853 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
6.853 * [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.853 * * * * [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.853 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
6.854 * * [simplify]: iters left: 2 (4 enodes)
6.855 * * [simplify]: iters left: 1 (7 enodes)
6.857 * * [simplify]: Extracting #0: cost 1 inf + 0
6.857 * * [simplify]: Extracting #1: cost 3 inf + 0
6.858 * * [simplify]: Extracting #2: cost 3 inf + 1
6.858 * * [simplify]: Extracting #3: cost 0 inf + 445
6.858 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
6.858 * [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.858 * * * * [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.858 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
6.858 * * [simplify]: iters left: 4 (8 enodes)
6.862 * * [simplify]: iters left: 3 (18 enodes)
6.867 * * [simplify]: iters left: 2 (25 enodes)
6.874 * * [simplify]: iters left: 1 (29 enodes)
6.881 * * [simplify]: Extracting #0: cost 1 inf + 0
6.881 * * [simplify]: Extracting #1: cost 3 inf + 0
6.881 * * [simplify]: Extracting #2: cost 11 inf + 0
6.881 * * [simplify]: Extracting #3: cost 9 inf + 3
6.882 * * [simplify]: Extracting #4: cost 0 inf + 3578
6.882 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
6.882 * [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.882 * * * * [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.882 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
6.882 * * [simplify]: iters left: 3 (5 enodes)
6.884 * * [simplify]: iters left: 2 (11 enodes)
6.887 * * [simplify]: iters left: 1 (13 enodes)
6.891 * * [simplify]: Extracting #0: cost 1 inf + 0
6.891 * * [simplify]: Extracting #1: cost 6 inf + 0
6.891 * * [simplify]: Extracting #2: cost 6 inf + 1
6.891 * * [simplify]: Extracting #3: cost 0 inf + 1970
6.891 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
6.891 * [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.891 * * * * [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.891 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
6.892 * * [simplify]: iters left: 3 (5 enodes)
6.894 * * [simplify]: iters left: 2 (11 enodes)
6.896 * * [simplify]: iters left: 1 (13 enodes)
6.900 * * [simplify]: Extracting #0: cost 1 inf + 0
6.900 * * [simplify]: Extracting #1: cost 6 inf + 0
6.900 * * [simplify]: Extracting #2: cost 6 inf + 1
6.900 * * [simplify]: Extracting #3: cost 0 inf + 1970
6.900 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
6.900 * [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.900 * * * * [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.901 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
6.901 * * [simplify]: iters left: 4 (9 enodes)
6.904 * * [simplify]: iters left: 3 (17 enodes)
6.910 * * [simplify]: iters left: 2 (20 enodes)
6.916 * * [simplify]: iters left: 1 (28 enodes)
6.921 * * [simplify]: Extracting #0: cost 1 inf + 0
6.921 * * [simplify]: Extracting #1: cost 7 inf + 0
6.921 * * [simplify]: Extracting #2: cost 10 inf + 1
6.921 * * [simplify]: Extracting #3: cost 11 inf + 2
6.921 * * [simplify]: Extracting #4: cost 7 inf + 767
6.922 * * [simplify]: Extracting #5: cost 2 inf + 2777
6.922 * * [simplify]: Extracting #6: cost 0 inf + 4702
6.922 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
6.922 * [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.922 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
6.922 * * [simplify]: iters left: 4 (9 enodes)
6.925 * * [simplify]: iters left: 3 (23 enodes)
6.930 * * [simplify]: iters left: 2 (48 enodes)
6.939 * * [simplify]: iters left: 1 (130 enodes)
6.989 * * [simplify]: Extracting #0: cost 1 inf + 0
6.989 * * [simplify]: Extracting #1: cost 33 inf + 0
6.990 * * [simplify]: Extracting #2: cost 121 inf + 1
6.991 * * [simplify]: Extracting #3: cost 150 inf + 767
6.992 * * [simplify]: Extracting #4: cost 147 inf + 6462
6.997 * * [simplify]: Extracting #5: cost 102 inf + 59322
7.005 * * [simplify]: Extracting #6: cost 7 inf + 167589
7.020 * * [simplify]: Extracting #7: cost 0 inf + 181450
7.036 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
7.036 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))
7.036 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
7.036 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.036 * * [simplify]: iters left: 3 (7 enodes)
7.040 * * [simplify]: iters left: 2 (13 enodes)
7.043 * * [simplify]: Extracting #0: cost 1 inf + 0
7.043 * * [simplify]: Extracting #1: cost 3 inf + 0
7.043 * * [simplify]: Extracting #2: cost 6 inf + 0
7.043 * * [simplify]: Extracting #3: cost 4 inf + 3
7.044 * * [simplify]: Extracting #4: cost 0 inf + 690
7.044 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.044 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
7.044 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.044 * * [simplify]: iters left: 3 (7 enodes)
7.047 * * [simplify]: iters left: 2 (19 enodes)
7.051 * * [simplify]: iters left: 1 (37 enodes)
7.060 * * [simplify]: Extracting #0: cost 1 inf + 0
7.060 * * [simplify]: Extracting #1: cost 10 inf + 0
7.060 * * [simplify]: Extracting #2: cost 21 inf + 0
7.060 * * [simplify]: Extracting #3: cost 27 inf + 165
7.061 * * [simplify]: Extracting #4: cost 28 inf + 166
7.061 * * [simplify]: Extracting #5: cost 18 inf + 4946
7.062 * * [simplify]: Extracting #6: cost 0 inf + 22111
7.063 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
7.063 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
7.063 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0)))))>
7.063 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
7.063 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))>
7.063 * [simplify]: Simplifying (real->posit16 2)
7.063 * * [simplify]: iters left: 1 (2 enodes)
7.064 * * [simplify]: Extracting #0: cost 1 inf + 0
7.064 * * [simplify]: Extracting #1: cost 2 inf + 0
7.064 * * [simplify]: Extracting #2: cost 1 inf + 1
7.064 * * [simplify]: Extracting #3: cost 0 inf + 2
7.064 * [simplify]: Simplified to (real->posit16 2)
7.064 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0))))
7.064 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))>
7.064 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
7.064 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
7.064 * [simplify]: Simplifying (real->posit16 2)
7.064 * * [simplify]: iters left: 1 (2 enodes)
7.065 * * [simplify]: Extracting #0: cost 1 inf + 0
7.065 * * [simplify]: Extracting #1: cost 2 inf + 0
7.065 * * [simplify]: Extracting #2: cost 1 inf + 1
7.065 * * [simplify]: Extracting #3: cost 0 inf + 2
7.065 * [simplify]: Simplified to (real->posit16 2)
7.065 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
7.065 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
7.066 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
7.066 * * [simplify]: iters left: 3 (5 enodes)
7.067 * * [simplify]: iters left: 2 (11 enodes)
7.069 * * [simplify]: iters left: 1 (13 enodes)
7.071 * * [simplify]: Extracting #0: cost 1 inf + 0
7.071 * * [simplify]: Extracting #1: cost 6 inf + 0
7.072 * * [simplify]: Extracting #2: cost 6 inf + 1
7.072 * * [simplify]: Extracting #3: cost 0 inf + 1970
7.072 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
7.072 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
7.072 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
7.072 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
7.072 * [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.072 * * [simplify]: iters left: 5 (11 enodes)
7.075 * * [simplify]: iters left: 4 (36 enodes)
7.083 * * [simplify]: iters left: 3 (93 enodes)
7.111 * * [simplify]: iters left: 2 (324 enodes)
7.347 * * [simplify]: Extracting #0: cost 1 inf + 0
7.348 * * [simplify]: Extracting #1: cost 100 inf + 0
7.349 * * [simplify]: Extracting #2: cost 387 inf + 322
7.352 * * [simplify]: Extracting #3: cost 451 inf + 10427
7.360 * * [simplify]: Extracting #4: cost 402 inf + 115864
7.399 * * [simplify]: Extracting #5: cost 172 inf + 531234
7.451 * * [simplify]: Extracting #6: cost 5 inf + 787856
7.514 * * [simplify]: Extracting #7: cost 0 inf + 796751
7.577 * [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.577 * [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.577 * * * * [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.578 * [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.578 * * [simplify]: iters left: 5 (11 enodes)
7.582 * * [simplify]: iters left: 4 (36 enodes)
7.594 * * [simplify]: iters left: 3 (93 enodes)
7.621 * * [simplify]: iters left: 2 (324 enodes)
7.807 * * [simplify]: Extracting #0: cost 1 inf + 0
7.807 * * [simplify]: Extracting #1: cost 100 inf + 0
7.808 * * [simplify]: Extracting #2: cost 387 inf + 322
7.810 * * [simplify]: Extracting #3: cost 451 inf + 10427
7.816 * * [simplify]: Extracting #4: cost 402 inf + 115864
7.841 * * [simplify]: Extracting #5: cost 172 inf + 531234
7.883 * * [simplify]: Extracting #6: cost 5 inf + 787856
7.943 * * [simplify]: Extracting #7: cost 0 inf + 796751
7.994 * [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.994 * [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.994 * * * * [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.994 * [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.994 * * [simplify]: iters left: 5 (11 enodes)
7.998 * * [simplify]: iters left: 4 (36 enodes)
8.005 * * [simplify]: iters left: 3 (93 enodes)
8.029 * * [simplify]: iters left: 2 (324 enodes)
8.245 * * [simplify]: Extracting #0: cost 1 inf + 0
8.245 * * [simplify]: Extracting #1: cost 100 inf + 0
8.247 * * [simplify]: Extracting #2: cost 387 inf + 322
8.249 * * [simplify]: Extracting #3: cost 451 inf + 10427
8.261 * * [simplify]: Extracting #4: cost 402 inf + 115864
8.290 * * [simplify]: Extracting #5: cost 172 inf + 531234
8.338 * * [simplify]: Extracting #6: cost 5 inf + 787856
8.381 * * [simplify]: Extracting #7: cost 0 inf + 796751
8.423 * [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.423 * [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.423 * * * * [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.423 * [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.423 * * [simplify]: iters left: 5 (11 enodes)
8.426 * * [simplify]: iters left: 4 (36 enodes)
8.434 * * [simplify]: iters left: 3 (93 enodes)
8.454 * * [simplify]: iters left: 2 (324 enodes)
8.669 * * [simplify]: Extracting #0: cost 1 inf + 0
8.669 * * [simplify]: Extracting #1: cost 100 inf + 0
8.673 * * [simplify]: Extracting #2: cost 387 inf + 322
8.675 * * [simplify]: Extracting #3: cost 451 inf + 10427
8.680 * * [simplify]: Extracting #4: cost 402 inf + 115864
8.702 * * [simplify]: Extracting #5: cost 172 inf + 531234
8.750 * * [simplify]: Extracting #6: cost 5 inf + 787856
8.806 * * [simplify]: Extracting #7: cost 0 inf + 796751
8.867 * [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.867 * [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.867 * * * [progress]: adding candidates to table
9.447 * * [progress]: iteration 4 / 4
9.447 * * * [progress]: picking best candidate
9.605 * * * * [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.605 * * * [progress]: localizing error
9.759 * * * [progress]: generating rewritten candidates
9.759 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
9.762 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
9.764 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
9.769 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
9.770 * * * [progress]: generating series expansions
9.770 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
9.770 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
9.770 * * * * [progress]: [ 3 / 4 ] generating series at (2)
9.770 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
9.770 * * * [progress]: simplifying candidates
9.770 * * * * [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.770 * * * * [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.771 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.771 * * [simplify]: iters left: 3 (7 enodes)
9.773 * * [simplify]: iters left: 2 (13 enodes)
9.775 * * [simplify]: Extracting #0: cost 1 inf + 0
9.775 * * [simplify]: Extracting #1: cost 3 inf + 0
9.775 * * [simplify]: Extracting #2: cost 6 inf + 0
9.775 * * [simplify]: Extracting #3: cost 4 inf + 3
9.775 * * [simplify]: Extracting #4: cost 0 inf + 690
9.775 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.776 * [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.776 * * * * [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.776 * * * * [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.776 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.776 * * [simplify]: iters left: 3 (7 enodes)
9.778 * * [simplify]: iters left: 2 (13 enodes)
9.780 * * [simplify]: Extracting #0: cost 1 inf + 0
9.780 * * [simplify]: Extracting #1: cost 3 inf + 0
9.780 * * [simplify]: Extracting #2: cost 6 inf + 0
9.780 * * [simplify]: Extracting #3: cost 4 inf + 3
9.780 * * [simplify]: Extracting #4: cost 0 inf + 690
9.780 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.780 * [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.780 * * * * [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.781 * [simplify]: Simplifying (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.781 * * [simplify]: iters left: 3 (7 enodes)
9.783 * * [simplify]: iters left: 2 (19 enodes)
9.786 * * [simplify]: iters left: 1 (37 enodes)
9.793 * * [simplify]: Extracting #0: cost 1 inf + 0
9.794 * * [simplify]: Extracting #1: cost 10 inf + 0
9.794 * * [simplify]: Extracting #2: cost 21 inf + 0
9.794 * * [simplify]: Extracting #3: cost 27 inf + 165
9.794 * * [simplify]: Extracting #4: cost 28 inf + 166
9.794 * * [simplify]: Extracting #5: cost 18 inf + 4946
9.795 * * [simplify]: Extracting #6: cost 0 inf + 22111
9.796 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
9.796 * [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.796 * * * * [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.796 * [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.796 * * [simplify]: iters left: 5 (10 enodes)
9.799 * * [simplify]: iters left: 4 (29 enodes)
9.810 * * [simplify]: iters left: 3 (71 enodes)
9.825 * * [simplify]: iters left: 2 (226 enodes)
9.931 * * [simplify]: Extracting #0: cost 1 inf + 0
9.932 * * [simplify]: Extracting #1: cost 76 inf + 0
9.933 * * [simplify]: Extracting #2: cost 266 inf + 322
9.935 * * [simplify]: Extracting #3: cost 288 inf + 11470
9.938 * * [simplify]: Extracting #4: cost 267 inf + 40495
9.951 * * [simplify]: Extracting #5: cost 84 inf + 325096
9.974 * * [simplify]: Extracting #6: cost 0 inf + 450491
10.005 * * [simplify]: Extracting #7: cost 0 inf + 450131
10.026 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.027 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.027 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
10.027 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (neg.p16 (real->posit16 1.0))))))>
10.027 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
10.027 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
10.028 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.028 * * [simplify]: iters left: 4 (9 enodes)
10.031 * * [simplify]: iters left: 3 (17 enodes)
10.034 * * [simplify]: iters left: 2 (20 enodes)
10.037 * * [simplify]: iters left: 1 (28 enodes)
10.043 * * [simplify]: Extracting #0: cost 1 inf + 0
10.043 * * [simplify]: Extracting #1: cost 7 inf + 0
10.043 * * [simplify]: Extracting #2: cost 10 inf + 1
10.043 * * [simplify]: Extracting #3: cost 11 inf + 2
10.043 * * [simplify]: Extracting #4: cost 7 inf + 767
10.044 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.044 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.044 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.044 * [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.044 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.044 * * [simplify]: iters left: 4 (9 enodes)
10.047 * * [simplify]: iters left: 3 (23 enodes)
10.052 * * [simplify]: iters left: 2 (48 enodes)
10.062 * * [simplify]: iters left: 1 (130 enodes)
10.120 * * [simplify]: Extracting #0: cost 1 inf + 0
10.121 * * [simplify]: Extracting #1: cost 33 inf + 0
10.121 * * [simplify]: Extracting #2: cost 121 inf + 1
10.122 * * [simplify]: Extracting #3: cost 150 inf + 767
10.123 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.125 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.133 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.142 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.151 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.152 * [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.152 * * * * [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.152 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.152 * * [simplify]: iters left: 4 (9 enodes)
10.155 * * [simplify]: iters left: 3 (17 enodes)
10.158 * * [simplify]: iters left: 2 (20 enodes)
10.161 * * [simplify]: iters left: 1 (28 enodes)
10.167 * * [simplify]: Extracting #0: cost 1 inf + 0
10.167 * * [simplify]: Extracting #1: cost 7 inf + 0
10.167 * * [simplify]: Extracting #2: cost 10 inf + 1
10.167 * * [simplify]: Extracting #3: cost 11 inf + 2
10.167 * * [simplify]: Extracting #4: cost 7 inf + 767
10.167 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.167 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.168 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.168 * [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.168 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.168 * * [simplify]: iters left: 4 (9 enodes)
10.170 * * [simplify]: iters left: 3 (23 enodes)
10.175 * * [simplify]: iters left: 2 (48 enodes)
10.185 * * [simplify]: iters left: 1 (130 enodes)
10.229 * * [simplify]: Extracting #0: cost 1 inf + 0
10.229 * * [simplify]: Extracting #1: cost 33 inf + 0
10.230 * * [simplify]: Extracting #2: cost 121 inf + 1
10.230 * * [simplify]: Extracting #3: cost 150 inf + 767
10.231 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.233 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.241 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.250 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.259 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.259 * [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.259 * * * * [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.260 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.260 * * [simplify]: iters left: 4 (9 enodes)
10.262 * * [simplify]: iters left: 3 (17 enodes)
10.265 * * [simplify]: iters left: 2 (20 enodes)
10.271 * * [simplify]: iters left: 1 (28 enodes)
10.276 * * [simplify]: Extracting #0: cost 1 inf + 0
10.276 * * [simplify]: Extracting #1: cost 7 inf + 0
10.277 * * [simplify]: Extracting #2: cost 10 inf + 1
10.277 * * [simplify]: Extracting #3: cost 11 inf + 2
10.277 * * [simplify]: Extracting #4: cost 7 inf + 767
10.277 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.277 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.277 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.277 * [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.278 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.278 * * [simplify]: iters left: 4 (9 enodes)
10.280 * * [simplify]: iters left: 3 (23 enodes)
10.285 * * [simplify]: iters left: 2 (48 enodes)
10.295 * * [simplify]: iters left: 1 (130 enodes)
10.340 * * [simplify]: Extracting #0: cost 1 inf + 0
10.340 * * [simplify]: Extracting #1: cost 33 inf + 0
10.340 * * [simplify]: Extracting #2: cost 121 inf + 1
10.341 * * [simplify]: Extracting #3: cost 150 inf + 767
10.343 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.346 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.354 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.363 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.374 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.374 * [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.374 * * * * [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.374 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.374 * * [simplify]: iters left: 4 (9 enodes)
10.377 * * [simplify]: iters left: 3 (17 enodes)
10.380 * * [simplify]: iters left: 2 (20 enodes)
10.384 * * [simplify]: iters left: 1 (28 enodes)
10.389 * * [simplify]: Extracting #0: cost 1 inf + 0
10.389 * * [simplify]: Extracting #1: cost 7 inf + 0
10.389 * * [simplify]: Extracting #2: cost 10 inf + 1
10.389 * * [simplify]: Extracting #3: cost 11 inf + 2
10.389 * * [simplify]: Extracting #4: cost 7 inf + 767
10.389 * * [simplify]: Extracting #5: cost 2 inf + 2777
10.390 * * [simplify]: Extracting #6: cost 0 inf + 4702
10.390 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 i (*.p16 (real->posit16 2) (real->posit16 2))) (real->posit16 2)))
10.390 * [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.390 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
10.390 * * [simplify]: iters left: 4 (9 enodes)
10.393 * * [simplify]: iters left: 3 (23 enodes)
10.397 * * [simplify]: iters left: 2 (48 enodes)
10.408 * * [simplify]: iters left: 1 (130 enodes)
10.472 * * [simplify]: Extracting #0: cost 1 inf + 0
10.472 * * [simplify]: Extracting #1: cost 33 inf + 0
10.473 * * [simplify]: Extracting #2: cost 121 inf + 1
10.473 * * [simplify]: Extracting #3: cost 150 inf + 767
10.475 * * [simplify]: Extracting #4: cost 147 inf + 6462
10.480 * * [simplify]: Extracting #5: cost 102 inf + 59322
10.495 * * [simplify]: Extracting #6: cost 7 inf + 167589
10.509 * * [simplify]: Extracting #7: cost 0 inf + 181450
10.523 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
10.523 * [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.523 * * * [progress]: adding candidates to table
10.902 * [progress]: [Phase 3 of 3] Extracting.
10.902 * * [regime]: Finding splitpoints for: (#<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))))> #<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))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (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 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 i (/.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))))> #<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))>)
10.903 * * * [regime-changes]: Trying 1 branch expressions: (i)
10.903 * * * * [regimes]: Trying to branch on i from (#<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))))> #<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))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (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 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 i (/.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))))> #<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))>)
11.089 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
11.089 * [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))))
11.089 * * [simplify]: iters left: 5 (12 enodes)
11.091 * * [simplify]: Extracting #0: cost 1 inf + 0
11.091 * * [simplify]: Extracting #1: cost 3 inf + 0
11.091 * * [simplify]: Extracting #2: cost 6 inf + 0
11.092 * * [simplify]: Extracting #3: cost 10 inf + 0
11.092 * * [simplify]: Extracting #4: cost 11 inf + 1
11.092 * * [simplify]: Extracting #5: cost 0 inf + 6144
11.092 * [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))))
11.092 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.103 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.106 * * * * [points]: Setting MPFR precision to 64
11.107 * * * * [points]: Setting MPFR precision to 320
11.108 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.110 * * * * [points]: Setting MPFR precision to 64
11.112 * * * * [points]: Setting MPFR precision to 320
11.113 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.116 * * * * [points]: Setting MPFR precision to 64
11.119 * * * * [points]: Setting MPFR precision to 320
11.123 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.126 * * * * [points]: Setting MPFR precision to 64
11.132 * * * * [points]: Setting MPFR precision to 320
11.139 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.143 * * * * [points]: Setting MPFR precision to 64
11.159 * * * * [points]: Setting MPFR precision to 320
11.187 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.191 * * * * [points]: Setting MPFR precision to 64
11.226 * * * * [points]: Setting MPFR precision to 320
11.257 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.260 * * * * [points]: Setting MPFR precision to 64
11.327 * * * * [points]: Setting MPFR precision to 320
11.428 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.433 * * * * [points]: Setting MPFR precision to 64
11.602 * * * * [points]: Setting MPFR precision to 320
11.727 * * * * [points]: Computing exacts for 8000 points
11.765 * * * * [points]: Setting MPFR precision to 64
12.629 * * * * [points]: Setting MPFR precision to 320
13.191 * * * * [points]: Filtering points with unrepresentable outputs
13.196 * * * * [points]: Sampling 3994 additional inputs, on iter 1 have 4006 / 8000
13.222 * * * * [points]: Computing exacts on every 249 of 3994 points to ramp up precision
13.224 * * * * [points]: Setting MPFR precision to 64
13.226 * * * * [points]: Setting MPFR precision to 320
13.226 * * * * [points]: Computing exacts on every 124 of 3994 points to ramp up precision
13.231 * * * * [points]: Setting MPFR precision to 64
13.233 * * * * [points]: Setting MPFR precision to 320
13.235 * * * * [points]: Computing exacts on every 62 of 3994 points to ramp up precision
13.239 * * * * [points]: Setting MPFR precision to 64
13.244 * * * * [points]: Setting MPFR precision to 320
13.248 * * * * [points]: Computing exacts on every 31 of 3994 points to ramp up precision
13.250 * * * * [points]: Setting MPFR precision to 64
13.257 * * * * [points]: Setting MPFR precision to 320
13.263 * * * * [points]: Computing exacts on every 15 of 3994 points to ramp up precision
13.266 * * * * [points]: Setting MPFR precision to 64
13.278 * * * * [points]: Setting MPFR precision to 320
13.290 * * * * [points]: Computing exacts on every 7 of 3994 points to ramp up precision
13.293 * * * * [points]: Setting MPFR precision to 64
13.316 * * * * [points]: Setting MPFR precision to 320
13.365 * * * * [points]: Computing exacts on every 3 of 3994 points to ramp up precision
13.369 * * * * [points]: Setting MPFR precision to 64
13.427 * * * * [points]: Setting MPFR precision to 320
13.478 * * * * [points]: Computing exacts for 3994 points
13.481 * * * * [points]: Setting MPFR precision to 64
13.777 * * * * [points]: Setting MPFR precision to 320
14.066 * * * * [points]: Filtering points with unrepresentable outputs
14.071 * * * * [points]: Sampling 2009 additional inputs, on iter 2 have 5991 / 8000
14.075 * * * * [points]: Computing exacts on every 125 of 2009 points to ramp up precision
14.079 * * * * [points]: Setting MPFR precision to 64
14.080 * * * * [points]: Setting MPFR precision to 320
14.081 * * * * [points]: Computing exacts on every 62 of 2009 points to ramp up precision
14.083 * * * * [points]: Setting MPFR precision to 64
14.086 * * * * [points]: Setting MPFR precision to 320
14.088 * * * * [points]: Computing exacts on every 31 of 2009 points to ramp up precision
14.092 * * * * [points]: Setting MPFR precision to 64
14.096 * * * * [points]: Setting MPFR precision to 320
14.101 * * * * [points]: Computing exacts on every 15 of 2009 points to ramp up precision
14.105 * * * * [points]: Setting MPFR precision to 64
14.113 * * * * [points]: Setting MPFR precision to 320
14.122 * * * * [points]: Computing exacts on every 7 of 2009 points to ramp up precision
14.126 * * * * [points]: Setting MPFR precision to 64
14.144 * * * * [points]: Setting MPFR precision to 320
14.161 * * * * [points]: Computing exacts on every 3 of 2009 points to ramp up precision
14.194 * * * * [points]: Setting MPFR precision to 64
14.232 * * * * [points]: Setting MPFR precision to 320
14.269 * * * * [points]: Computing exacts for 2009 points
14.273 * * * * [points]: Setting MPFR precision to 64
14.421 * * * * [points]: Setting MPFR precision to 320
14.544 * * * * [points]: Filtering points with unrepresentable outputs
14.545 * * * * [points]: Sampling 994 additional inputs, on iter 3 have 7006 / 8000
14.548 * * * * [points]: Computing exacts on every 62 of 994 points to ramp up precision
14.551 * * * * [points]: Setting MPFR precision to 64
14.553 * * * * [points]: Setting MPFR precision to 320
14.554 * * * * [points]: Computing exacts on every 31 of 994 points to ramp up precision
14.557 * * * * [points]: Setting MPFR precision to 64
14.558 * * * * [points]: Setting MPFR precision to 320
14.560 * * * * [points]: Computing exacts on every 15 of 994 points to ramp up precision
14.563 * * * * [points]: Setting MPFR precision to 64
14.566 * * * * [points]: Setting MPFR precision to 320
14.569 * * * * [points]: Computing exacts on every 7 of 994 points to ramp up precision
14.571 * * * * [points]: Setting MPFR precision to 64
14.577 * * * * [points]: Setting MPFR precision to 320
14.583 * * * * [points]: Computing exacts on every 3 of 994 points to ramp up precision
14.586 * * * * [points]: Setting MPFR precision to 64
14.597 * * * * [points]: Setting MPFR precision to 320
14.612 * * * * [points]: Computing exacts for 994 points
14.616 * * * * [points]: Setting MPFR precision to 64
14.719 * * * * [points]: Setting MPFR precision to 320
14.794 * * * * [points]: Filtering points with unrepresentable outputs
14.796 * * * * [points]: Sampling 488 additional inputs, on iter 4 have 7512 / 8000
14.797 * * * * [points]: Computing exacts on every 30 of 488 points to ramp up precision
14.803 * * * * [points]: Setting MPFR precision to 64
14.804 * * * * [points]: Setting MPFR precision to 320
14.805 * * * * [points]: Computing exacts on every 15 of 488 points to ramp up precision
14.810 * * * * [points]: Setting MPFR precision to 64
14.813 * * * * [points]: Setting MPFR precision to 320
14.815 * * * * [points]: Computing exacts on every 7 of 488 points to ramp up precision
14.820 * * * * [points]: Setting MPFR precision to 64
14.825 * * * * [points]: Setting MPFR precision to 320
14.830 * * * * [points]: Computing exacts on every 3 of 488 points to ramp up precision
14.835 * * * * [points]: Setting MPFR precision to 64
14.844 * * * * [points]: Setting MPFR precision to 320
14.885 * * * * [points]: Computing exacts for 488 points
14.890 * * * * [points]: Setting MPFR precision to 64
14.931 * * * * [points]: Setting MPFR precision to 320
14.964 * * * * [points]: Filtering points with unrepresentable outputs
14.964 * * * * [points]: Sampling 243 additional inputs, on iter 5 have 7757 / 8000
14.964 * * * * [points]: Computing exacts on every 15 of 243 points to ramp up precision
14.967 * * * * [points]: Setting MPFR precision to 64
14.968 * * * * [points]: Setting MPFR precision to 320
14.969 * * * * [points]: Computing exacts on every 7 of 243 points to ramp up precision
14.972 * * * * [points]: Setting MPFR precision to 64
14.973 * * * * [points]: Setting MPFR precision to 320
14.975 * * * * [points]: Computing exacts on every 3 of 243 points to ramp up precision
14.977 * * * * [points]: Setting MPFR precision to 64
14.980 * * * * [points]: Setting MPFR precision to 320
14.983 * * * * [points]: Computing exacts for 243 points
14.986 * * * * [points]: Setting MPFR precision to 64
14.997 * * * * [points]: Setting MPFR precision to 320
15.011 * * * * [points]: Filtering points with unrepresentable outputs
15.012 * * * * [points]: Sampling 140 additional inputs, on iter 6 have 7860 / 8000
15.012 * * * * [points]: Computing exacts on every 8 of 140 points to ramp up precision
15.014 * * * * [points]: Setting MPFR precision to 64
15.015 * * * * [points]: Setting MPFR precision to 320
15.037 * * * * [points]: Computing exacts on every 4 of 140 points to ramp up precision
15.039 * * * * [points]: Setting MPFR precision to 64
15.041 * * * * [points]: Setting MPFR precision to 320
15.042 * * * * [points]: Computing exacts on every 2 of 140 points to ramp up precision
15.045 * * * * [points]: Setting MPFR precision to 64
15.048 * * * * [points]: Setting MPFR precision to 320
15.051 * * * * [points]: Computing exacts for 140 points
15.053 * * * * [points]: Setting MPFR precision to 64
15.060 * * * * [points]: Setting MPFR precision to 320
15.066 * * * * [points]: Filtering points with unrepresentable outputs
15.067 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000
15.067 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
15.069 * * * * [points]: Setting MPFR precision to 64
15.070 * * * * [points]: Setting MPFR precision to 320
15.071 * * * * [points]: Computing exacts for 61 points
15.073 * * * * [points]: Setting MPFR precision to 64
15.076 * * * * [points]: Setting MPFR precision to 320
15.079 * * * * [points]: Filtering points with unrepresentable outputs
15.079 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
15.079 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
15.082 * * * * [points]: Setting MPFR precision to 64
15.083 * * * * [points]: Setting MPFR precision to 320
15.083 * * * * [points]: Computing exacts for 32 points
15.086 * * * * [points]: Setting MPFR precision to 64
15.087 * * * * [points]: Setting MPFR precision to 320
15.089 * * * * [points]: Filtering points with unrepresentable outputs
15.089 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000
15.089 * * * * [points]: Computing exacts for 20 points
15.091 * * * * [points]: Setting MPFR precision to 64
15.092 * * * * [points]: Setting MPFR precision to 320
15.093 * * * * [points]: Filtering points with unrepresentable outputs
15.093 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000
15.094 * * * * [points]: Computing exacts for 11 points
15.096 * * * * [points]: Setting MPFR precision to 64
15.097 * * * * [points]: Setting MPFR precision to 320
15.097 * * * * [points]: Filtering points with unrepresentable outputs
15.097 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
15.097 * * * * [points]: Computing exacts for 4 points
15.100 * * * * [points]: Setting MPFR precision to 64
15.100 * * * * [points]: Setting MPFR precision to 320
15.100 * * * * [points]: Filtering points with unrepresentable outputs
15.100 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
15.100 * * * * [points]: Computing exacts for 4 points
15.103 * * * * [points]: Setting MPFR precision to 64
15.103 * * * * [points]: Setting MPFR precision to 320
15.103 * * * * [points]: Filtering points with unrepresentable outputs
15.103 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
15.103 * * * * [points]: Computing exacts for 4 points
15.106 * * * * [points]: Setting MPFR precision to 64
15.106 * * * * [points]: Setting MPFR precision to 320
15.107 * * * * [points]: Filtering points with unrepresentable outputs
15.107 * * * * [points]: Sampled 8001 points with exact outputs
21.121 * [regime-testing]: Baseline error score: 64.0
21.127 * [regime-testing]: Oracle error score: 64.0
21.138 * [regime-testing]: End program error score: 0.3968798836237501