1552123092.351 * [progress]: [Phase 1 of 3] Setting up.
1552123092.351 * * * [progress]: [1/2] Preparing points
1552123092.352 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552123092.353 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552123092.357 * * * * [points]: Setting MPFR precision to 64
1552123092.359 * * * * [points]: Setting MPFR precision to 320
1552123092.361 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552123092.366 * * * * [points]: Setting MPFR precision to 64
1552123092.367 * * * * [points]: Setting MPFR precision to 320
1552123092.369 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552123092.371 * * * * [points]: Setting MPFR precision to 64
1552123092.374 * * * * [points]: Setting MPFR precision to 320
1552123092.377 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552123092.380 * * * * [points]: Setting MPFR precision to 64
1552123092.384 * * * * [points]: Setting MPFR precision to 320
1552123092.389 * * * * [points]: Computing exacts for 256 points
1552123092.398 * * * * [points]: Setting MPFR precision to 64
1552123092.411 * * * * [points]: Setting MPFR precision to 320
1552123092.425 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.429 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256
1552123092.429 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
1552123092.432 * * * * [points]: Setting MPFR precision to 64
1552123092.433 * * * * [points]: Setting MPFR precision to 320
1552123092.434 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
1552123092.437 * * * * [points]: Setting MPFR precision to 64
1552123092.439 * * * * [points]: Setting MPFR precision to 320
1552123092.440 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
1552123092.443 * * * * [points]: Setting MPFR precision to 64
1552123092.445 * * * * [points]: Setting MPFR precision to 320
1552123092.448 * * * * [points]: Computing exacts for 134 points
1552123092.451 * * * * [points]: Setting MPFR precision to 64
1552123092.457 * * * * [points]: Setting MPFR precision to 320
1552123092.465 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.467 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
1552123092.468 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1552123092.470 * * * * [points]: Setting MPFR precision to 64
1552123092.471 * * * * [points]: Setting MPFR precision to 320
1552123092.472 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1552123092.475 * * * * [points]: Setting MPFR precision to 64
1552123092.476 * * * * [points]: Setting MPFR precision to 320
1552123092.477 * * * * [points]: Computing exacts for 65 points
1552123092.480 * * * * [points]: Setting MPFR precision to 64
1552123092.483 * * * * [points]: Setting MPFR precision to 320
1552123092.487 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.489 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
1552123092.489 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1552123092.492 * * * * [points]: Setting MPFR precision to 64
1552123092.493 * * * * [points]: Setting MPFR precision to 320
1552123092.494 * * * * [points]: Computing exacts for 37 points
1552123092.519 * * * * [points]: Setting MPFR precision to 64
1552123092.521 * * * * [points]: Setting MPFR precision to 320
1552123092.523 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.524 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
1552123092.524 * * * * [points]: Computing exacts for 18 points
1552123092.528 * * * * [points]: Setting MPFR precision to 64
1552123092.530 * * * * [points]: Setting MPFR precision to 320
1552123092.531 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.531 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256
1552123092.531 * * * * [points]: Computing exacts for 12 points
1552123092.534 * * * * [points]: Setting MPFR precision to 64
1552123092.535 * * * * [points]: Setting MPFR precision to 320
1552123092.536 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.536 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
1552123092.536 * * * * [points]: Computing exacts for 5 points
1552123092.539 * * * * [points]: Setting MPFR precision to 64
1552123092.539 * * * * [points]: Setting MPFR precision to 320
1552123092.540 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.540 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
1552123092.540 * * * * [points]: Computing exacts for 4 points
1552123092.542 * * * * [points]: Setting MPFR precision to 64
1552123092.543 * * * * [points]: Setting MPFR precision to 320
1552123092.543 * * * * [points]: Filtering points with unrepresentable outputs
1552123092.543 * * * * [points]: Sampled 256 points with exact outputs
1552123092.543 * * * [progress]: [2/2] Setting up program.
1552123092.567 * [progress]: [Phase 2 of 3] Improving.
1552123092.567 * * * * [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))))>
1552123092.567 * [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)))
1552123092.567 * * [simplify]: iters left: 5 (12 enodes)
1552123092.574 * * [simplify]: iters left: 4 (43 enodes)
1552123092.593 * * [simplify]: iters left: 3 (170 enodes)
1552123092.686 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123092.686 * * [simplify]: Extracting #1: cost 78 inf + 0
1552123092.687 * * [simplify]: Extracting #2: cost 269 inf + 322
1552123092.689 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552123092.692 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552123092.714 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552123092.744 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552123092.778 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552123092.806 * [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))
1552123092.806 * [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)))
1552123092.867 * * [progress]: iteration 1 / 4
1552123092.867 * * * [progress]: picking best candidate
1552123092.937 * * * * [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))))>
1552123092.937 * * * [progress]: localizing error
1552123093.212 * * * [progress]: generating rewritten candidates
1552123093.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552123093.216 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552123093.230 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552123093.233 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1552123093.236 * * * [progress]: generating series expansions
1552123093.236 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552123093.236 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552123093.236 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552123093.236 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1552123093.236 * * * [progress]: simplifying candidates
1552123093.236 * * * * [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))))>
1552123093.236 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
1552123093.236 * * [simplify]: iters left: 2 (4 enodes)
1552123093.238 * * [simplify]: iters left: 1 (8 enodes)
1552123093.239 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.239 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123093.239 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123093.239 * * [simplify]: Extracting #3: cost 2 inf + 2
1552123093.239 * * [simplify]: Extracting #4: cost 0 inf + 325
1552123093.239 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1552123093.239 * [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))))
1552123093.239 * * * * [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))))>
1552123093.239 * [simplify]: Simplifying (*.p16 i i)
1552123093.239 * * [simplify]: iters left: 1 (2 enodes)
1552123093.240 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.240 * * [simplify]: Extracting #1: cost 2 inf + 0
1552123093.240 * * [simplify]: Extracting #2: cost 1 inf + 1
1552123093.240 * * [simplify]: Extracting #3: cost 0 inf + 322
1552123093.240 * [simplify]: Simplified to (*.p16 i i)
1552123093.240 * [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))))
1552123093.240 * * * * [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))))>
1552123093.240 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123093.240 * * [simplify]: iters left: 3 (6 enodes)
1552123093.242 * * [simplify]: iters left: 2 (17 enodes)
1552123093.245 * * [simplify]: iters left: 1 (32 enodes)
1552123093.253 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.253 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123093.253 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123093.253 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123093.253 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123093.253 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123093.253 * [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))))
1552123093.254 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123093.254 * * [simplify]: iters left: 3 (6 enodes)
1552123093.255 * * [simplify]: iters left: 2 (17 enodes)
1552123093.259 * * [simplify]: iters left: 1 (32 enodes)
1552123093.267 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.267 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123093.267 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123093.267 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123093.267 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123093.267 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123093.267 * [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))))
1552123093.268 * * * * [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))))>
1552123093.268 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123093.268 * * [simplify]: iters left: 3 (7 enodes)
1552123093.270 * * [simplify]: iters left: 2 (19 enodes)
1552123093.275 * * [simplify]: iters left: 1 (37 enodes)
1552123093.283 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.283 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123093.283 * * [simplify]: Extracting #2: cost 21 inf + 0
1552123093.283 * * [simplify]: Extracting #3: cost 27 inf + 165
1552123093.284 * * [simplify]: Extracting #4: cost 27 inf + 167
1552123093.284 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552123093.285 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552123093.286 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123093.286 * [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))))
1552123093.286 * * * * [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)))))>
1552123093.286 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123093.286 * * [simplify]: iters left: 3 (6 enodes)
1552123093.287 * * [simplify]: iters left: 2 (17 enodes)
1552123093.291 * * [simplify]: iters left: 1 (32 enodes)
1552123093.298 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.298 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123093.298 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123093.298 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123093.298 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123093.299 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123093.299 * [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)))))
1552123093.299 * * * * [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))))>
1552123093.299 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1552123093.299 * * [simplify]: iters left: 4 (8 enodes)
1552123093.301 * * [simplify]: iters left: 3 (18 enodes)
1552123093.306 * * [simplify]: iters left: 2 (25 enodes)
1552123093.309 * * [simplify]: iters left: 1 (29 enodes)
1552123093.314 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.314 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123093.314 * * [simplify]: Extracting #2: cost 11 inf + 0
1552123093.314 * * [simplify]: Extracting #3: cost 8 inf + 324
1552123093.314 * * [simplify]: Extracting #4: cost 7 inf + 325
1552123093.314 * * [simplify]: Extracting #5: cost 0 inf + 3578
1552123093.314 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1552123093.314 * [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))))
1552123093.314 * * * * [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)))))>
1552123093.315 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1552123093.315 * * [simplify]: iters left: 2 (3 enodes)
1552123093.315 * * [simplify]: iters left: 1 (9 enodes)
1552123093.317 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.317 * * [simplify]: Extracting #1: cost 4 inf + 0
1552123093.317 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123093.317 * * [simplify]: Extracting #3: cost 0 inf + 1604
1552123093.317 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1552123093.317 * [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)))))
1552123093.317 * * * * [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)))))>
1552123093.317 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552123093.317 * * [simplify]: iters left: 4 (10 enodes)
1552123093.319 * * [simplify]: iters left: 3 (25 enodes)
1552123093.324 * * [simplify]: iters left: 2 (51 enodes)
1552123093.339 * * [simplify]: iters left: 1 (112 enodes)
1552123093.383 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.383 * * [simplify]: Extracting #1: cost 57 inf + 0
1552123093.384 * * [simplify]: Extracting #2: cost 185 inf + 763
1552123093.385 * * [simplify]: Extracting #3: cost 127 inf + 36834
1552123093.388 * * [simplify]: Extracting #4: cost 71 inf + 75466
1552123093.393 * * [simplify]: Extracting #5: cost 6 inf + 143781
1552123093.399 * * [simplify]: Extracting #6: cost 0 inf + 152919
1552123093.405 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552123093.405 * [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)))))
1552123093.405 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552123093.405 * * [simplify]: iters left: 4 (10 enodes)
1552123093.408 * * [simplify]: iters left: 3 (31 enodes)
1552123093.414 * * [simplify]: iters left: 2 (84 enodes)
1552123093.445 * * [simplify]: iters left: 1 (243 enodes)
1552123093.637 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.637 * * [simplify]: Extracting #1: cost 69 inf + 0
1552123093.638 * * [simplify]: Extracting #2: cost 292 inf + 763
1552123093.639 * * [simplify]: Extracting #3: cost 290 inf + 19278
1552123093.644 * * [simplify]: Extracting #4: cost 211 inf + 140467
1552123093.661 * * [simplify]: Extracting #5: cost 50 inf + 372763
1552123093.678 * * [simplify]: Extracting #6: cost 0 inf + 397205
1552123093.696 * * [simplify]: Extracting #7: cost 0 inf + 392365
1552123093.713 * * [simplify]: Extracting #8: cost 0 inf + 392245
1552123093.730 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552123093.730 * [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)))))
1552123093.731 * * * * [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))))>
1552123093.731 * * * * [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))))>
1552123093.731 * * * * [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))))>
1552123093.731 * * * * [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)))))>
1552123093.731 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123093.731 * * [simplify]: iters left: 3 (7 enodes)
1552123093.734 * * [simplify]: iters left: 2 (13 enodes)
1552123093.736 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.736 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123093.736 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123093.736 * * [simplify]: Extracting #3: cost 4 inf + 3
1552123093.736 * * [simplify]: Extracting #4: cost 3 inf + 4
1552123093.736 * * [simplify]: Extracting #5: cost 0 inf + 690
1552123093.736 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123093.736 * [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)))))
1552123093.737 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123093.737 * * [simplify]: iters left: 3 (7 enodes)
1552123093.739 * * [simplify]: iters left: 2 (19 enodes)
1552123093.742 * * [simplify]: iters left: 1 (37 enodes)
1552123093.749 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.749 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123093.749 * * [simplify]: Extracting #2: cost 21 inf + 0
1552123093.749 * * [simplify]: Extracting #3: cost 27 inf + 165
1552123093.749 * * [simplify]: Extracting #4: cost 27 inf + 167
1552123093.749 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552123093.750 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552123093.751 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123093.751 * [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)))))
1552123093.751 * * * * [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)))))>
1552123093.751 * * * * [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)))))>
1552123093.751 * * * * [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))))>
1552123093.752 * [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)))
1552123093.752 * * [simplify]: iters left: 5 (12 enodes)
1552123093.755 * * [simplify]: iters left: 4 (43 enodes)
1552123093.765 * * [simplify]: iters left: 3 (170 enodes)
1552123093.821 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.821 * * [simplify]: Extracting #1: cost 78 inf + 0
1552123093.822 * * [simplify]: Extracting #2: cost 269 inf + 322
1552123093.823 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552123093.826 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552123093.839 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552123093.858 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552123093.876 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552123093.899 * [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))
1552123093.900 * [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)))
1552123093.900 * * * * [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))))>
1552123093.900 * [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)))
1552123093.900 * * [simplify]: iters left: 5 (12 enodes)
1552123093.903 * * [simplify]: iters left: 4 (43 enodes)
1552123093.914 * * [simplify]: iters left: 3 (170 enodes)
1552123093.967 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123093.967 * * [simplify]: Extracting #1: cost 78 inf + 0
1552123093.968 * * [simplify]: Extracting #2: cost 269 inf + 322
1552123093.969 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552123093.976 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552123093.998 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552123094.020 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552123094.037 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552123094.054 * [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))
1552123094.054 * [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)))
1552123094.054 * * * * [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))))>
1552123094.054 * [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)))
1552123094.054 * * [simplify]: iters left: 5 (12 enodes)
1552123094.062 * * [simplify]: iters left: 4 (43 enodes)
1552123094.072 * * [simplify]: iters left: 3 (170 enodes)
1552123094.124 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123094.124 * * [simplify]: Extracting #1: cost 78 inf + 0
1552123094.124 * * [simplify]: Extracting #2: cost 269 inf + 322
1552123094.126 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552123094.131 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552123094.144 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552123094.161 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552123094.178 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552123094.194 * [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))
1552123094.195 * [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)))
1552123094.195 * * * * [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))))>
1552123094.195 * [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)))
1552123094.195 * * [simplify]: iters left: 5 (12 enodes)
1552123094.198 * * [simplify]: iters left: 4 (43 enodes)
1552123094.209 * * [simplify]: iters left: 3 (170 enodes)
1552123094.260 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123094.261 * * [simplify]: Extracting #1: cost 78 inf + 0
1552123094.261 * * [simplify]: Extracting #2: cost 269 inf + 322
1552123094.262 * * [simplify]: Extracting #3: cost 284 inf + 8772
1552123094.266 * * [simplify]: Extracting #4: cost 196 inf + 144483
1552123094.282 * * [simplify]: Extracting #5: cost 27 inf + 409616
1552123094.299 * * [simplify]: Extracting #6: cost 0 inf + 414512
1552123094.315 * * [simplify]: Extracting #7: cost 0 inf + 407040
1552123094.332 * [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))
1552123094.332 * [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)))
1552123094.332 * * * [progress]: adding candidates to table
1552123095.352 * * [progress]: iteration 2 / 4
1552123095.352 * * * [progress]: picking best candidate
1552123095.581 * * * * [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))))>
1552123095.581 * * * [progress]: localizing error
1552123095.703 * * * [progress]: generating rewritten candidates
1552123095.703 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552123095.705 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1552123095.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1552123095.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1552123095.714 * * * [progress]: generating series expansions
1552123095.714 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552123095.714 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1552123095.714 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1552123095.714 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1552123095.714 * * * [progress]: simplifying candidates
1552123095.714 * * * * [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))))>
1552123095.715 * * * * [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))))>
1552123095.715 * * * * [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))))>
1552123095.715 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1552123095.715 * * [simplify]: iters left: 2 (4 enodes)
1552123095.717 * * [simplify]: iters left: 1 (7 enodes)
1552123095.719 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.719 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123095.719 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123095.719 * * [simplify]: Extracting #3: cost 0 inf + 445
1552123095.719 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123095.719 * [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))))
1552123095.719 * [simplify]: Simplifying (/.p16 i i)
1552123095.719 * * [simplify]: iters left: 1 (2 enodes)
1552123095.720 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.720 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123095.720 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123095.720 * * [simplify]: Extracting #3: cost 0 inf + 3
1552123095.720 * [simplify]: Simplified to (real->posit16 1.0)
1552123095.720 * [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))))
1552123095.720 * * * * [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))))>
1552123095.721 * * * * [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))))>
1552123095.721 * * * * [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))))>
1552123095.721 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1552123095.721 * * [simplify]: iters left: 2 (4 enodes)
1552123095.722 * * [simplify]: iters left: 1 (7 enodes)
1552123095.724 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.724 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123095.724 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123095.724 * * [simplify]: Extracting #3: cost 0 inf + 445
1552123095.724 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123095.724 * [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))))
1552123095.724 * [simplify]: Simplifying (/.p16 i i)
1552123095.724 * * [simplify]: iters left: 1 (2 enodes)
1552123095.725 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.725 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123095.725 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123095.726 * * [simplify]: Extracting #3: cost 0 inf + 3
1552123095.726 * [simplify]: Simplified to (real->posit16 1.0)
1552123095.726 * [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))))
1552123095.726 * * * * [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))))>
1552123095.726 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123095.726 * * [simplify]: iters left: 3 (7 enodes)
1552123095.729 * * [simplify]: iters left: 2 (19 enodes)
1552123095.734 * * [simplify]: iters left: 1 (37 enodes)
1552123095.752 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.752 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123095.752 * * [simplify]: Extracting #2: cost 21 inf + 0
1552123095.752 * * [simplify]: Extracting #3: cost 27 inf + 165
1552123095.752 * * [simplify]: Extracting #4: cost 27 inf + 167
1552123095.753 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552123095.754 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552123095.755 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123095.755 * [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))))
1552123095.755 * * * * [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)))))>
1552123095.756 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123095.756 * * [simplify]: iters left: 3 (6 enodes)
1552123095.758 * * [simplify]: iters left: 2 (17 enodes)
1552123095.762 * * [simplify]: iters left: 1 (32 enodes)
1552123095.774 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.774 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123095.774 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123095.774 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123095.774 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123095.775 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123095.775 * [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)))))
1552123095.775 * * * * [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))))>
1552123095.775 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1552123095.775 * * [simplify]: iters left: 4 (8 enodes)
1552123095.778 * * [simplify]: iters left: 3 (18 enodes)
1552123095.783 * * [simplify]: iters left: 2 (25 enodes)
1552123095.788 * * [simplify]: iters left: 1 (29 enodes)
1552123095.795 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.795 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123095.795 * * [simplify]: Extracting #2: cost 11 inf + 0
1552123095.795 * * [simplify]: Extracting #3: cost 8 inf + 324
1552123095.795 * * [simplify]: Extracting #4: cost 7 inf + 325
1552123095.796 * * [simplify]: Extracting #5: cost 0 inf + 3578
1552123095.796 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1552123095.796 * [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))))
1552123095.796 * * * * [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))))>
1552123095.796 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (*.p16 i i))
1552123095.796 * * [simplify]: iters left: 4 (7 enodes)
1552123095.799 * * [simplify]: iters left: 3 (23 enodes)
1552123095.806 * * [simplify]: iters left: 2 (68 enodes)
1552123095.848 * * [simplify]: iters left: 1 (158 enodes)
1552123095.912 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.912 * * [simplify]: Extracting #1: cost 45 inf + 0
1552123095.915 * * [simplify]: Extracting #2: cost 92 inf + 442
1552123095.915 * * [simplify]: Extracting #3: cost 74 inf + 16743
1552123095.917 * * [simplify]: Extracting #4: cost 39 inf + 41170
1552123095.922 * * [simplify]: Extracting #5: cost 1 inf + 76581
1552123095.927 * * [simplify]: Extracting #6: cost 0 inf + 77425
1552123095.932 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i i) i) (real->posit16 2))
1552123095.932 * [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))))
1552123095.932 * * * * [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))))>
1552123095.932 * [simplify]: Simplifying (*.p16 (*.p16 i i) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))
1552123095.932 * * [simplify]: iters left: 4 (7 enodes)
1552123095.935 * * [simplify]: iters left: 3 (23 enodes)
1552123095.942 * * [simplify]: iters left: 2 (68 enodes)
1552123095.980 * * [simplify]: iters left: 1 (153 enodes)
1552123096.065 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.065 * * [simplify]: Extracting #1: cost 42 inf + 0
1552123096.066 * * [simplify]: Extracting #2: cost 82 inf + 1924
1552123096.067 * * [simplify]: Extracting #3: cost 62 inf + 15193
1552123096.070 * * [simplify]: Extracting #4: cost 9 inf + 58935
1552123096.076 * * [simplify]: Extracting #5: cost 0 inf + 67280
1552123096.080 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i)
1552123096.080 * [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))))
1552123096.080 * * * * [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)))))>
1552123096.081 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552123096.081 * * [simplify]: iters left: 4 (10 enodes)
1552123096.085 * * [simplify]: iters left: 3 (25 enodes)
1552123096.091 * * [simplify]: iters left: 2 (51 enodes)
1552123096.106 * * [simplify]: iters left: 1 (112 enodes)
1552123096.165 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.166 * * [simplify]: Extracting #1: cost 57 inf + 0
1552123096.167 * * [simplify]: Extracting #2: cost 185 inf + 763
1552123096.169 * * [simplify]: Extracting #3: cost 127 inf + 36834
1552123096.173 * * [simplify]: Extracting #4: cost 71 inf + 75466
1552123096.181 * * [simplify]: Extracting #5: cost 6 inf + 143781
1552123096.190 * * [simplify]: Extracting #6: cost 0 inf + 152919
1552123096.199 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552123096.199 * [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)))))
1552123096.199 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552123096.199 * * [simplify]: iters left: 4 (10 enodes)
1552123096.203 * * [simplify]: iters left: 3 (31 enodes)
1552123096.212 * * [simplify]: iters left: 2 (84 enodes)
1552123096.248 * * [simplify]: iters left: 1 (243 enodes)
1552123096.429 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.429 * * [simplify]: Extracting #1: cost 69 inf + 0
1552123096.430 * * [simplify]: Extracting #2: cost 292 inf + 763
1552123096.431 * * [simplify]: Extracting #3: cost 290 inf + 19278
1552123096.436 * * [simplify]: Extracting #4: cost 211 inf + 140467
1552123096.453 * * [simplify]: Extracting #5: cost 50 inf + 372763
1552123096.471 * * [simplify]: Extracting #6: cost 0 inf + 397205
1552123096.488 * * [simplify]: Extracting #7: cost 0 inf + 392365
1552123096.515 * * [simplify]: Extracting #8: cost 0 inf + 392245
1552123096.540 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552123096.540 * [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)))))
1552123096.540 * * * * [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)))))>
1552123096.540 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123096.540 * * [simplify]: iters left: 3 (7 enodes)
1552123096.543 * * [simplify]: iters left: 2 (13 enodes)
1552123096.547 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.547 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.547 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123096.547 * * [simplify]: Extracting #3: cost 4 inf + 3
1552123096.547 * * [simplify]: Extracting #4: cost 3 inf + 4
1552123096.547 * * [simplify]: Extracting #5: cost 0 inf + 690
1552123096.547 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123096.547 * [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)))))
1552123096.547 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123096.548 * * [simplify]: iters left: 3 (7 enodes)
1552123096.551 * * [simplify]: iters left: 2 (19 enodes)
1552123096.554 * * [simplify]: iters left: 1 (37 enodes)
1552123096.564 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.564 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123096.564 * * [simplify]: Extracting #2: cost 21 inf + 0
1552123096.564 * * [simplify]: Extracting #3: cost 27 inf + 165
1552123096.565 * * [simplify]: Extracting #4: cost 27 inf + 167
1552123096.565 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552123096.566 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552123096.568 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123096.568 * [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)))))
1552123096.568 * * * * [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)))))>
1552123096.568 * * * * [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)))))>
1552123096.568 * * * * [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))))>
1552123096.569 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.569 * * [simplify]: iters left: 3 (6 enodes)
1552123096.571 * * [simplify]: iters left: 2 (17 enodes)
1552123096.576 * * [simplify]: iters left: 1 (32 enodes)
1552123096.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.588 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.588 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.588 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.588 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.589 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.589 * [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))))
1552123096.589 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.589 * * [simplify]: iters left: 3 (6 enodes)
1552123096.592 * * [simplify]: iters left: 2 (17 enodes)
1552123096.596 * * [simplify]: iters left: 1 (32 enodes)
1552123096.604 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.604 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.604 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.604 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.604 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.605 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.605 * [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))))
1552123096.605 * * * * [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))))>
1552123096.605 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.605 * * [simplify]: iters left: 3 (6 enodes)
1552123096.607 * * [simplify]: iters left: 2 (17 enodes)
1552123096.610 * * [simplify]: iters left: 1 (32 enodes)
1552123096.617 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.617 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.617 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.617 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.618 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.618 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.618 * [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))))
1552123096.618 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.618 * * [simplify]: iters left: 3 (6 enodes)
1552123096.620 * * [simplify]: iters left: 2 (17 enodes)
1552123096.623 * * [simplify]: iters left: 1 (32 enodes)
1552123096.630 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.630 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.630 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.631 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.631 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.631 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.631 * [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))))
1552123096.631 * * * * [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))))>
1552123096.631 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.631 * * [simplify]: iters left: 3 (6 enodes)
1552123096.633 * * [simplify]: iters left: 2 (17 enodes)
1552123096.637 * * [simplify]: iters left: 1 (32 enodes)
1552123096.645 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.645 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.646 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.646 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.646 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.646 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.646 * [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))))
1552123096.646 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.646 * * [simplify]: iters left: 3 (6 enodes)
1552123096.649 * * [simplify]: iters left: 2 (17 enodes)
1552123096.654 * * [simplify]: iters left: 1 (32 enodes)
1552123096.665 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.665 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.665 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.665 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.665 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.666 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.666 * [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))))
1552123096.666 * * * * [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))))>
1552123096.666 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.666 * * [simplify]: iters left: 3 (6 enodes)
1552123096.668 * * [simplify]: iters left: 2 (17 enodes)
1552123096.673 * * [simplify]: iters left: 1 (32 enodes)
1552123096.684 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.684 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.684 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.685 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.685 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.685 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.685 * [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))))
1552123096.686 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1552123096.686 * * [simplify]: iters left: 3 (6 enodes)
1552123096.688 * * [simplify]: iters left: 2 (17 enodes)
1552123096.693 * * [simplify]: iters left: 1 (32 enodes)
1552123096.704 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.704 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123096.704 * * [simplify]: Extracting #2: cost 13 inf + 1
1552123096.704 * * [simplify]: Extracting #3: cost 4 inf + 2294
1552123096.705 * * [simplify]: Extracting #4: cost 0 inf + 4582
1552123096.705 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123096.705 * [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))))
1552123096.705 * * * [progress]: adding candidates to table
1552123097.702 * * [progress]: iteration 3 / 4
1552123097.703 * * * [progress]: picking best candidate
1552123097.987 * * * * [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))))>
1552123097.987 * * * [progress]: localizing error
1552123098.092 * * * [progress]: generating rewritten candidates
1552123098.092 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552123098.093 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552123098.097 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552123098.099 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1552123098.102 * * * [progress]: generating series expansions
1552123098.102 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552123098.102 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552123098.102 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552123098.102 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1552123098.102 * * * [progress]: simplifying candidates
1552123098.102 * * * * [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))))>
1552123098.102 * * * * [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))))>
1552123098.102 * * * * [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))))>
1552123098.102 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1552123098.102 * * [simplify]: iters left: 2 (4 enodes)
1552123098.104 * * [simplify]: iters left: 1 (7 enodes)
1552123098.105 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.105 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123098.105 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123098.105 * * [simplify]: Extracting #3: cost 0 inf + 445
1552123098.105 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123098.105 * [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))))
1552123098.105 * [simplify]: Simplifying (/.p16 i i)
1552123098.105 * * [simplify]: iters left: 1 (2 enodes)
1552123098.106 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.106 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123098.106 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123098.106 * * [simplify]: Extracting #3: cost 0 inf + 3
1552123098.106 * [simplify]: Simplified to (real->posit16 1.0)
1552123098.106 * [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))))
1552123098.106 * * * * [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))))>
1552123098.106 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123098.106 * * [simplify]: iters left: 3 (7 enodes)
1552123098.108 * * [simplify]: iters left: 2 (19 enodes)
1552123098.111 * * [simplify]: iters left: 1 (37 enodes)
1552123098.118 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.118 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123098.118 * * [simplify]: Extracting #2: cost 21 inf + 0
1552123098.118 * * [simplify]: Extracting #3: cost 27 inf + 165
1552123098.118 * * [simplify]: Extracting #4: cost 27 inf + 167
1552123098.118 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552123098.119 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552123098.120 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123098.120 * [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))))
1552123098.120 * * * * [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)))))>
1552123098.120 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123098.120 * * [simplify]: iters left: 3 (7 enodes)
1552123098.122 * * [simplify]: iters left: 2 (14 enodes)
1552123098.125 * * [simplify]: iters left: 1 (27 enodes)
1552123098.132 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.132 * * [simplify]: Extracting #1: cost 5 inf + 0
1552123098.132 * * [simplify]: Extracting #2: cost 6 inf + 1
1552123098.132 * * [simplify]: Extracting #3: cost 2 inf + 5
1552123098.132 * * [simplify]: Extracting #4: cost 1 inf + 447
1552123098.132 * * [simplify]: Extracting #5: cost 0 inf + 1210
1552123098.132 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1552123098.132 * [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)))))
1552123098.132 * * * * [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))))>
1552123098.133 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1552123098.133 * * [simplify]: iters left: 4 (8 enodes)
1552123098.135 * * [simplify]: iters left: 3 (18 enodes)
1552123098.138 * * [simplify]: iters left: 2 (25 enodes)
1552123098.141 * * [simplify]: iters left: 1 (29 enodes)
1552123098.145 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.145 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123098.145 * * [simplify]: Extracting #2: cost 11 inf + 0
1552123098.145 * * [simplify]: Extracting #3: cost 8 inf + 324
1552123098.145 * * [simplify]: Extracting #4: cost 7 inf + 325
1552123098.146 * * [simplify]: Extracting #5: cost 0 inf + 3578
1552123098.146 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1552123098.146 * [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))))
1552123098.146 * * * * [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))))>
1552123098.146 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 i i))
1552123098.146 * * [simplify]: iters left: 4 (9 enodes)
1552123098.148 * * [simplify]: iters left: 3 (21 enodes)
1552123098.153 * * [simplify]: iters left: 2 (61 enodes)
1552123098.174 * * [simplify]: iters left: 1 (169 enodes)
1552123098.289 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.289 * * [simplify]: Extracting #1: cost 33 inf + 0
1552123098.290 * * [simplify]: Extracting #2: cost 77 inf + 643
1552123098.290 * * [simplify]: Extracting #3: cost 71 inf + 2811
1552123098.292 * * [simplify]: Extracting #4: cost 21 inf + 31553
1552123098.295 * * [simplify]: Extracting #5: cost 0 inf + 45602
1552123098.298 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (*.p16 i i))
1552123098.298 * [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))))
1552123098.298 * * * * [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))))>
1552123098.299 * [simplify]: Simplifying (*.p16 (*.p16 i (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))
1552123098.299 * * [simplify]: iters left: 4 (10 enodes)
1552123098.305 * * [simplify]: iters left: 3 (27 enodes)
1552123098.312 * * [simplify]: iters left: 2 (76 enodes)
1552123098.355 * * [simplify]: iters left: 1 (218 enodes)
1552123098.417 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.417 * * [simplify]: Extracting #1: cost 26 inf + 0
1552123098.417 * * [simplify]: Extracting #2: cost 80 inf + 1
1552123098.418 * * [simplify]: Extracting #3: cost 69 inf + 10265
1552123098.421 * * [simplify]: Extracting #4: cost 10 inf + 57141
1552123098.424 * * [simplify]: Extracting #5: cost 0 inf + 63771
1552123098.428 * [simplify]: Simplified to (/.p16 (*.p16 i i) (real->posit16 2))
1552123098.428 * [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))))
1552123098.428 * * * * [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)))))>
1552123098.429 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552123098.429 * * [simplify]: iters left: 4 (10 enodes)
1552123098.433 * * [simplify]: iters left: 3 (21 enodes)
1552123098.439 * * [simplify]: iters left: 2 (42 enodes)
1552123098.455 * * [simplify]: iters left: 1 (83 enodes)
1552123098.464 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.464 * * [simplify]: Extracting #1: cost 11 inf + 0
1552123098.464 * * [simplify]: Extracting #2: cost 23 inf + 1
1552123098.464 * * [simplify]: Extracting #3: cost 22 inf + 4
1552123098.464 * * [simplify]: Extracting #4: cost 7 inf + 7557
1552123098.465 * * [simplify]: Extracting #5: cost 1 inf + 11854
1552123098.466 * * [simplify]: Extracting #6: cost 0 inf + 13097
1552123098.467 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))))
1552123098.467 * [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)))))
1552123098.467 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1552123098.467 * * [simplify]: iters left: 4 (10 enodes)
1552123098.470 * * [simplify]: iters left: 3 (31 enodes)
1552123098.476 * * [simplify]: iters left: 2 (84 enodes)
1552123098.510 * * [simplify]: iters left: 1 (243 enodes)
1552123098.699 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.699 * * [simplify]: Extracting #1: cost 69 inf + 0
1552123098.700 * * [simplify]: Extracting #2: cost 292 inf + 763
1552123098.702 * * [simplify]: Extracting #3: cost 290 inf + 19278
1552123098.709 * * [simplify]: Extracting #4: cost 211 inf + 140467
1552123098.731 * * [simplify]: Extracting #5: cost 50 inf + 372763
1552123098.756 * * [simplify]: Extracting #6: cost 0 inf + 397205
1552123098.783 * * [simplify]: Extracting #7: cost 0 inf + 392365
1552123098.809 * * [simplify]: Extracting #8: cost 0 inf + 392245
1552123098.836 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1552123098.836 * [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)))))
1552123098.836 * * * * [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)))))>
1552123098.837 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123098.837 * * [simplify]: iters left: 3 (7 enodes)
1552123098.840 * * [simplify]: iters left: 2 (13 enodes)
1552123098.843 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.843 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123098.843 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123098.843 * * [simplify]: Extracting #3: cost 4 inf + 3
1552123098.843 * * [simplify]: Extracting #4: cost 3 inf + 4
1552123098.843 * * [simplify]: Extracting #5: cost 0 inf + 690
1552123098.844 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123098.844 * [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)))))
1552123098.844 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1552123098.844 * * [simplify]: iters left: 3 (7 enodes)
1552123098.847 * * [simplify]: iters left: 2 (19 enodes)
1552123098.853 * * [simplify]: iters left: 1 (37 enodes)
1552123098.864 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.864 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123098.864 * * [simplify]: Extracting #2: cost 21 inf + 0
1552123098.864 * * [simplify]: Extracting #3: cost 27 inf + 165
1552123098.864 * * [simplify]: Extracting #4: cost 27 inf + 167
1552123098.865 * * [simplify]: Extracting #5: cost 18 inf + 4946
1552123098.866 * * [simplify]: Extracting #6: cost 0 inf + 22111
1552123098.867 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123098.867 * [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)))))
1552123098.868 * * * * [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)))))>
1552123098.868 * * * * [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)))))>
1552123098.868 * * * * [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))))>
1552123098.868 * * * * [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))))>
1552123098.868 * [simplify]: Simplifying (real->posit16 2)
1552123098.868 * * [simplify]: iters left: 1 (2 enodes)
1552123098.869 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.869 * * [simplify]: Extracting #1: cost 2 inf + 0
1552123098.869 * * [simplify]: Extracting #2: cost 1 inf + 1
1552123098.869 * * [simplify]: Extracting #3: cost 0 inf + 2
1552123098.869 * [simplify]: Simplified to (real->posit16 2)
1552123098.869 * [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))))
1552123098.869 * * * * [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))))>
1552123098.869 * * * * [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))))>
1552123098.870 * [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)))
1552123098.870 * * [simplify]: iters left: 5 (14 enodes)
1552123098.875 * * [simplify]: iters left: 4 (49 enodes)
1552123098.899 * * [simplify]: iters left: 3 (183 enodes)
1552123099.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.173 * * [simplify]: Extracting #1: cost 46 inf + 0
1552123099.174 * * [simplify]: Extracting #2: cost 276 inf + 442
1552123099.176 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552123099.182 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552123099.197 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552123099.216 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552123099.233 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552123099.248 * [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)))
1552123099.248 * [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))))
1552123099.249 * * * * [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))))>
1552123099.249 * [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)))
1552123099.249 * * [simplify]: iters left: 5 (14 enodes)
1552123099.255 * * [simplify]: iters left: 4 (49 enodes)
1552123099.275 * * [simplify]: iters left: 3 (183 enodes)
1552123099.554 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.555 * * [simplify]: Extracting #1: cost 46 inf + 0
1552123099.555 * * [simplify]: Extracting #2: cost 276 inf + 442
1552123099.557 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552123099.561 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552123099.571 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552123099.583 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552123099.599 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552123099.617 * [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)))
1552123099.617 * [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))))
1552123099.618 * * * * [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))))>
1552123099.618 * [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)))
1552123099.618 * * [simplify]: iters left: 5 (14 enodes)
1552123099.622 * * [simplify]: iters left: 4 (49 enodes)
1552123099.636 * * [simplify]: iters left: 3 (183 enodes)
1552123099.911 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.912 * * [simplify]: Extracting #1: cost 46 inf + 0
1552123099.913 * * [simplify]: Extracting #2: cost 276 inf + 442
1552123099.916 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552123099.924 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552123099.944 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552123099.968 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552123099.989 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552123100.006 * [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)))
1552123100.006 * [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))))
1552123100.006 * * * * [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))))>
1552123100.006 * [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)))
1552123100.007 * * [simplify]: iters left: 5 (14 enodes)
1552123100.010 * * [simplify]: iters left: 4 (49 enodes)
1552123100.024 * * [simplify]: iters left: 3 (183 enodes)
1552123100.349 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123100.349 * * [simplify]: Extracting #1: cost 46 inf + 0
1552123100.350 * * [simplify]: Extracting #2: cost 276 inf + 442
1552123100.351 * * [simplify]: Extracting #3: cost 260 inf + 58560
1552123100.355 * * [simplify]: Extracting #4: cost 174 inf + 104255
1552123100.368 * * [simplify]: Extracting #5: cost 28 inf + 267896
1552123100.380 * * [simplify]: Extracting #6: cost 2 inf + 314693
1552123100.393 * * [simplify]: Extracting #7: cost 0 inf + 319819
1552123100.406 * [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)))
1552123100.406 * [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))))
1552123100.406 * * * [progress]: adding candidates to table
1552123101.293 * * [progress]: iteration 4 / 4
1552123101.293 * * * [progress]: picking best candidate
1552123101.581 * * * * [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)))))>
1552123101.581 * * * [progress]: localizing error
1552123101.849 * * * [progress]: generating rewritten candidates
1552123101.849 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552123101.851 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552123101.852 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1552123101.854 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1552123101.856 * * * [progress]: generating series expansions
1552123101.856 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552123101.856 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552123101.856 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1552123101.856 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1552123101.856 * * * [progress]: simplifying candidates
1552123101.856 * * * * [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)))))>
1552123101.856 * [simplify]: Simplifying (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))
1552123101.856 * * [simplify]: iters left: 3 (7 enodes)
1552123101.858 * * [simplify]: iters left: 2 (13 enodes)
1552123101.860 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123101.860 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123101.860 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123101.860 * * [simplify]: Extracting #3: cost 5 inf + 2
1552123101.861 * * [simplify]: Extracting #4: cost 0 inf + 690
1552123101.861 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123101.861 * [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)))))
1552123101.861 * * * * [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))))>
1552123101.861 * [simplify]: Simplifying (real->posit16 2)
1552123101.861 * * [simplify]: iters left: 1 (2 enodes)
1552123101.862 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123101.862 * * [simplify]: Extracting #1: cost 2 inf + 0
1552123101.862 * * [simplify]: Extracting #2: cost 1 inf + 1
1552123101.862 * * [simplify]: Extracting #3: cost 0 inf + 2
1552123101.862 * [simplify]: Simplified to (real->posit16 2)
1552123101.862 * [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))))
1552123101.862 * * * * [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)))))>
1552123101.862 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123101.862 * * [simplify]: iters left: 3 (7 enodes)
1552123101.864 * * [simplify]: iters left: 2 (13 enodes)
1552123101.866 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123101.866 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123101.866 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123101.866 * * [simplify]: Extracting #3: cost 4 inf + 3
1552123101.866 * * [simplify]: Extracting #4: cost 0 inf + 690
1552123101.866 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123101.866 * [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)))))
1552123101.866 * * * * [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))))>
1552123101.866 * [simplify]: Simplifying (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123101.866 * * [simplify]: iters left: 3 (7 enodes)
1552123101.868 * * [simplify]: iters left: 2 (13 enodes)
1552123101.870 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123101.870 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123101.870 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123101.870 * * [simplify]: Extracting #3: cost 4 inf + 3
1552123101.870 * * [simplify]: Extracting #4: cost 0 inf + 690
1552123101.870 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1552123101.870 * [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))))
1552123101.871 * * * * [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))))>
1552123101.871 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))
1552123101.871 * * [simplify]: iters left: 4 (8 enodes)
1552123101.873 * * [simplify]: iters left: 3 (21 enodes)
1552123101.877 * * [simplify]: iters left: 2 (47 enodes)
1552123101.887 * * [simplify]: iters left: 1 (123 enodes)
1552123101.937 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123101.937 * * [simplify]: Extracting #1: cost 29 inf + 0
1552123101.938 * * [simplify]: Extracting #2: cost 112 inf + 0
1552123101.938 * * [simplify]: Extracting #3: cost 131 inf + 1288
1552123101.939 * * [simplify]: Extracting #4: cost 126 inf + 14114
1552123101.942 * * [simplify]: Extracting #5: cost 72 inf + 56928
1552123101.948 * * [simplify]: Extracting #6: cost 3 inf + 129170
1552123101.955 * * [simplify]: Extracting #7: cost 0 inf + 132939
1552123101.962 * [simplify]: Simplified to (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1552123101.962 * [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)))))
1552123101.963 * * * * [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))))))>
1552123101.963 * [simplify]: Simplifying (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552123101.963 * * [simplify]: iters left: 6 (10 enodes)
1552123101.965 * * [simplify]: iters left: 5 (28 enodes)
1552123101.971 * * [simplify]: iters left: 4 (69 enodes)
1552123101.984 * * [simplify]: iters left: 3 (193 enodes)
1552123102.064 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123102.064 * * [simplify]: Extracting #1: cost 45 inf + 0
1552123102.064 * * [simplify]: Extracting #2: cost 187 inf + 1
1552123102.065 * * [simplify]: Extracting #3: cost 222 inf + 3576
1552123102.066 * * [simplify]: Extracting #4: cost 214 inf + 14732
1552123102.074 * * [simplify]: Extracting #5: cost 65 inf + 193014
1552123102.088 * * [simplify]: Extracting #6: cost 1 inf + 283878
1552123102.103 * * [simplify]: Extracting #7: cost 0 inf + 284801
1552123102.117 * [simplify]: Simplified to (*.p16 i (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))
1552123102.117 * [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))))))
1552123102.117 * * * * [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)))))))>
1552123102.117 * * * * [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)))))>
1552123102.117 * * * * [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)))))>
1552123102.117 * * * * [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)))))>
1552123102.117 * [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))))
1552123102.117 * * [simplify]: iters left: 6 (13 enodes)
1552123102.121 * * [simplify]: iters left: 5 (42 enodes)
1552123102.133 * * [simplify]: iters left: 4 (116 enodes)
1552123102.162 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123102.162 * * [simplify]: Extracting #1: cost 53 inf + 0
1552123102.162 * * [simplify]: Extracting #2: cost 141 inf + 1
1552123102.163 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552123102.164 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552123102.168 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552123102.177 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552123102.185 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552123102.194 * [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))))
1552123102.194 * [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)))))
1552123102.194 * * * * [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)))))>
1552123102.194 * [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))))
1552123102.195 * * [simplify]: iters left: 6 (13 enodes)
1552123102.201 * * [simplify]: iters left: 5 (42 enodes)
1552123102.216 * * [simplify]: iters left: 4 (116 enodes)
1552123102.254 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123102.254 * * [simplify]: Extracting #1: cost 53 inf + 0
1552123102.255 * * [simplify]: Extracting #2: cost 141 inf + 1
1552123102.255 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552123102.257 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552123102.262 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552123102.270 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552123102.278 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552123102.292 * [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))))
1552123102.293 * [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)))))
1552123102.293 * * * * [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)))))>
1552123102.293 * [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))))
1552123102.293 * * [simplify]: iters left: 6 (13 enodes)
1552123102.298 * * [simplify]: iters left: 5 (42 enodes)
1552123102.313 * * [simplify]: iters left: 4 (116 enodes)
1552123102.359 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123102.359 * * [simplify]: Extracting #1: cost 53 inf + 0
1552123102.360 * * [simplify]: Extracting #2: cost 141 inf + 1
1552123102.361 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552123102.363 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552123102.369 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552123102.382 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552123102.397 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552123102.411 * [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))))
1552123102.411 * [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)))))
1552123102.411 * * * * [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)))))>
1552123102.411 * [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))))
1552123102.411 * * [simplify]: iters left: 6 (13 enodes)
1552123102.416 * * [simplify]: iters left: 5 (42 enodes)
1552123102.431 * * [simplify]: iters left: 4 (116 enodes)
1552123102.468 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123102.468 * * [simplify]: Extracting #1: cost 53 inf + 0
1552123102.468 * * [simplify]: Extracting #2: cost 141 inf + 1
1552123102.469 * * [simplify]: Extracting #3: cost 171 inf + 2614
1552123102.471 * * [simplify]: Extracting #4: cost 145 inf + 26179
1552123102.478 * * [simplify]: Extracting #5: cost 47 inf + 122429
1552123102.490 * * [simplify]: Extracting #6: cost 0 inf + 203686
1552123102.505 * * [simplify]: Extracting #7: cost 0 inf + 202966
1552123102.517 * [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))))
1552123102.517 * [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)))))
1552123102.517 * * * [progress]: adding candidates to table
1552123103.161 * [progress]: [Phase 3 of 3] Extracting.
1552123103.161 * * [regime]: Finding splitpoints for: (#<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 (*.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 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 (*.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 (*.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 (/.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 (*.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 (*.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 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 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)))))>)
1552123103.162 * * * [regime-changes]: Trying 1 branch expressions: (i)
1552123103.162 * * * * [regimes]: Trying to branch on i from (#<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 (*.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 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 (*.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 (*.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 (/.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 (*.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 (*.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 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 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)))))>)
1552123103.552 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
1552123103.552 * [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))))
1552123103.552 * * [simplify]: iters left: 6 (13 enodes)
1552123103.554 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123103.554 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123103.554 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123103.554 * * [simplify]: Extracting #3: cost 8 inf + 1
1552123103.554 * * [simplify]: Extracting #4: cost 11 inf + 1
1552123103.554 * * [simplify]: Extracting #5: cost 9 inf + 325
1552123103.554 * * [simplify]: Extracting #6: cost 8 inf + 326
1552123103.554 * * [simplify]: Extracting #7: cost 4 inf + 1776
1552123103.554 * * [simplify]: Extracting #8: cost 1 inf + 4785
1552123103.555 * * [simplify]: Extracting #9: cost 0 inf + 7068
1552123103.555 * [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))))
1552123103.555 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552123103.566 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552123103.568 * * * * [points]: Setting MPFR precision to 64
1552123103.570 * * * * [points]: Setting MPFR precision to 320
1552123103.570 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552123103.573 * * * * [points]: Setting MPFR precision to 64
1552123103.575 * * * * [points]: Setting MPFR precision to 320
1552123103.576 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552123103.579 * * * * [points]: Setting MPFR precision to 64
1552123103.582 * * * * [points]: Setting MPFR precision to 320
1552123103.585 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552123103.588 * * * * [points]: Setting MPFR precision to 64
1552123103.593 * * * * [points]: Setting MPFR precision to 320
1552123103.600 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552123103.602 * * * * [points]: Setting MPFR precision to 64
1552123103.614 * * * * [points]: Setting MPFR precision to 320
1552123103.639 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552123103.643 * * * * [points]: Setting MPFR precision to 64
1552123103.666 * * * * [points]: Setting MPFR precision to 320
1552123103.692 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552123103.694 * * * * [points]: Setting MPFR precision to 64
1552123103.761 * * * * [points]: Setting MPFR precision to 320
1552123103.835 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552123103.839 * * * * [points]: Setting MPFR precision to 64
1552123104.004 * * * * [points]: Setting MPFR precision to 320
1552123104.198 * * * * [points]: Computing exacts for 8000 points
1552123104.203 * * * * [points]: Setting MPFR precision to 64
1552123105.322 * * * * [points]: Setting MPFR precision to 320
1552123106.085 * * * * [points]: Filtering points with unrepresentable outputs
1552123106.272 * * * * [points]: Sampling 3959 additional inputs, on iter 1 have 4041 / 8000
1552123106.278 * * * * [points]: Computing exacts on every 247 of 3959 points to ramp up precision
1552123106.281 * * * * [points]: Setting MPFR precision to 64
1552123106.282 * * * * [points]: Setting MPFR precision to 320
1552123106.283 * * * * [points]: Computing exacts on every 123 of 3959 points to ramp up precision
1552123106.286 * * * * [points]: Setting MPFR precision to 64
1552123106.287 * * * * [points]: Setting MPFR precision to 320
1552123106.289 * * * * [points]: Computing exacts on every 61 of 3959 points to ramp up precision
1552123106.303 * * * * [points]: Setting MPFR precision to 64
1552123106.308 * * * * [points]: Setting MPFR precision to 320
1552123106.312 * * * * [points]: Computing exacts on every 30 of 3959 points to ramp up precision
1552123106.315 * * * * [points]: Setting MPFR precision to 64
1552123106.325 * * * * [points]: Setting MPFR precision to 320
1552123106.337 * * * * [points]: Computing exacts on every 15 of 3959 points to ramp up precision
1552123106.342 * * * * [points]: Setting MPFR precision to 64
1552123106.363 * * * * [points]: Setting MPFR precision to 320
1552123106.388 * * * * [points]: Computing exacts on every 7 of 3959 points to ramp up precision
1552123106.393 * * * * [points]: Setting MPFR precision to 64
1552123106.435 * * * * [points]: Setting MPFR precision to 320
1552123106.467 * * * * [points]: Computing exacts on every 3 of 3959 points to ramp up precision
1552123106.494 * * * * [points]: Setting MPFR precision to 64
1552123106.552 * * * * [points]: Setting MPFR precision to 320
1552123106.607 * * * * [points]: Computing exacts for 3959 points
1552123106.610 * * * * [points]: Setting MPFR precision to 64
1552123106.917 * * * * [points]: Setting MPFR precision to 320
1552123107.258 * * * * [points]: Filtering points with unrepresentable outputs
1552123107.331 * * * * [points]: Sampling 1954 additional inputs, on iter 2 have 6046 / 8000
1552123107.336 * * * * [points]: Computing exacts on every 122 of 1954 points to ramp up precision
1552123107.360 * * * * [points]: Setting MPFR precision to 64
1552123107.363 * * * * [points]: Setting MPFR precision to 320
1552123107.364 * * * * [points]: Computing exacts on every 61 of 1954 points to ramp up precision
1552123107.370 * * * * [points]: Setting MPFR precision to 64
1552123107.373 * * * * [points]: Setting MPFR precision to 320
1552123107.376 * * * * [points]: Computing exacts on every 30 of 1954 points to ramp up precision
1552123107.381 * * * * [points]: Setting MPFR precision to 64
1552123107.387 * * * * [points]: Setting MPFR precision to 320
1552123107.393 * * * * [points]: Computing exacts on every 15 of 1954 points to ramp up precision
1552123107.398 * * * * [points]: Setting MPFR precision to 64
1552123107.408 * * * * [points]: Setting MPFR precision to 320
1552123107.416 * * * * [points]: Computing exacts on every 7 of 1954 points to ramp up precision
1552123107.419 * * * * [points]: Setting MPFR precision to 64
1552123107.431 * * * * [points]: Setting MPFR precision to 320
1552123107.451 * * * * [points]: Computing exacts on every 3 of 1954 points to ramp up precision
1552123107.457 * * * * [points]: Setting MPFR precision to 64
1552123107.484 * * * * [points]: Setting MPFR precision to 320
1552123107.548 * * * * [points]: Computing exacts for 1954 points
1552123107.551 * * * * [points]: Setting MPFR precision to 64
1552123107.694 * * * * [points]: Setting MPFR precision to 320
1552123107.856 * * * * [points]: Filtering points with unrepresentable outputs
1552123107.911 * * * * [points]: Sampling 987 additional inputs, on iter 3 have 7013 / 8000
1552123107.912 * * * * [points]: Computing exacts on every 61 of 987 points to ramp up precision
1552123107.917 * * * * [points]: Setting MPFR precision to 64
1552123107.919 * * * * [points]: Setting MPFR precision to 320
1552123107.920 * * * * [points]: Computing exacts on every 30 of 987 points to ramp up precision
1552123107.926 * * * * [points]: Setting MPFR precision to 64
1552123107.929 * * * * [points]: Setting MPFR precision to 320
1552123107.933 * * * * [points]: Computing exacts on every 15 of 987 points to ramp up precision
1552123107.938 * * * * [points]: Setting MPFR precision to 64
1552123107.944 * * * * [points]: Setting MPFR precision to 320
1552123107.951 * * * * [points]: Computing exacts on every 7 of 987 points to ramp up precision
1552123107.955 * * * * [points]: Setting MPFR precision to 64
1552123107.966 * * * * [points]: Setting MPFR precision to 320
1552123107.977 * * * * [points]: Computing exacts on every 3 of 987 points to ramp up precision
1552123107.980 * * * * [points]: Setting MPFR precision to 64
1552123107.991 * * * * [points]: Setting MPFR precision to 320
1552123108.005 * * * * [points]: Computing exacts for 987 points
1552123108.009 * * * * [points]: Setting MPFR precision to 64
1552123108.121 * * * * [points]: Setting MPFR precision to 320
1552123108.195 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.220 * * * * [points]: Sampling 474 additional inputs, on iter 4 have 7526 / 8000
1552123108.221 * * * * [points]: Computing exacts on every 29 of 474 points to ramp up precision
1552123108.226 * * * * [points]: Setting MPFR precision to 64
1552123108.227 * * * * [points]: Setting MPFR precision to 320
1552123108.229 * * * * [points]: Computing exacts on every 14 of 474 points to ramp up precision
1552123108.233 * * * * [points]: Setting MPFR precision to 64
1552123108.236 * * * * [points]: Setting MPFR precision to 320
1552123108.239 * * * * [points]: Computing exacts on every 7 of 474 points to ramp up precision
1552123108.580 * * * * [points]: Setting MPFR precision to 64
1552123108.584 * * * * [points]: Setting MPFR precision to 320
1552123108.591 * * * * [points]: Computing exacts on every 3 of 474 points to ramp up precision
1552123108.594 * * * * [points]: Setting MPFR precision to 64
1552123108.604 * * * * [points]: Setting MPFR precision to 320
1552123108.617 * * * * [points]: Computing exacts for 474 points
1552123108.622 * * * * [points]: Setting MPFR precision to 64
1552123108.645 * * * * [points]: Setting MPFR precision to 320
1552123108.689 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.701 * * * * [points]: Sampling 245 additional inputs, on iter 5 have 7755 / 8000
1552123108.702 * * * * [points]: Computing exacts on every 15 of 245 points to ramp up precision
1552123108.707 * * * * [points]: Setting MPFR precision to 64
1552123108.709 * * * * [points]: Setting MPFR precision to 320
1552123108.711 * * * * [points]: Computing exacts on every 7 of 245 points to ramp up precision
1552123108.716 * * * * [points]: Setting MPFR precision to 64
1552123108.718 * * * * [points]: Setting MPFR precision to 320
1552123108.720 * * * * [points]: Computing exacts on every 3 of 245 points to ramp up precision
1552123108.723 * * * * [points]: Setting MPFR precision to 64
1552123108.726 * * * * [points]: Setting MPFR precision to 320
1552123108.729 * * * * [points]: Computing exacts for 245 points
1552123108.752 * * * * [points]: Setting MPFR precision to 64
1552123108.769 * * * * [points]: Setting MPFR precision to 320
1552123108.788 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.792 * * * * [points]: Sampling 130 additional inputs, on iter 6 have 7870 / 8000
1552123108.792 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
1552123108.795 * * * * [points]: Setting MPFR precision to 64
1552123108.796 * * * * [points]: Setting MPFR precision to 320
1552123108.796 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
1552123108.799 * * * * [points]: Setting MPFR precision to 64
1552123108.800 * * * * [points]: Setting MPFR precision to 320
1552123108.802 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
1552123108.805 * * * * [points]: Setting MPFR precision to 64
1552123108.808 * * * * [points]: Setting MPFR precision to 320
1552123108.811 * * * * [points]: Computing exacts for 130 points
1552123108.813 * * * * [points]: Setting MPFR precision to 64
1552123108.820 * * * * [points]: Setting MPFR precision to 320
1552123108.827 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.829 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000
1552123108.829 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1552123108.832 * * * * [points]: Setting MPFR precision to 64
1552123108.833 * * * * [points]: Setting MPFR precision to 320
1552123108.834 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1552123108.837 * * * * [points]: Setting MPFR precision to 64
1552123108.838 * * * * [points]: Setting MPFR precision to 320
1552123108.839 * * * * [points]: Computing exacts for 65 points
1552123108.843 * * * * [points]: Setting MPFR precision to 64
1552123108.847 * * * * [points]: Setting MPFR precision to 320
1552123108.852 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.853 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
1552123108.853 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1552123108.856 * * * * [points]: Setting MPFR precision to 64
1552123108.857 * * * * [points]: Setting MPFR precision to 320
1552123108.857 * * * * [points]: Computing exacts for 32 points
1552123108.880 * * * * [points]: Setting MPFR precision to 64
1552123108.882 * * * * [points]: Setting MPFR precision to 320
1552123108.884 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.884 * * * * [points]: Sampling 19 additional inputs, on iter 9 have 7981 / 8000
1552123108.884 * * * * [points]: Computing exacts for 19 points
1552123108.888 * * * * [points]: Setting MPFR precision to 64
1552123108.890 * * * * [points]: Setting MPFR precision to 320
1552123108.891 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.891 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
1552123108.891 * * * * [points]: Computing exacts for 10 points
1552123108.895 * * * * [points]: Setting MPFR precision to 64
1552123108.896 * * * * [points]: Setting MPFR precision to 320
1552123108.897 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.897 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000
1552123108.897 * * * * [points]: Computing exacts for 5 points
1552123108.903 * * * * [points]: Setting MPFR precision to 64
1552123108.903 * * * * [points]: Setting MPFR precision to 320
1552123108.904 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.904 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
1552123108.904 * * * * [points]: Computing exacts for 4 points
1552123108.910 * * * * [points]: Setting MPFR precision to 64
1552123108.910 * * * * [points]: Setting MPFR precision to 320
1552123108.910 * * * * [points]: Filtering points with unrepresentable outputs
1552123108.910 * * * * [points]: Sampled 8001 points with exact outputs
1552123117.008 * [regime-testing]: Baseline error score: 64.0
1552123117.012 * [regime-testing]: Oracle error score: 64.0
1552123117.019 * [regime-testing]: End program error score: 0.48135046740003185