1552126558.350 * [progress]: [Phase 1 of 3] Setting up.
1552126558.350 * * * [progress]: [1/2] Preparing points
1552126558.352 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126558.352 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126558.356 * * * * [points]: Setting MPFR precision to 64
1552126558.357 * * * * [points]: Setting MPFR precision to 320
1552126558.358 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126558.362 * * * * [points]: Setting MPFR precision to 64
1552126558.364 * * * * [points]: Setting MPFR precision to 320
1552126558.367 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126558.370 * * * * [points]: Setting MPFR precision to 64
1552126558.373 * * * * [points]: Setting MPFR precision to 320
1552126558.375 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126558.378 * * * * [points]: Setting MPFR precision to 64
1552126558.383 * * * * [points]: Setting MPFR precision to 320
1552126558.391 * * * * [points]: Computing exacts for 256 points
1552126558.395 * * * * [points]: Setting MPFR precision to 64
1552126558.412 * * * * [points]: Setting MPFR precision to 320
1552126558.430 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.435 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256
1552126558.436 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
1552126558.456 * * * * [points]: Setting MPFR precision to 64
1552126558.457 * * * * [points]: Setting MPFR precision to 320
1552126558.459 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
1552126558.463 * * * * [points]: Setting MPFR precision to 64
1552126558.465 * * * * [points]: Setting MPFR precision to 320
1552126558.467 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
1552126558.471 * * * * [points]: Setting MPFR precision to 64
1552126558.474 * * * * [points]: Setting MPFR precision to 320
1552126558.478 * * * * [points]: Computing exacts for 134 points
1552126558.482 * * * * [points]: Setting MPFR precision to 64
1552126558.492 * * * * [points]: Setting MPFR precision to 320
1552126558.505 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.508 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
1552126558.508 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1552126558.512 * * * * [points]: Setting MPFR precision to 64
1552126558.513 * * * * [points]: Setting MPFR precision to 320
1552126558.514 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1552126558.518 * * * * [points]: Setting MPFR precision to 64
1552126558.520 * * * * [points]: Setting MPFR precision to 320
1552126558.522 * * * * [points]: Computing exacts for 65 points
1552126558.527 * * * * [points]: Setting MPFR precision to 64
1552126558.532 * * * * [points]: Setting MPFR precision to 320
1552126558.538 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.538 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
1552126558.539 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1552126558.542 * * * * [points]: Setting MPFR precision to 64
1552126558.543 * * * * [points]: Setting MPFR precision to 320
1552126558.544 * * * * [points]: Computing exacts for 37 points
1552126558.548 * * * * [points]: Setting MPFR precision to 64
1552126558.551 * * * * [points]: Setting MPFR precision to 320
1552126558.554 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.555 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
1552126558.555 * * * * [points]: Computing exacts for 18 points
1552126558.558 * * * * [points]: Setting MPFR precision to 64
1552126558.559 * * * * [points]: Setting MPFR precision to 320
1552126558.560 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.560 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256
1552126558.560 * * * * [points]: Computing exacts for 12 points
1552126558.563 * * * * [points]: Setting MPFR precision to 64
1552126558.563 * * * * [points]: Setting MPFR precision to 320
1552126558.564 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.564 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
1552126558.564 * * * * [points]: Computing exacts for 5 points
1552126558.567 * * * * [points]: Setting MPFR precision to 64
1552126558.567 * * * * [points]: Setting MPFR precision to 320
1552126558.567 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.568 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
1552126558.568 * * * * [points]: Computing exacts for 4 points
1552126558.571 * * * * [points]: Setting MPFR precision to 64
1552126558.572 * * * * [points]: Setting MPFR precision to 320
1552126558.572 * * * * [points]: Filtering points with unrepresentable outputs
1552126558.572 * * * * [points]: Sampled 256 points with exact outputs
1552126558.572 * * * [progress]: [2/2] Setting up program.
1552126558.621 * [progress]: [Phase 2 of 3] Improving.
1552126558.621 * * * * [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))))>
1552126558.621 * [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)))
1552126558.621 * * [simplify]: iters left: 5 (12 enodes)
1552126558.626 * * [simplify]: iters left: 4 (43 enodes)
1552126558.642 * * [simplify]: iters left: 3 (170 enodes)
1552126558.726 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126558.726 * * [simplify]: Extracting #1: cost 78 inf + 0
1552126558.727 * * [simplify]: Extracting #2: cost 269 inf + 322
1552126558.729 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552126558.733 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552126558.749 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552126558.773 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552126558.798 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552126558.825 * [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))
1552126558.825 * [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)))
1552126558.884 * * [progress]: iteration 1 / 4
1552126558.884 * * * [progress]: picking best candidate
1552126558.927 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126558.927 * * * [progress]: localizing error
1552126559.186 * * * [progress]: generating rewritten candidates
1552126559.186 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552126559.192 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552126559.200 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552126559.203 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1552126559.206 * * * [progress]: generating series expansions
1552126559.206 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552126559.206 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552126559.206 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552126559.206 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1552126559.206 * * * [progress]: simplifying candidates
1552126559.206 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.206 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
1552126559.206 * * [simplify]: iters left: 2 (4 enodes)
1552126559.208 * * [simplify]: iters left: 1 (8 enodes)
1552126559.210 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.210 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126559.210 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126559.210 * * [simplify]: Extracting #3: cost 2 inf + 2
1552126559.210 * * [simplify]: Extracting #4: cost 0 inf + 325
1552126559.210 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1552126559.210 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126559.210 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.211 * [simplify]: Simplifying (*.p16 i i)
1552126559.211 * * [simplify]: iters left: 1 (2 enodes)
1552126559.211 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.211 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126559.211 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126559.211 * * [simplify]: Extracting #3: cost 0 inf + 322
1552126559.211 * [simplify]: Simplified to (*.p16 i i)
1552126559.211 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126559.212 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.212 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126559.212 * * [simplify]: iters left: 3 (6 enodes)
1552126559.214 * * [simplify]: iters left: 2 (17 enodes)
1552126559.219 * * [simplify]: iters left: 1 (32 enodes)
1552126559.231 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.231 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126559.231 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126559.231 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126559.231 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126559.239 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126559.240 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126559.240 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126559.240 * * [simplify]: iters left: 3 (6 enodes)
1552126559.242 * * [simplify]: iters left: 2 (17 enodes)
1552126559.247 * * [simplify]: iters left: 1 (32 enodes)
1552126559.258 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.258 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126559.258 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126559.258 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126559.259 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126559.259 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126559.259 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126559.259 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1552126559.260 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126559.260 * * [simplify]: iters left: 3 (7 enodes)
1552126559.262 * * [simplify]: iters left: 2 (19 enodes)
1552126559.268 * * [simplify]: iters left: 1 (37 enodes)
1552126559.277 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.278 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126559.278 * * [simplify]: Extracting #2: cost 21 inf + 0
1552126559.278 * * [simplify]: Extracting #3: cost 27 inf + 165
1552126559.278 * * [simplify]: Extracting #4: cost 27 inf + 167
1552126559.278 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552126559.279 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552126559.281 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126559.281 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1552126559.281 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))>
1552126559.281 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126559.281 * * [simplify]: iters left: 3 (6 enodes)
1552126559.284 * * [simplify]: iters left: 2 (17 enodes)
1552126559.288 * * [simplify]: iters left: 1 (32 enodes)
1552126559.299 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.299 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126559.300 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126559.300 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126559.300 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126559.301 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126559.301 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))
1552126559.301 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.301 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1552126559.301 * * [simplify]: iters left: 4 (8 enodes)
1552126559.304 * * [simplify]: iters left: 3 (18 enodes)
1552126559.308 * * [simplify]: iters left: 2 (25 enodes)
1552126559.315 * * [simplify]: iters left: 1 (29 enodes)
1552126559.321 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.321 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126559.321 * * [simplify]: Extracting #2: cost 11 inf + 0
1552126559.321 * * [simplify]: Extracting #3: cost 8 inf + 324
1552126559.321 * * [simplify]: Extracting #4: cost 7 inf + 325
1552126559.322 * * [simplify]: Extracting #5: cost 0 inf + 3578
1552126559.322 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1552126559.322 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1552126559.322 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))>
1552126559.322 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1552126559.322 * * [simplify]: iters left: 2 (3 enodes)
1552126559.323 * * [simplify]: iters left: 1 (9 enodes)
1552126559.325 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.325 * * [simplify]: Extracting #1: cost 4 inf + 0
1552126559.326 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126559.326 * * [simplify]: Extracting #3: cost 0 inf + 1604
1552126559.326 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1552126559.326 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))
1552126559.326 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1552126559.326 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552126559.326 * * [simplify]: iters left: 4 (10 enodes)
1552126559.330 * * [simplify]: iters left: 3 (25 enodes)
1552126559.337 * * [simplify]: iters left: 2 (51 enodes)
1552126559.361 * * [simplify]: iters left: 1 (112 enodes)
1552126559.424 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.424 * * [simplify]: Extracting #1: cost 57 inf + 0
1552126559.425 * * [simplify]: Extracting #2: cost 185 inf + 763
1552126559.427 * * [simplify]: Extracting #3: cost 127 inf + 36834
1552126559.434 * * [simplify]: Extracting #4: cost 71 inf + 75466
1552126559.442 * * [simplify]: Extracting #5: cost 6 inf + 143781
1552126559.451 * * [simplify]: Extracting #6: cost 0 inf + 152919
1552126559.460 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552126559.460 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1552126559.461 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552126559.461 * * [simplify]: iters left: 4 (10 enodes)
1552126559.465 * * [simplify]: iters left: 3 (31 enodes)
1552126559.474 * * [simplify]: iters left: 2 (84 enodes)
1552126559.511 * * [simplify]: iters left: 1 (243 enodes)
1552126559.699 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.699 * * [simplify]: Extracting #1: cost 69 inf + 0
1552126559.700 * * [simplify]: Extracting #2: cost 292 inf + 763
1552126559.702 * * [simplify]: Extracting #3: cost 290 inf + 19278
1552126559.709 * * [simplify]: Extracting #4: cost 211 inf + 140467
1552126559.729 * * [simplify]: Extracting #5: cost 50 inf + 372763
1552126559.758 * * [simplify]: Extracting #6: cost 0 inf + 397205
1552126559.783 * * [simplify]: Extracting #7: cost 0 inf + 392365
1552126559.801 * * [simplify]: Extracting #8: cost 0 inf + 392245
1552126559.822 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552126559.822 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
1552126559.822 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.822 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (*.p16 i (*.p16 i i))) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.822 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.822 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1552126559.822 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126559.823 * * [simplify]: iters left: 3 (7 enodes)
1552126559.826 * * [simplify]: iters left: 2 (13 enodes)
1552126559.829 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.829 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126559.829 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126559.829 * * [simplify]: Extracting #3: cost 4 inf + 3
1552126559.829 * * [simplify]: Extracting #4: cost 3 inf + 4
1552126559.829 * * [simplify]: Extracting #5: cost 0 inf + 690
1552126559.829 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126559.829 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1552126559.830 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126559.830 * * [simplify]: iters left: 3 (7 enodes)
1552126559.832 * * [simplify]: iters left: 2 (19 enodes)
1552126559.838 * * [simplify]: iters left: 1 (37 enodes)
1552126559.848 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.848 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126559.848 * * [simplify]: Extracting #2: cost 21 inf + 0
1552126559.848 * * [simplify]: Extracting #3: cost 27 inf + 165
1552126559.848 * * [simplify]: Extracting #4: cost 27 inf + 167
1552126559.849 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552126559.850 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552126559.851 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126559.851 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1552126559.851 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1552126559.851 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1552126559.852 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126559.852 * [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)))
1552126559.852 * * [simplify]: iters left: 5 (12 enodes)
1552126559.856 * * [simplify]: iters left: 4 (43 enodes)
1552126559.873 * * [simplify]: iters left: 3 (170 enodes)
1552126559.946 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126559.946 * * [simplify]: Extracting #1: cost 78 inf + 0
1552126559.947 * * [simplify]: Extracting #2: cost 269 inf + 322
1552126559.949 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552126559.958 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552126559.977 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552126560.001 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552126560.026 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552126560.051 * [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))
1552126560.051 * [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)))
1552126560.051 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126560.051 * [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)))
1552126560.052 * * [simplify]: iters left: 5 (12 enodes)
1552126560.057 * * [simplify]: iters left: 4 (43 enodes)
1552126560.068 * * [simplify]: iters left: 3 (170 enodes)
1552126560.146 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126560.146 * * [simplify]: Extracting #1: cost 78 inf + 0
1552126560.147 * * [simplify]: Extracting #2: cost 269 inf + 322
1552126560.149 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552126560.155 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552126560.178 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552126560.204 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552126560.225 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552126560.246 * [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))
1552126560.246 * [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)))
1552126560.246 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126560.247 * [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)))
1552126560.247 * * [simplify]: iters left: 5 (12 enodes)
1552126560.252 * * [simplify]: iters left: 4 (43 enodes)
1552126560.269 * * [simplify]: iters left: 3 (170 enodes)
1552126560.331 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126560.331 * * [simplify]: Extracting #1: cost 78 inf + 0
1552126560.332 * * [simplify]: Extracting #2: cost 269 inf + 322
1552126560.333 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552126560.337 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552126560.350 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552126560.371 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552126560.388 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552126560.405 * [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))
1552126560.405 * [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)))
1552126560.405 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126560.405 * [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)))
1552126560.405 * * [simplify]: iters left: 5 (12 enodes)
1552126560.409 * * [simplify]: iters left: 4 (43 enodes)
1552126560.421 * * [simplify]: iters left: 3 (170 enodes)
1552126560.486 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126560.486 * * [simplify]: Extracting #1: cost 78 inf + 0
1552126560.488 * * [simplify]: Extracting #2: cost 269 inf + 322
1552126560.490 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552126560.497 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552126560.520 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552126560.551 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552126560.580 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552126560.604 * [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))
1552126560.604 * [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)))
1552126560.604 * * * [progress]: adding candidates to table
1552126561.537 * * [progress]: iteration 2 / 4
1552126561.537 * * * [progress]: picking best candidate
1552126561.741 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.741 * * * [progress]: localizing error
1552126561.829 * * * [progress]: generating rewritten candidates
1552126561.829 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552126561.831 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1552126561.832 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1552126561.836 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1552126561.838 * * * [progress]: generating series expansions
1552126561.838 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552126561.838 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1552126561.838 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1552126561.838 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1552126561.838 * * * [progress]: simplifying candidates
1552126561.838 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.838 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.838 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.838 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1552126561.838 * * [simplify]: iters left: 2 (4 enodes)
1552126561.840 * * [simplify]: iters left: 1 (7 enodes)
1552126561.841 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.841 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126561.841 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126561.841 * * [simplify]: Extracting #3: cost 0 inf + 445
1552126561.841 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126561.841 * [simplify]: Simplified (2 1 2 1) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126561.841 * [simplify]: Simplifying (/.p16 i i)
1552126561.841 * * [simplify]: iters left: 1 (2 enodes)
1552126561.842 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.842 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126561.842 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126561.842 * * [simplify]: Extracting #3: cost 0 inf + 3
1552126561.842 * [simplify]: Simplified to (real->posit16 1.0)
1552126561.842 * [simplify]: Simplified (2 1 2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126561.842 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.842 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.842 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.843 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1552126561.843 * * [simplify]: iters left: 2 (4 enodes)
1552126561.844 * * [simplify]: iters left: 1 (7 enodes)
1552126561.845 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.845 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126561.845 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126561.845 * * [simplify]: Extracting #3: cost 0 inf + 445
1552126561.845 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126561.845 * [simplify]: Simplified (2 1 1 1) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126561.845 * [simplify]: Simplifying (/.p16 i i)
1552126561.845 * * [simplify]: iters left: 1 (2 enodes)
1552126561.846 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.846 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126561.846 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126561.846 * * [simplify]: Extracting #3: cost 0 inf + 3
1552126561.846 * [simplify]: Simplified to (real->posit16 1.0)
1552126561.846 * [simplify]: Simplified (2 1 1 2) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126561.846 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1552126561.846 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126561.846 * * [simplify]: iters left: 3 (7 enodes)
1552126561.848 * * [simplify]: iters left: 2 (19 enodes)
1552126561.852 * * [simplify]: iters left: 1 (37 enodes)
1552126561.859 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.859 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126561.859 * * [simplify]: Extracting #2: cost 21 inf + 0
1552126561.859 * * [simplify]: Extracting #3: cost 27 inf + 165
1552126561.859 * * [simplify]: Extracting #4: cost 27 inf + 167
1552126561.859 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552126561.860 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552126561.861 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126561.861 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1552126561.861 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))>
1552126561.861 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126561.862 * * [simplify]: iters left: 3 (6 enodes)
1552126561.863 * * [simplify]: iters left: 2 (17 enodes)
1552126561.866 * * [simplify]: iters left: 1 (32 enodes)
1552126561.874 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.874 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126561.874 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126561.874 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126561.874 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126561.874 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126561.874 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))
1552126561.875 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126561.875 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1552126561.875 * * [simplify]: iters left: 4 (8 enodes)
1552126561.882 * * [simplify]: iters left: 3 (18 enodes)
1552126561.885 * * [simplify]: iters left: 2 (25 enodes)
1552126561.889 * * [simplify]: iters left: 1 (29 enodes)
1552126561.893 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.893 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126561.893 * * [simplify]: Extracting #2: cost 11 inf + 0
1552126561.893 * * [simplify]: Extracting #3: cost 8 inf + 324
1552126561.893 * * [simplify]: Extracting #4: cost 7 inf + 325
1552126561.894 * * [simplify]: Extracting #5: cost 0 inf + 3578
1552126561.894 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1552126561.894 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1552126561.894 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))>
1552126561.894 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (*.p16 i i))
1552126561.894 * * [simplify]: iters left: 4 (7 enodes)
1552126561.896 * * [simplify]: iters left: 3 (23 enodes)
1552126561.901 * * [simplify]: iters left: 2 (68 enodes)
1552126561.928 * * [simplify]: iters left: 1 (158 enodes)
1552126561.981 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126561.981 * * [simplify]: Extracting #1: cost 45 inf + 0
1552126561.981 * * [simplify]: Extracting #2: cost 92 inf + 442
1552126561.982 * * [simplify]: Extracting #3: cost 74 inf + 16743
1552126561.983 * * [simplify]: Extracting #4: cost 39 inf + 41170
1552126561.986 * * [simplify]: Extracting #5: cost 1 inf + 76581
1552126561.989 * * [simplify]: Extracting #6: cost 0 inf + 77425
1552126561.993 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i i) i) (real->posit16 2))
1552126561.993 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) i) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))
1552126561.993 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))>
1552126561.993 * [simplify]: Simplifying (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))
1552126561.993 * * [simplify]: iters left: 4 (7 enodes)
1552126561.995 * * [simplify]: iters left: 3 (23 enodes)
1552126562.002 * * [simplify]: iters left: 2 (68 enodes)
1552126562.028 * * [simplify]: iters left: 1 (153 enodes)
1552126562.093 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.093 * * [simplify]: Extracting #1: cost 42 inf + 0
1552126562.093 * * [simplify]: Extracting #2: cost 82 inf + 1924
1552126562.094 * * [simplify]: Extracting #3: cost 62 inf + 15193
1552126562.096 * * [simplify]: Extracting #4: cost 9 inf + 58935
1552126562.099 * * [simplify]: Extracting #5: cost 0 inf + 67280
1552126562.101 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i)
1552126562.101 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))
1552126562.102 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1552126562.102 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552126562.102 * * [simplify]: iters left: 4 (10 enodes)
1552126562.105 * * [simplify]: iters left: 3 (25 enodes)
1552126562.109 * * [simplify]: iters left: 2 (51 enodes)
1552126562.130 * * [simplify]: iters left: 1 (112 enodes)
1552126562.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.173 * * [simplify]: Extracting #1: cost 57 inf + 0
1552126562.174 * * [simplify]: Extracting #2: cost 185 inf + 763
1552126562.175 * * [simplify]: Extracting #3: cost 127 inf + 36834
1552126562.180 * * [simplify]: Extracting #4: cost 71 inf + 75466
1552126562.188 * * [simplify]: Extracting #5: cost 6 inf + 143781
1552126562.195 * * [simplify]: Extracting #6: cost 0 inf + 152919
1552126562.204 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552126562.205 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1552126562.205 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552126562.205 * * [simplify]: iters left: 4 (10 enodes)
1552126562.209 * * [simplify]: iters left: 3 (31 enodes)
1552126562.217 * * [simplify]: iters left: 2 (84 enodes)
1552126562.255 * * [simplify]: iters left: 1 (243 enodes)
1552126562.446 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.446 * * [simplify]: Extracting #1: cost 69 inf + 0
1552126562.447 * * [simplify]: Extracting #2: cost 292 inf + 763
1552126562.448 * * [simplify]: Extracting #3: cost 290 inf + 19278
1552126562.453 * * [simplify]: Extracting #4: cost 211 inf + 140467
1552126562.468 * * [simplify]: Extracting #5: cost 50 inf + 372763
1552126562.488 * * [simplify]: Extracting #6: cost 0 inf + 397205
1552126562.512 * * [simplify]: Extracting #7: cost 0 inf + 392365
1552126562.535 * * [simplify]: Extracting #8: cost 0 inf + 392245
1552126562.562 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552126562.562 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
1552126562.562 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1552126562.563 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126562.563 * * [simplify]: iters left: 3 (7 enodes)
1552126562.566 * * [simplify]: iters left: 2 (13 enodes)
1552126562.568 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.568 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126562.568 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126562.568 * * [simplify]: Extracting #3: cost 4 inf + 3
1552126562.568 * * [simplify]: Extracting #4: cost 3 inf + 4
1552126562.568 * * [simplify]: Extracting #5: cost 0 inf + 690
1552126562.568 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126562.568 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1552126562.568 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126562.568 * * [simplify]: iters left: 3 (7 enodes)
1552126562.570 * * [simplify]: iters left: 2 (19 enodes)
1552126562.574 * * [simplify]: iters left: 1 (37 enodes)
1552126562.582 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.582 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126562.583 * * [simplify]: Extracting #2: cost 21 inf + 0
1552126562.583 * * [simplify]: Extracting #3: cost 27 inf + 165
1552126562.583 * * [simplify]: Extracting #4: cost 27 inf + 167
1552126562.583 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552126562.585 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552126562.586 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126562.586 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1552126562.586 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1552126562.586 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1552126562.586 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126562.587 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.587 * * [simplify]: iters left: 3 (6 enodes)
1552126562.589 * * [simplify]: iters left: 2 (17 enodes)
1552126562.596 * * [simplify]: iters left: 1 (32 enodes)
1552126562.607 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.607 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.607 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.608 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.608 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.608 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.608 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.609 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.609 * * [simplify]: iters left: 3 (6 enodes)
1552126562.611 * * [simplify]: iters left: 2 (17 enodes)
1552126562.616 * * [simplify]: iters left: 1 (32 enodes)
1552126562.627 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.627 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.627 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.628 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.628 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.628 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.628 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.629 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126562.629 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.629 * * [simplify]: iters left: 3 (6 enodes)
1552126562.631 * * [simplify]: iters left: 2 (17 enodes)
1552126562.636 * * [simplify]: iters left: 1 (32 enodes)
1552126562.648 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.648 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.648 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.648 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.648 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.649 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.649 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.649 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.649 * * [simplify]: iters left: 3 (6 enodes)
1552126562.651 * * [simplify]: iters left: 2 (17 enodes)
1552126562.657 * * [simplify]: iters left: 1 (32 enodes)
1552126562.669 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.669 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.669 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.670 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.670 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.670 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.670 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.670 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126562.671 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.671 * * [simplify]: iters left: 3 (6 enodes)
1552126562.673 * * [simplify]: iters left: 2 (17 enodes)
1552126562.678 * * [simplify]: iters left: 1 (32 enodes)
1552126562.690 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.690 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.690 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.690 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.690 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.691 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.691 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.691 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.691 * * [simplify]: iters left: 3 (6 enodes)
1552126562.693 * * [simplify]: iters left: 2 (17 enodes)
1552126562.698 * * [simplify]: iters left: 1 (32 enodes)
1552126562.711 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.711 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.711 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.711 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.712 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.712 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.712 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.712 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126562.712 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.712 * * [simplify]: iters left: 3 (6 enodes)
1552126562.715 * * [simplify]: iters left: 2 (17 enodes)
1552126562.719 * * [simplify]: iters left: 1 (32 enodes)
1552126562.730 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.731 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.731 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.731 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.731 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.732 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.732 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.732 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552126562.732 * * [simplify]: iters left: 3 (6 enodes)
1552126562.734 * * [simplify]: iters left: 2 (17 enodes)
1552126562.739 * * [simplify]: iters left: 1 (32 enodes)
1552126562.750 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126562.750 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126562.750 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126562.750 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552126562.751 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552126562.751 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126562.751 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126562.751 * * * [progress]: adding candidates to table
1552126564.098 * * [progress]: iteration 3 / 4
1552126564.098 * * * [progress]: picking best candidate
1552126564.464 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126564.464 * * * [progress]: localizing error
1552126564.629 * * * [progress]: generating rewritten candidates
1552126564.629 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552126564.632 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552126564.639 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552126564.642 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1552126564.657 * * * [progress]: generating series expansions
1552126564.657 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552126564.657 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552126564.657 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552126564.657 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1552126564.658 * * * [progress]: simplifying candidates
1552126564.658 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126564.658 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126564.658 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126564.658 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1552126564.658 * * [simplify]: iters left: 2 (4 enodes)
1552126564.660 * * [simplify]: iters left: 1 (7 enodes)
1552126564.662 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.662 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126564.662 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126564.662 * * [simplify]: Extracting #3: cost 0 inf + 445
1552126564.662 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126564.662 * [simplify]: Simplified (2 1 2 1) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126564.662 * [simplify]: Simplifying (/.p16 i i)
1552126564.662 * * [simplify]: iters left: 1 (2 enodes)
1552126564.663 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.663 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126564.663 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126564.663 * * [simplify]: Extracting #3: cost 0 inf + 3
1552126564.663 * [simplify]: Simplified to (real->posit16 1.0)
1552126564.663 * [simplify]: Simplified (2 1 2 2) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1552126564.663 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1552126564.664 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126564.664 * * [simplify]: iters left: 3 (7 enodes)
1552126564.666 * * [simplify]: iters left: 2 (19 enodes)
1552126564.672 * * [simplify]: iters left: 1 (37 enodes)
1552126564.682 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.682 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126564.682 * * [simplify]: Extracting #2: cost 21 inf + 0
1552126564.683 * * [simplify]: Extracting #3: cost 27 inf + 165
1552126564.683 * * [simplify]: Extracting #4: cost 27 inf + 167
1552126564.683 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552126564.684 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552126564.686 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126564.686 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1552126564.686 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))>
1552126564.686 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126564.686 * * [simplify]: iters left: 3 (7 enodes)
1552126564.689 * * [simplify]: iters left: 2 (14 enodes)
1552126564.693 * * [simplify]: iters left: 1 (27 enodes)
1552126564.700 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.700 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126564.700 * * [simplify]: Extracting #2: cost 6 inf + 1
1552126564.700 * * [simplify]: Extracting #3: cost 2 inf + 5
1552126564.700 * * [simplify]: Extracting #4: cost 1 inf + 447
1552126564.700 * * [simplify]: Extracting #5: cost 0 inf + 1210
1552126564.700 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552126564.700 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))
1552126564.700 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126564.700 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1552126564.700 * * [simplify]: iters left: 4 (8 enodes)
1552126564.702 * * [simplify]: iters left: 3 (18 enodes)
1552126564.705 * * [simplify]: iters left: 2 (25 enodes)
1552126564.711 * * [simplify]: iters left: 1 (29 enodes)
1552126564.718 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.718 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126564.718 * * [simplify]: Extracting #2: cost 11 inf + 0
1552126564.718 * * [simplify]: Extracting #3: cost 8 inf + 324
1552126564.718 * * [simplify]: Extracting #4: cost 7 inf + 325
1552126564.718 * * [simplify]: Extracting #5: cost 0 inf + 3578
1552126564.719 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1552126564.719 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1552126564.719 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))>
1552126564.719 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 i i))
1552126564.719 * * [simplify]: iters left: 4 (9 enodes)
1552126564.723 * * [simplify]: iters left: 3 (21 enodes)
1552126564.731 * * [simplify]: iters left: 2 (61 enodes)
1552126564.751 * * [simplify]: iters left: 1 (169 enodes)
1552126564.830 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.830 * * [simplify]: Extracting #1: cost 33 inf + 0
1552126564.830 * * [simplify]: Extracting #2: cost 77 inf + 643
1552126564.831 * * [simplify]: Extracting #3: cost 71 inf + 2811
1552126564.832 * * [simplify]: Extracting #4: cost 21 inf + 31553
1552126564.834 * * [simplify]: Extracting #5: cost 0 inf + 45602
1552126564.837 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (*.p16 i i))
1552126564.837 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))
1552126564.837 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (real->posit16 2))))>
1552126564.837 * [simplify]: Simplifying (*.p16 (*.p16 i (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))
1552126564.837 * * [simplify]: iters left: 4 (10 enodes)
1552126564.842 * * [simplify]: iters left: 3 (27 enodes)
1552126564.847 * * [simplify]: iters left: 2 (76 enodes)
1552126564.889 * * [simplify]: iters left: 1 (218 enodes)
1552126564.951 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.951 * * [simplify]: Extracting #1: cost 26 inf + 0
1552126564.951 * * [simplify]: Extracting #2: cost 80 inf + 1
1552126564.952 * * [simplify]: Extracting #3: cost 69 inf + 10265
1552126564.953 * * [simplify]: Extracting #4: cost 10 inf + 57141
1552126564.956 * * [simplify]: Extracting #5: cost 0 inf + 63771
1552126564.958 * [simplify]: Simplified to (/.p16 (*.p16 i i) (real->posit16 2))
1552126564.958 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (real->posit16 2))))
1552126564.959 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1552126564.959 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552126564.959 * * [simplify]: iters left: 4 (10 enodes)
1552126564.962 * * [simplify]: iters left: 3 (21 enodes)
1552126564.966 * * [simplify]: iters left: 2 (42 enodes)
1552126564.975 * * [simplify]: iters left: 1 (83 enodes)
1552126564.984 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126564.984 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126564.984 * * [simplify]: Extracting #2: cost 23 inf + 1
1552126564.984 * * [simplify]: Extracting #3: cost 22 inf + 4
1552126564.984 * * [simplify]: Extracting #4: cost 7 inf + 7557
1552126564.985 * * [simplify]: Extracting #5: cost 1 inf + 11854
1552126564.985 * * [simplify]: Extracting #6: cost 0 inf + 13097
1552126564.986 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))))
1552126564.986 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1552126564.987 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552126564.987 * * [simplify]: iters left: 4 (10 enodes)
1552126564.990 * * [simplify]: iters left: 3 (31 enodes)
1552126564.997 * * [simplify]: iters left: 2 (84 enodes)
1552126565.032 * * [simplify]: iters left: 1 (243 enodes)
1552126565.238 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126565.239 * * [simplify]: Extracting #1: cost 69 inf + 0
1552126565.240 * * [simplify]: Extracting #2: cost 292 inf + 763
1552126565.241 * * [simplify]: Extracting #3: cost 290 inf + 19278
1552126565.248 * * [simplify]: Extracting #4: cost 211 inf + 140467
1552126565.264 * * [simplify]: Extracting #5: cost 50 inf + 372763
1552126565.284 * * [simplify]: Extracting #6: cost 0 inf + 397205
1552126565.304 * * [simplify]: Extracting #7: cost 0 inf + 392365
1552126565.321 * * [simplify]: Extracting #8: cost 0 inf + 392245
1552126565.339 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552126565.339 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
1552126565.339 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1552126565.339 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126565.339 * * [simplify]: iters left: 3 (7 enodes)
1552126565.341 * * [simplify]: iters left: 2 (13 enodes)
1552126565.344 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126565.344 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126565.344 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126565.344 * * [simplify]: Extracting #3: cost 4 inf + 3
1552126565.344 * * [simplify]: Extracting #4: cost 3 inf + 4
1552126565.344 * * [simplify]: Extracting #5: cost 0 inf + 690
1552126565.344 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126565.344 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1552126565.344 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552126565.344 * * [simplify]: iters left: 3 (7 enodes)
1552126565.346 * * [simplify]: iters left: 2 (19 enodes)
1552126565.350 * * [simplify]: iters left: 1 (37 enodes)
1552126565.356 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126565.356 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126565.357 * * [simplify]: Extracting #2: cost 21 inf + 0
1552126565.357 * * [simplify]: Extracting #3: cost 27 inf + 165
1552126565.357 * * [simplify]: Extracting #4: cost 27 inf + 167
1552126565.357 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552126565.358 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552126565.359 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126565.359 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1552126565.359 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1552126565.359 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1552126565.359 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (real->posit16 2)) i) (real->posit16 1.0))))>
1552126565.359 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (real->posit16 2) (*.p16 i (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
1552126565.359 * [simplify]: Simplifying (real->posit16 2)
1552126565.359 * * [simplify]: iters left: 1 (2 enodes)
1552126565.360 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126565.360 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126565.360 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126565.360 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126565.360 * [simplify]: Simplified to (real->posit16 2)
1552126565.360 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (real->posit16 2) (*.p16 i (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
1552126565.360 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126565.360 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126565.361 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1552126565.361 * * [simplify]: iters left: 5 (14 enodes)
1552126565.365 * * [simplify]: iters left: 4 (49 enodes)
1552126565.379 * * [simplify]: iters left: 3 (183 enodes)
1552126565.634 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126565.634 * * [simplify]: Extracting #1: cost 46 inf + 0
1552126565.635 * * [simplify]: Extracting #2: cost 276 inf + 442
1552126565.637 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552126565.641 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552126565.651 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552126565.663 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552126565.677 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552126565.692 * [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)))
1552126565.692 * [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))))
1552126565.692 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126565.693 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1552126565.693 * * [simplify]: iters left: 5 (14 enodes)
1552126565.697 * * [simplify]: iters left: 4 (49 enodes)
1552126565.713 * * [simplify]: iters left: 3 (183 enodes)
1552126565.924 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126565.924 * * [simplify]: Extracting #1: cost 46 inf + 0
1552126565.925 * * [simplify]: Extracting #2: cost 276 inf + 442
1552126565.927 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552126565.930 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552126565.941 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552126565.954 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552126565.967 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552126565.983 * [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)))
1552126565.983 * [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))))
1552126565.983 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126565.983 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1552126565.983 * * [simplify]: iters left: 5 (14 enodes)
1552126565.987 * * [simplify]: iters left: 4 (49 enodes)
1552126566.001 * * [simplify]: iters left: 3 (183 enodes)
1552126566.221 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126566.222 * * [simplify]: Extracting #1: cost 46 inf + 0
1552126566.222 * * [simplify]: Extracting #2: cost 276 inf + 442
1552126566.224 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552126566.228 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552126566.240 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552126566.253 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552126566.272 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552126566.293 * [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)))
1552126566.293 * [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))))
1552126566.293 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1552126566.293 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1552126566.293 * * [simplify]: iters left: 5 (14 enodes)
1552126566.299 * * [simplify]: iters left: 4 (49 enodes)
1552126566.322 * * [simplify]: iters left: 3 (183 enodes)
1552126566.554 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126566.554 * * [simplify]: Extracting #1: cost 46 inf + 0
1552126566.555 * * [simplify]: Extracting #2: cost 276 inf + 442
1552126566.558 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552126566.564 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552126566.578 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552126566.591 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552126566.604 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552126566.618 * [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)))
1552126566.618 * [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))))
1552126566.618 * * * [progress]: adding candidates to table
1552126567.541 * * [progress]: iteration 4 / 4
1552126567.541 * * * [progress]: picking best candidate
1552126567.766 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
1552126567.766 * * * [progress]: localizing error
1552126568.003 * * * [progress]: generating rewritten candidates
1552126568.003 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552126568.006 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552126568.008 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1552126568.011 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1552126568.013 * * * [progress]: generating series expansions
1552126568.013 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552126568.013 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552126568.013 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1552126568.014 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1552126568.014 * * * [progress]: simplifying candidates
1552126568.014 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
1552126568.014 * [simplify]: Simplifying (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))
1552126568.014 * * [simplify]: iters left: 3 (7 enodes)
1552126568.017 * * [simplify]: iters left: 2 (13 enodes)
1552126568.020 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.020 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126568.020 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126568.020 * * [simplify]: Extracting #3: cost 5 inf + 2
1552126568.020 * * [simplify]: Extracting #4: cost 0 inf + 690
1552126568.020 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126568.020 * [simplify]: Simplified (2 1 2) to (λ (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)))))
1552126568.020 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 (/.p16 i (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (real->posit16 2))))>
1552126568.021 * [simplify]: Simplifying (real->posit16 2)
1552126568.021 * * [simplify]: iters left: 1 (2 enodes)
1552126568.022 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.022 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126568.022 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126568.022 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126568.022 * [simplify]: Simplified to (real->posit16 2)
1552126568.022 * [simplify]: Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 (/.p16 i (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (real->posit16 2))))
1552126568.022 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (*.p16 (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
1552126568.022 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126568.022 * * [simplify]: iters left: 3 (7 enodes)
1552126568.025 * * [simplify]: iters left: 2 (13 enodes)
1552126568.028 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.028 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126568.028 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126568.028 * * [simplify]: Extracting #3: cost 4 inf + 3
1552126568.028 * * [simplify]: Extracting #4: cost 0 inf + 690
1552126568.028 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126568.028 * [simplify]: Simplified (2 2 2) to (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (*.p16 (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1552126568.028 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
1552126568.028 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126568.029 * * [simplify]: iters left: 3 (7 enodes)
1552126568.031 * * [simplify]: iters left: 2 (13 enodes)
1552126568.034 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.034 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126568.034 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126568.034 * * [simplify]: Extracting #3: cost 4 inf + 3
1552126568.034 * * [simplify]: Extracting #4: cost 0 inf + 690
1552126568.034 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552126568.035 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1552126568.035 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) i) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))>
1552126568.035 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))
1552126568.035 * * [simplify]: iters left: 4 (8 enodes)
1552126568.038 * * [simplify]: iters left: 3 (21 enodes)
1552126568.044 * * [simplify]: iters left: 2 (47 enodes)
1552126568.058 * * [simplify]: iters left: 1 (123 enodes)
1552126568.119 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.119 * * [simplify]: Extracting #1: cost 29 inf + 0
1552126568.119 * * [simplify]: Extracting #2: cost 112 inf + 0
1552126568.120 * * [simplify]: Extracting #3: cost 131 inf + 1288
1552126568.121 * * [simplify]: Extracting #4: cost 126 inf + 14114
1552126568.124 * * [simplify]: Extracting #5: cost 72 inf + 56928
1552126568.133 * * [simplify]: Extracting #6: cost 3 inf + 129170
1552126568.145 * * [simplify]: Extracting #7: cost 0 inf + 132939
1552126568.157 * [simplify]: Simplified to (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1552126568.157 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) i) (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1552126568.157 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))) (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))))>
1552126568.157 * [simplify]: Simplifying (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126568.158 * * [simplify]: iters left: 6 (10 enodes)
1552126568.162 * * [simplify]: iters left: 5 (28 enodes)
1552126568.173 * * [simplify]: iters left: 4 (69 enodes)
1552126568.194 * * [simplify]: iters left: 3 (193 enodes)
1552126568.275 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.275 * * [simplify]: Extracting #1: cost 45 inf + 0
1552126568.276 * * [simplify]: Extracting #2: cost 187 inf + 1
1552126568.277 * * [simplify]: Extracting #3: cost 222 inf + 3576
1552126568.279 * * [simplify]: Extracting #4: cost 214 inf + 14732
1552126568.287 * * [simplify]: Extracting #5: cost 65 inf + 193014
1552126568.304 * * [simplify]: Extracting #6: cost 1 inf + 283878
1552126568.326 * * [simplify]: Extracting #7: cost 0 inf + 284801
1552126568.345 * [simplify]: Simplified to (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126568.345 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))) (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))))
1552126568.346 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))))))>
1552126568.346 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (neg.p16 (real->posit16 1.0))) (real->posit16 2)))))>
1552126568.346 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (/.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))) (real->posit16 2)))))>
1552126568.346 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
1552126568.346 * [simplify]: Simplifying (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126568.346 * * [simplify]: iters left: 6 (13 enodes)
1552126568.351 * * [simplify]: iters left: 5 (42 enodes)
1552126568.369 * * [simplify]: iters left: 4 (116 enodes)
1552126568.411 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.411 * * [simplify]: Extracting #1: cost 53 inf + 0
1552126568.412 * * [simplify]: Extracting #2: cost 141 inf + 1
1552126568.412 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552126568.414 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552126568.421 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552126568.433 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552126568.446 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552126568.458 * [simplify]: Simplified to (*.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))))
1552126568.458 * [simplify]: Simplified (2) to (λ (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)))))
1552126568.458 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
1552126568.458 * [simplify]: Simplifying (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126568.459 * * [simplify]: iters left: 6 (13 enodes)
1552126568.464 * * [simplify]: iters left: 5 (42 enodes)
1552126568.483 * * [simplify]: iters left: 4 (116 enodes)
1552126568.528 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.528 * * [simplify]: Extracting #1: cost 53 inf + 0
1552126568.529 * * [simplify]: Extracting #2: cost 141 inf + 1
1552126568.530 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552126568.532 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552126568.539 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552126568.549 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552126568.561 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552126568.571 * [simplify]: Simplified to (*.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))))
1552126568.571 * [simplify]: Simplified (2) to (λ (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)))))
1552126568.571 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
1552126568.571 * [simplify]: Simplifying (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126568.571 * * [simplify]: iters left: 6 (13 enodes)
1552126568.577 * * [simplify]: iters left: 5 (42 enodes)
1552126568.591 * * [simplify]: iters left: 4 (116 enodes)
1552126568.621 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.621 * * [simplify]: Extracting #1: cost 53 inf + 0
1552126568.622 * * [simplify]: Extracting #2: cost 141 inf + 1
1552126568.622 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552126568.623 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552126568.628 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552126568.636 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552126568.645 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552126568.656 * [simplify]: Simplified to (*.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))))
1552126568.656 * [simplify]: Simplified (2) to (λ (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)))))
1552126568.656 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))>
1552126568.657 * [simplify]: Simplifying (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126568.657 * * [simplify]: iters left: 6 (13 enodes)
1552126568.660 * * [simplify]: iters left: 5 (42 enodes)
1552126568.671 * * [simplify]: iters left: 4 (116 enodes)
1552126568.702 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126568.702 * * [simplify]: Extracting #1: cost 53 inf + 0
1552126568.703 * * [simplify]: Extracting #2: cost 141 inf + 1
1552126568.703 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552126568.705 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552126568.710 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552126568.723 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552126568.740 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552126568.754 * [simplify]: Simplified to (*.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))))
1552126568.754 * [simplify]: Simplified (2) to (λ (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)))))
1552126568.754 * * * [progress]: adding candidates to table
1552126569.515 * [progress]: [Phase 3 of 3] Extracting.
1552126569.516 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (real->posit16 2) (*.p16 i (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (real->posit16 2))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))) (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))))> #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (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)))))>)
1552126569.518 * * * [regime-changes]: Trying 1 branch expressions: (i)
1552126569.518 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (real->posit16 2) (*.p16 i (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (real->posit16 2))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))> #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))> #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))) (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))))> #<alt (λ (i) (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (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)))))>)
1552126570.042 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
1552126570.042 * [simplify]: Simplifying (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126570.043 * * [simplify]: iters left: 6 (13 enodes)
1552126570.047 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126570.047 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126570.047 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126570.047 * * [simplify]: Extracting #3: cost 8 inf + 1
1552126570.047 * * [simplify]: Extracting #4: cost 11 inf + 1
1552126570.047 * * [simplify]: Extracting #5: cost 9 inf + 325
1552126570.047 * * [simplify]: Extracting #6: cost 8 inf + 326
1552126570.047 * * [simplify]: Extracting #7: cost 4 inf + 1776
1552126570.048 * * [simplify]: Extracting #8: cost 1 inf + 4785
1552126570.048 * * [simplify]: Extracting #9: cost 0 inf + 7068
1552126570.048 * [simplify]: Simplified to (*.p16 (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552126570.048 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126570.061 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126570.065 * * * * [points]: Setting MPFR precision to 64
1552126570.066 * * * * [points]: Setting MPFR precision to 320
1552126570.068 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126570.072 * * * * [points]: Setting MPFR precision to 64
1552126570.074 * * * * [points]: Setting MPFR precision to 320
1552126570.077 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126570.081 * * * * [points]: Setting MPFR precision to 64
1552126570.085 * * * * [points]: Setting MPFR precision to 320
1552126570.091 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126570.095 * * * * [points]: Setting MPFR precision to 64
1552126570.103 * * * * [points]: Setting MPFR precision to 320
1552126570.114 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126570.118 * * * * [points]: Setting MPFR precision to 64
1552126570.136 * * * * [points]: Setting MPFR precision to 320
1552126570.169 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126570.172 * * * * [points]: Setting MPFR precision to 64
1552126570.205 * * * * [points]: Setting MPFR precision to 320
1552126570.243 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126570.245 * * * * [points]: Setting MPFR precision to 64
1552126570.310 * * * * [points]: Setting MPFR precision to 320
1552126570.413 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126570.416 * * * * [points]: Setting MPFR precision to 64
1552126570.544 * * * * [points]: Setting MPFR precision to 320
1552126570.690 * * * * [points]: Computing exacts for 8000 points
1552126570.693 * * * * [points]: Setting MPFR precision to 64
1552126571.274 * * * * [points]: Setting MPFR precision to 320
1552126572.299 * * * * [points]: Filtering points with unrepresentable outputs
1552126572.480 * * * * [points]: Sampling 3959 additional inputs, on iter 1 have 4041 / 8000
1552126572.488 * * * * [points]: Computing exacts on every 247 of 3959 points to ramp up precision
1552126572.492 * * * * [points]: Setting MPFR precision to 64
1552126572.494 * * * * [points]: Setting MPFR precision to 320
1552126572.495 * * * * [points]: Computing exacts on every 123 of 3959 points to ramp up precision
1552126572.497 * * * * [points]: Setting MPFR precision to 64
1552126572.499 * * * * [points]: Setting MPFR precision to 320
1552126572.501 * * * * [points]: Computing exacts on every 61 of 3959 points to ramp up precision
1552126572.503 * * * * [points]: Setting MPFR precision to 64
1552126572.507 * * * * [points]: Setting MPFR precision to 320
1552126572.510 * * * * [points]: Computing exacts on every 30 of 3959 points to ramp up precision
1552126572.513 * * * * [points]: Setting MPFR precision to 64
1552126572.535 * * * * [points]: Setting MPFR precision to 320
1552126572.549 * * * * [points]: Computing exacts on every 15 of 3959 points to ramp up precision
1552126572.554 * * * * [points]: Setting MPFR precision to 64
1552126572.566 * * * * [points]: Setting MPFR precision to 320
1552126572.580 * * * * [points]: Computing exacts on every 7 of 3959 points to ramp up precision
1552126572.583 * * * * [points]: Setting MPFR precision to 64
1552126572.606 * * * * [points]: Setting MPFR precision to 320
1552126572.635 * * * * [points]: Computing exacts on every 3 of 3959 points to ramp up precision
1552126572.638 * * * * [points]: Setting MPFR precision to 64
1552126572.711 * * * * [points]: Setting MPFR precision to 320
1552126572.770 * * * * [points]: Computing exacts for 3959 points
1552126572.775 * * * * [points]: Setting MPFR precision to 64
1552126573.155 * * * * [points]: Setting MPFR precision to 320
1552126573.533 * * * * [points]: Filtering points with unrepresentable outputs
1552126573.595 * * * * [points]: Sampling 1954 additional inputs, on iter 2 have 6046 / 8000
1552126573.598 * * * * [points]: Computing exacts on every 122 of 1954 points to ramp up precision
1552126573.601 * * * * [points]: Setting MPFR precision to 64
1552126573.602 * * * * [points]: Setting MPFR precision to 320
1552126573.603 * * * * [points]: Computing exacts on every 61 of 1954 points to ramp up precision
1552126573.605 * * * * [points]: Setting MPFR precision to 64
1552126573.620 * * * * [points]: Setting MPFR precision to 320
1552126573.623 * * * * [points]: Computing exacts on every 30 of 1954 points to ramp up precision
1552126573.628 * * * * [points]: Setting MPFR precision to 64
1552126573.634 * * * * [points]: Setting MPFR precision to 320
1552126573.640 * * * * [points]: Computing exacts on every 15 of 1954 points to ramp up precision
1552126573.643 * * * * [points]: Setting MPFR precision to 64
1552126573.651 * * * * [points]: Setting MPFR precision to 320
1552126573.659 * * * * [points]: Computing exacts on every 7 of 1954 points to ramp up precision
1552126573.662 * * * * [points]: Setting MPFR precision to 64
1552126573.675 * * * * [points]: Setting MPFR precision to 320
1552126573.692 * * * * [points]: Computing exacts on every 3 of 1954 points to ramp up precision
1552126573.697 * * * * [points]: Setting MPFR precision to 64
1552126573.736 * * * * [points]: Setting MPFR precision to 320
1552126573.781 * * * * [points]: Computing exacts for 1954 points
1552126573.818 * * * * [points]: Setting MPFR precision to 64
1552126573.974 * * * * [points]: Setting MPFR precision to 320
1552126574.185 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.263 * * * * [points]: Sampling 987 additional inputs, on iter 3 have 7013 / 8000
1552126574.266 * * * * [points]: Computing exacts on every 61 of 987 points to ramp up precision
1552126574.273 * * * * [points]: Setting MPFR precision to 64
1552126574.274 * * * * [points]: Setting MPFR precision to 320
1552126574.276 * * * * [points]: Computing exacts on every 30 of 987 points to ramp up precision
1552126574.281 * * * * [points]: Setting MPFR precision to 64
1552126574.284 * * * * [points]: Setting MPFR precision to 320
1552126574.287 * * * * [points]: Computing exacts on every 15 of 987 points to ramp up precision
1552126574.292 * * * * [points]: Setting MPFR precision to 64
1552126574.297 * * * * [points]: Setting MPFR precision to 320
1552126574.303 * * * * [points]: Computing exacts on every 7 of 987 points to ramp up precision
1552126574.308 * * * * [points]: Setting MPFR precision to 64
1552126574.318 * * * * [points]: Setting MPFR precision to 320
1552126574.326 * * * * [points]: Computing exacts on every 3 of 987 points to ramp up precision
1552126574.329 * * * * [points]: Setting MPFR precision to 64
1552126574.341 * * * * [points]: Setting MPFR precision to 320
1552126574.356 * * * * [points]: Computing exacts for 987 points
1552126574.358 * * * * [points]: Setting MPFR precision to 64
1552126574.444 * * * * [points]: Setting MPFR precision to 320
1552126574.517 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.537 * * * * [points]: Sampling 474 additional inputs, on iter 4 have 7526 / 8000
1552126574.538 * * * * [points]: Computing exacts on every 29 of 474 points to ramp up precision
1552126574.541 * * * * [points]: Setting MPFR precision to 64
1552126574.542 * * * * [points]: Setting MPFR precision to 320
1552126574.543 * * * * [points]: Computing exacts on every 14 of 474 points to ramp up precision
1552126574.546 * * * * [points]: Setting MPFR precision to 64
1552126574.548 * * * * [points]: Setting MPFR precision to 320
1552126574.550 * * * * [points]: Computing exacts on every 7 of 474 points to ramp up precision
1552126574.556 * * * * [points]: Setting MPFR precision to 64
1552126574.562 * * * * [points]: Setting MPFR precision to 320
1552126574.567 * * * * [points]: Computing exacts on every 3 of 474 points to ramp up precision
1552126574.569 * * * * [points]: Setting MPFR precision to 64
1552126574.596 * * * * [points]: Setting MPFR precision to 320
1552126574.604 * * * * [points]: Computing exacts for 474 points
1552126574.607 * * * * [points]: Setting MPFR precision to 64
1552126574.636 * * * * [points]: Setting MPFR precision to 320
1552126574.684 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.696 * * * * [points]: Sampling 245 additional inputs, on iter 5 have 7755 / 8000
1552126574.697 * * * * [points]: Computing exacts on every 15 of 245 points to ramp up precision
1552126574.702 * * * * [points]: Setting MPFR precision to 64
1552126574.703 * * * * [points]: Setting MPFR precision to 320
1552126574.705 * * * * [points]: Computing exacts on every 7 of 245 points to ramp up precision
1552126574.710 * * * * [points]: Setting MPFR precision to 64
1552126574.713 * * * * [points]: Setting MPFR precision to 320
1552126574.716 * * * * [points]: Computing exacts on every 3 of 245 points to ramp up precision
1552126574.721 * * * * [points]: Setting MPFR precision to 64
1552126574.726 * * * * [points]: Setting MPFR precision to 320
1552126574.733 * * * * [points]: Computing exacts for 245 points
1552126574.738 * * * * [points]: Setting MPFR precision to 64
1552126574.760 * * * * [points]: Setting MPFR precision to 320
1552126574.807 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.814 * * * * [points]: Sampling 130 additional inputs, on iter 6 have 7870 / 8000
1552126574.814 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
1552126574.819 * * * * [points]: Setting MPFR precision to 64
1552126574.821 * * * * [points]: Setting MPFR precision to 320
1552126574.822 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
1552126574.827 * * * * [points]: Setting MPFR precision to 64
1552126574.830 * * * * [points]: Setting MPFR precision to 320
1552126574.833 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
1552126574.838 * * * * [points]: Setting MPFR precision to 64
1552126574.842 * * * * [points]: Setting MPFR precision to 320
1552126574.847 * * * * [points]: Computing exacts for 130 points
1552126574.853 * * * * [points]: Setting MPFR precision to 64
1552126574.865 * * * * [points]: Setting MPFR precision to 320
1552126574.878 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.882 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000
1552126574.883 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1552126574.888 * * * * [points]: Setting MPFR precision to 64
1552126574.889 * * * * [points]: Setting MPFR precision to 320
1552126574.891 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1552126574.896 * * * * [points]: Setting MPFR precision to 64
1552126574.898 * * * * [points]: Setting MPFR precision to 320
1552126574.900 * * * * [points]: Computing exacts for 65 points
1552126574.906 * * * * [points]: Setting MPFR precision to 64
1552126574.912 * * * * [points]: Setting MPFR precision to 320
1552126574.918 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.921 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
1552126574.921 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1552126574.926 * * * * [points]: Setting MPFR precision to 64
1552126574.927 * * * * [points]: Setting MPFR precision to 320
1552126574.929 * * * * [points]: Computing exacts for 32 points
1552126574.934 * * * * [points]: Setting MPFR precision to 64
1552126574.937 * * * * [points]: Setting MPFR precision to 320
1552126574.940 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.941 * * * * [points]: Sampling 19 additional inputs, on iter 9 have 7981 / 8000
1552126574.941 * * * * [points]: Computing exacts for 19 points
1552126574.946 * * * * [points]: Setting MPFR precision to 64
1552126574.948 * * * * [points]: Setting MPFR precision to 320
1552126574.950 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.950 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
1552126574.951 * * * * [points]: Computing exacts for 10 points
1552126574.983 * * * * [points]: Setting MPFR precision to 64
1552126574.985 * * * * [points]: Setting MPFR precision to 320
1552126574.986 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.986 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000
1552126574.986 * * * * [points]: Computing exacts for 5 points
1552126574.993 * * * * [points]: Setting MPFR precision to 64
1552126574.994 * * * * [points]: Setting MPFR precision to 320
1552126574.994 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.995 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
1552126574.995 * * * * [points]: Computing exacts for 4 points
1552126575.000 * * * * [points]: Setting MPFR precision to 64
1552126575.000 * * * * [points]: Setting MPFR precision to 320
1552126575.001 * * * * [points]: Filtering points with unrepresentable outputs
1552126575.001 * * * * [points]: Sampled 8001 points with exact outputs
1552126582.759 * [regime-testing]: Baseline error score: 64.0
1552126582.761 * [regime-testing]: Oracle error score: 64.0
1552126582.765 * [regime-testing]: End program error score: 0.48135046740003185