1554043255.447 * [progress]: [Phase 1 of 3] Setting up.
1554043255.447 * * * [progress]: [1/2] Preparing points
1554043255.448 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043255.448 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043255.450 * * * * [points]: Setting MPFR precision to 64
1554043255.451 * * * * [points]: Setting MPFR precision to 320
1554043255.453 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043255.455 * * * * [points]: Setting MPFR precision to 64
1554043255.457 * * * * [points]: Setting MPFR precision to 320
1554043255.458 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043255.461 * * * * [points]: Setting MPFR precision to 64
1554043255.464 * * * * [points]: Setting MPFR precision to 320
1554043255.467 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043255.470 * * * * [points]: Setting MPFR precision to 64
1554043255.474 * * * * [points]: Setting MPFR precision to 320
1554043255.479 * * * * [points]: Computing exacts for 256 points
1554043255.482 * * * * [points]: Setting MPFR precision to 64
1554043255.495 * * * * [points]: Setting MPFR precision to 320
1554043255.510 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.525 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
1554043255.525 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
1554043255.528 * * * * [points]: Setting MPFR precision to 64
1554043255.530 * * * * [points]: Setting MPFR precision to 320
1554043255.530 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
1554043255.533 * * * * [points]: Setting MPFR precision to 64
1554043255.534 * * * * [points]: Setting MPFR precision to 320
1554043255.536 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
1554043255.539 * * * * [points]: Setting MPFR precision to 64
1554043255.541 * * * * [points]: Setting MPFR precision to 320
1554043255.544 * * * * [points]: Computing exacts for 133 points
1554043255.546 * * * * [points]: Setting MPFR precision to 64
1554043255.553 * * * * [points]: Setting MPFR precision to 320
1554043255.561 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.563 * * * * [points]: Sampling 71 additional inputs, on iter 2 have 185 / 256
1554043255.563 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
1554043255.565 * * * * [points]: Setting MPFR precision to 64
1554043255.566 * * * * [points]: Setting MPFR precision to 320
1554043255.567 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
1554043255.570 * * * * [points]: Setting MPFR precision to 64
1554043255.571 * * * * [points]: Setting MPFR precision to 320
1554043255.572 * * * * [points]: Computing exacts for 71 points
1554043255.575 * * * * [points]: Setting MPFR precision to 64
1554043255.579 * * * * [points]: Setting MPFR precision to 320
1554043255.583 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.584 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
1554043255.584 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1554043255.587 * * * * [points]: Setting MPFR precision to 64
1554043255.588 * * * * [points]: Setting MPFR precision to 320
1554043255.589 * * * * [points]: Computing exacts for 37 points
1554043255.591 * * * * [points]: Setting MPFR precision to 64
1554043255.593 * * * * [points]: Setting MPFR precision to 320
1554043255.595 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.596 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256
1554043255.596 * * * * [points]: Computing exacts for 19 points
1554043255.599 * * * * [points]: Setting MPFR precision to 64
1554043255.600 * * * * [points]: Setting MPFR precision to 320
1554043255.601 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.601 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256
1554043255.602 * * * * [points]: Computing exacts for 11 points
1554043255.604 * * * * [points]: Setting MPFR precision to 64
1554043255.605 * * * * [points]: Setting MPFR precision to 320
1554043255.606 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.606 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
1554043255.606 * * * * [points]: Computing exacts for 6 points
1554043255.608 * * * * [points]: Setting MPFR precision to 64
1554043255.609 * * * * [points]: Setting MPFR precision to 320
1554043255.609 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.609 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
1554043255.609 * * * * [points]: Computing exacts for 4 points
1554043255.612 * * * * [points]: Setting MPFR precision to 64
1554043255.612 * * * * [points]: Setting MPFR precision to 320
1554043255.613 * * * * [points]: Filtering points with unrepresentable outputs
1554043255.613 * * * * [points]: Sampled 256 points with exact outputs
1554043255.627 * * * [progress]: [2/2] Setting up program.
1554043255.650 * [progress]: [Phase 2 of 3] Improving.
1554043255.650 * * * * [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))))>
1554043255.650 * [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)))
1554043255.650 * * [simplify]: iters left: 5 (12 enodes)
1554043255.654 * * [simplify]: iters left: 4 (43 enodes)
1554043255.664 * * [simplify]: iters left: 3 (170 enodes)
1554043255.746 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043255.746 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043255.747 * * [simplify]: Extracting #2: cost 269 inf + 322
1554043255.748 * * [simplify]: Extracting #3: cost 284 inf + 8772
1554043255.751 * * [simplify]: Extracting #4: cost 196 inf + 144483
1554043255.764 * * [simplify]: Extracting #5: cost 27 inf + 409616
1554043255.781 * * [simplify]: Extracting #6: cost 0 inf + 414512
1554043255.802 * * [simplify]: Extracting #7: cost 0 inf + 407040
1554043255.833 * [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))
1554043255.833 * [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)))
1554043255.872 * * [progress]: iteration 1 / 4
1554043255.872 * * * [progress]: picking best candidate
1554043255.916 * * * * [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))))>
1554043255.916 * * * [progress]: localizing error
1554043256.143 * * * [progress]: generating rewritten candidates
1554043256.143 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1554043256.160 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1554043256.173 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043256.175 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1554043256.186 * * * [progress]: generating series expansions
1554043256.186 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1554043256.186 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1554043256.186 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043256.186 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1554043256.186 * * * [progress]: simplifying candidates
1554043256.186 * * * * [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))))>
1554043256.186 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
1554043256.187 * * [simplify]: iters left: 2 (4 enodes)
1554043256.188 * * [simplify]: iters left: 1 (8 enodes)
1554043256.189 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.190 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043256.190 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043256.190 * * [simplify]: Extracting #3: cost 2 inf + 2
1554043256.190 * * [simplify]: Extracting #4: cost 0 inf + 325
1554043256.190 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
1554043256.190 * [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))))
1554043256.190 * * * * [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))))>
1554043256.190 * [simplify]: Simplifying (*.p16 i i)
1554043256.190 * * [simplify]: iters left: 1 (2 enodes)
1554043256.190 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.190 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043256.190 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043256.190 * * [simplify]: Extracting #3: cost 0 inf + 322
1554043256.191 * [simplify]: Simplified to (*.p16 i i)
1554043256.191 * [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))))
1554043256.191 * * * * [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))))>
1554043256.191 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1554043256.191 * * [simplify]: iters left: 3 (6 enodes)
1554043256.192 * * [simplify]: iters left: 2 (17 enodes)
1554043256.195 * * [simplify]: iters left: 1 (32 enodes)
1554043256.203 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.203 * * [simplify]: Extracting #1: cost 11 inf + 0
1554043256.203 * * [simplify]: Extracting #2: cost 13 inf + 1
1554043256.203 * * [simplify]: Extracting #3: cost 4 inf + 2294
1554043256.203 * * [simplify]: Extracting #4: cost 0 inf + 4582
1554043256.204 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043256.204 * [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))))
1554043256.204 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1554043256.204 * * [simplify]: iters left: 3 (6 enodes)
1554043256.206 * * [simplify]: iters left: 2 (17 enodes)
1554043256.212 * * [simplify]: iters left: 1 (32 enodes)
1554043256.227 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.227 * * [simplify]: Extracting #1: cost 11 inf + 0
1554043256.227 * * [simplify]: Extracting #2: cost 13 inf + 1
1554043256.227 * * [simplify]: Extracting #3: cost 4 inf + 2294
1554043256.227 * * [simplify]: Extracting #4: cost 0 inf + 4582
1554043256.228 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043256.228 * [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))))
1554043256.228 * * * * [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))))>
1554043256.228 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043256.229 * * [simplify]: iters left: 3 (7 enodes)
1554043256.232 * * [simplify]: iters left: 2 (19 enodes)
1554043256.239 * * [simplify]: iters left: 1 (37 enodes)
1554043256.251 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.251 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043256.252 * * [simplify]: Extracting #2: cost 21 inf + 0
1554043256.252 * * [simplify]: Extracting #3: cost 27 inf + 165
1554043256.252 * * [simplify]: Extracting #4: cost 27 inf + 167
1554043256.252 * * [simplify]: Extracting #5: cost 18 inf + 4946
1554043256.254 * * [simplify]: Extracting #6: cost 0 inf + 22111
1554043256.256 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043256.256 * [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))))
1554043256.256 * * * * [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)))))>
1554043256.256 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
1554043256.256 * * [simplify]: iters left: 3 (6 enodes)
1554043256.258 * * [simplify]: iters left: 2 (17 enodes)
1554043256.261 * * [simplify]: iters left: 1 (32 enodes)
1554043256.269 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.269 * * [simplify]: Extracting #1: cost 11 inf + 0
1554043256.269 * * [simplify]: Extracting #2: cost 13 inf + 1
1554043256.269 * * [simplify]: Extracting #3: cost 4 inf + 2294
1554043256.269 * * [simplify]: Extracting #4: cost 0 inf + 4582
1554043256.270 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043256.270 * [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)))))
1554043256.270 * * * * [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))))>
1554043256.270 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
1554043256.270 * * [simplify]: iters left: 4 (8 enodes)
1554043256.272 * * [simplify]: iters left: 3 (18 enodes)
1554043256.275 * * [simplify]: iters left: 2 (25 enodes)
1554043256.279 * * [simplify]: iters left: 1 (29 enodes)
1554043256.285 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.285 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043256.285 * * [simplify]: Extracting #2: cost 11 inf + 0
1554043256.285 * * [simplify]: Extracting #3: cost 8 inf + 324
1554043256.285 * * [simplify]: Extracting #4: cost 7 inf + 325
1554043256.285 * * [simplify]: Extracting #5: cost 0 inf + 3578
1554043256.286 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
1554043256.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 (*.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))))
1554043256.286 * * * * [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)))))>
1554043256.286 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
1554043256.286 * * [simplify]: iters left: 2 (3 enodes)
1554043256.287 * * [simplify]: iters left: 1 (9 enodes)
1554043256.288 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.288 * * [simplify]: Extracting #1: cost 4 inf + 0
1554043256.288 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043256.288 * * [simplify]: Extracting #3: cost 0 inf + 1604
1554043256.288 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
1554043256.288 * [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)))))
1554043256.288 * * * * [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)))))>
1554043256.288 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043256.288 * * [simplify]: iters left: 4 (10 enodes)
1554043256.291 * * [simplify]: iters left: 3 (25 enodes)
1554043256.296 * * [simplify]: iters left: 2 (51 enodes)
1554043256.311 * * [simplify]: iters left: 1 (112 enodes)
1554043256.382 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.383 * * [simplify]: Extracting #1: cost 57 inf + 0
1554043256.384 * * [simplify]: Extracting #2: cost 185 inf + 763
1554043256.386 * * [simplify]: Extracting #3: cost 127 inf + 36834
1554043256.391 * * [simplify]: Extracting #4: cost 71 inf + 75466
1554043256.401 * * [simplify]: Extracting #5: cost 6 inf + 143781
1554043256.413 * * [simplify]: Extracting #6: cost 0 inf + 152919
1554043256.425 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043256.425 * [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)))))
1554043256.426 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043256.426 * * [simplify]: iters left: 4 (10 enodes)
1554043256.431 * * [simplify]: iters left: 3 (31 enodes)
1554043256.443 * * [simplify]: iters left: 2 (84 enodes)
1554043256.503 * * [simplify]: iters left: 1 (243 enodes)
1554043256.703 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.703 * * [simplify]: Extracting #1: cost 69 inf + 0
1554043256.704 * * [simplify]: Extracting #2: cost 292 inf + 763
1554043256.707 * * [simplify]: Extracting #3: cost 290 inf + 19278
1554043256.716 * * [simplify]: Extracting #4: cost 211 inf + 140467
1554043256.738 * * [simplify]: Extracting #5: cost 50 inf + 372763
1554043256.756 * * [simplify]: Extracting #6: cost 0 inf + 397205
1554043256.777 * * [simplify]: Extracting #7: cost 0 inf + 392365
1554043256.807 * * [simplify]: Extracting #8: cost 0 inf + 392245
1554043256.838 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043256.838 * [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)))))
1554043256.838 * * * * [progress]: [ 9 / 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)))))>
1554043256.839 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043256.839 * * [simplify]: iters left: 3 (7 enodes)
1554043256.843 * * [simplify]: iters left: 2 (13 enodes)
1554043256.847 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.847 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043256.847 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043256.847 * * [simplify]: Extracting #3: cost 4 inf + 3
1554043256.847 * * [simplify]: Extracting #4: cost 3 inf + 4
1554043256.847 * * [simplify]: Extracting #5: cost 0 inf + 690
1554043256.847 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043256.847 * [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)))))
1554043256.848 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043256.848 * * [simplify]: iters left: 3 (7 enodes)
1554043256.852 * * [simplify]: iters left: 2 (19 enodes)
1554043256.859 * * [simplify]: iters left: 1 (37 enodes)
1554043256.871 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.871 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043256.871 * * [simplify]: Extracting #2: cost 21 inf + 0
1554043256.872 * * [simplify]: Extracting #3: cost 27 inf + 165
1554043256.872 * * [simplify]: Extracting #4: cost 27 inf + 167
1554043256.872 * * [simplify]: Extracting #5: cost 18 inf + 4946
1554043256.874 * * [simplify]: Extracting #6: cost 0 inf + 22111
1554043256.876 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043256.876 * [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)))))
1554043256.876 * * * * [progress]: [ 10 / 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)))))>
1554043256.876 * * * * [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 (*.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)))))>
1554043256.877 * * * * [progress]: [ 12 / 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))))>
1554043256.877 * * * * [progress]: [ 13 / 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))))>
1554043256.877 * * * * [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 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1554043256.877 * * * * [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))))>
1554043256.877 * [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)))
1554043256.877 * * [simplify]: iters left: 5 (12 enodes)
1554043256.884 * * [simplify]: iters left: 4 (43 enodes)
1554043256.902 * * [simplify]: iters left: 3 (170 enodes)
1554043256.984 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043256.984 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043256.985 * * [simplify]: Extracting #2: cost 269 inf + 322
1554043256.986 * * [simplify]: Extracting #3: cost 284 inf + 8772
1554043256.990 * * [simplify]: Extracting #4: cost 196 inf + 144483
1554043257.003 * * [simplify]: Extracting #5: cost 27 inf + 409616
1554043257.019 * * [simplify]: Extracting #6: cost 0 inf + 414512
1554043257.037 * * [simplify]: Extracting #7: cost 0 inf + 407040
1554043257.055 * [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))
1554043257.056 * [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)))
1554043257.056 * * * * [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))))>
1554043257.056 * [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)))
1554043257.056 * * [simplify]: iters left: 5 (12 enodes)
1554043257.059 * * [simplify]: iters left: 4 (43 enodes)
1554043257.069 * * [simplify]: iters left: 3 (170 enodes)
1554043257.121 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043257.122 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043257.122 * * [simplify]: Extracting #2: cost 269 inf + 322
1554043257.123 * * [simplify]: Extracting #3: cost 284 inf + 8772
1554043257.128 * * [simplify]: Extracting #4: cost 196 inf + 144483
1554043257.141 * * [simplify]: Extracting #5: cost 27 inf + 409616
1554043257.160 * * [simplify]: Extracting #6: cost 0 inf + 414512
1554043257.187 * * [simplify]: Extracting #7: cost 0 inf + 407040
1554043257.215 * [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))
1554043257.215 * [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)))
1554043257.215 * * * * [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))))>
1554043257.215 * [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)))
1554043257.215 * * [simplify]: iters left: 5 (12 enodes)
1554043257.220 * * [simplify]: iters left: 4 (43 enodes)
1554043257.239 * * [simplify]: iters left: 3 (170 enodes)
1554043257.319 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043257.320 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043257.321 * * [simplify]: Extracting #2: cost 269 inf + 322
1554043257.323 * * [simplify]: Extracting #3: cost 284 inf + 8772
1554043257.332 * * [simplify]: Extracting #4: cost 196 inf + 144483
1554043257.352 * * [simplify]: Extracting #5: cost 27 inf + 409616
1554043257.373 * * [simplify]: Extracting #6: cost 0 inf + 414512
1554043257.390 * * [simplify]: Extracting #7: cost 0 inf + 407040
1554043257.406 * [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))
1554043257.406 * [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)))
1554043257.407 * * * * [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))))>
1554043257.407 * [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)))
1554043257.407 * * [simplify]: iters left: 5 (12 enodes)
1554043257.410 * * [simplify]: iters left: 4 (43 enodes)
1554043257.420 * * [simplify]: iters left: 3 (170 enodes)
1554043257.474 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043257.474 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043257.475 * * [simplify]: Extracting #2: cost 269 inf + 322
1554043257.476 * * [simplify]: Extracting #3: cost 284 inf + 8772
1554043257.480 * * [simplify]: Extracting #4: cost 196 inf + 144483
1554043257.504 * * [simplify]: Extracting #5: cost 27 inf + 409616
1554043257.531 * * [simplify]: Extracting #6: cost 0 inf + 414512
1554043257.558 * * [simplify]: Extracting #7: cost 0 inf + 407040
1554043257.585 * [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))
1554043257.585 * [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)))
1554043257.586 * * * [progress]: adding candidates to table
1554043258.963 * * [progress]: iteration 2 / 4
1554043258.963 * * * [progress]: picking best candidate
1554043259.141 * * * * [pick]: Picked  #<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)))))>
1554043259.142 * * * [progress]: localizing error
1554043259.532 * * * [progress]: generating rewritten candidates
1554043259.532 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1554043259.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1554043259.538 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043259.542 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1554043259.547 * * * [progress]: generating series expansions
1554043259.547 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1554043259.547 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1554043259.547 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043259.547 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1554043259.547 * * * [progress]: simplifying candidates
1554043259.547 * * * * [progress]: [ 1 / 15 ] 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 (*.p16 i i) (real->posit16 2)) i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043259.547 * * * * [progress]: [ 2 / 15 ] 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 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043259.548 * * * * [progress]: [ 3 / 15 ] 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 (real->posit16 2)) (/.p16 i i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043259.548 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043259.548 * * [simplify]: iters left: 2 (4 enodes)
1554043259.549 * * [simplify]: iters left: 1 (7 enodes)
1554043259.550 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.550 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043259.550 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043259.550 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043259.550 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043259.551 * [simplify]: Simplified (2 2 1 1) to (λ (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 (real->posit16 2)) (/.p16 i i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043259.551 * [simplify]: Simplifying (/.p16 i i)
1554043259.551 * * [simplify]: iters left: 1 (2 enodes)
1554043259.561 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.561 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043259.561 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043259.561 * * [simplify]: Extracting #3: cost 0 inf + 3
1554043259.561 * [simplify]: Simplified to (real->posit16 1.0)
1554043259.561 * [simplify]: Simplified (2 2 1 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 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043259.561 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (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)))))>
1554043259.561 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) 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)))))>
1554043259.561 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i 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)))))>
1554043259.561 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043259.562 * * [simplify]: iters left: 2 (4 enodes)
1554043259.563 * * [simplify]: iters left: 1 (7 enodes)
1554043259.565 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.565 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043259.565 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043259.565 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043259.565 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043259.566 * [simplify]: Simplified (2 1 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i 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)))))
1554043259.566 * [simplify]: Simplifying (/.p16 i i)
1554043259.566 * * [simplify]: iters left: 1 (2 enodes)
1554043259.567 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.567 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043259.567 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043259.567 * * [simplify]: Extracting #3: cost 0 inf + 3
1554043259.567 * [simplify]: Simplified to (real->posit16 1.0)
1554043259.567 * [simplify]: Simplified (2 1 1 2) to (λ (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)))))
1554043259.567 * * * * [progress]: [ 7 / 15 ] 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 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))>
1554043259.568 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043259.568 * * [simplify]: iters left: 2 (4 enodes)
1554043259.569 * * [simplify]: iters left: 1 (7 enodes)
1554043259.571 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.571 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043259.571 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043259.571 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043259.571 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043259.571 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.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)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i)))))
1554043259.572 * * * * [progress]: [ 8 / 15 ] 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 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043259.572 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043259.572 * * [simplify]: iters left: 3 (7 enodes)
1554043259.575 * * [simplify]: iters left: 2 (13 enodes)
1554043259.579 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.579 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043259.579 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043259.579 * * [simplify]: Extracting #3: cost 4 inf + 3
1554043259.579 * * [simplify]: Extracting #4: cost 3 inf + 4
1554043259.579 * * [simplify]: Extracting #5: cost 0 inf + 690
1554043259.579 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043259.579 * [simplify]: Simplified (2 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 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1554043259.579 * * * * [progress]: [ 9 / 15 ] 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 i i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))))>
1554043259.580 * [simplify]: Simplifying (*.p16 i i)
1554043259.580 * * [simplify]: iters left: 1 (2 enodes)
1554043259.580 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.580 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043259.580 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043259.581 * * [simplify]: Extracting #3: cost 0 inf + 322
1554043259.581 * [simplify]: Simplified to (*.p16 i i)
1554043259.581 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))))
1554043259.581 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043259.581 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043259.581 * * [simplify]: iters left: 2 (4 enodes)
1554043259.583 * * [simplify]: iters left: 1 (7 enodes)
1554043259.585 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.585 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043259.585 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043259.585 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043259.585 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043259.585 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043259.585 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043259.586 * [simplify]: Simplifying (*.p16 i i)
1554043259.586 * * [simplify]: iters left: 1 (2 enodes)
1554043259.586 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.586 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043259.586 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043259.587 * * [simplify]: Extracting #3: cost 0 inf + 322
1554043259.587 * [simplify]: Simplified to (*.p16 i i)
1554043259.587 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043259.587 * * * * [progress]: [ 12 / 15 ] 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)))))>
1554043259.587 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043259.587 * * [simplify]: iters left: 4 (10 enodes)
1554043259.591 * * [simplify]: iters left: 3 (25 enodes)
1554043259.599 * * [simplify]: iters left: 2 (51 enodes)
1554043259.621 * * [simplify]: iters left: 1 (112 enodes)
1554043259.665 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.665 * * [simplify]: Extracting #1: cost 57 inf + 0
1554043259.665 * * [simplify]: Extracting #2: cost 185 inf + 763
1554043259.667 * * [simplify]: Extracting #3: cost 127 inf + 36834
1554043259.670 * * [simplify]: Extracting #4: cost 71 inf + 75466
1554043259.675 * * [simplify]: Extracting #5: cost 6 inf + 143781
1554043259.681 * * [simplify]: Extracting #6: cost 0 inf + 152919
1554043259.688 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043259.688 * [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)))))
1554043259.688 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043259.688 * * [simplify]: iters left: 4 (10 enodes)
1554043259.691 * * [simplify]: iters left: 3 (31 enodes)
1554043259.698 * * [simplify]: iters left: 2 (84 enodes)
1554043259.729 * * [simplify]: iters left: 1 (243 enodes)
1554043259.867 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043259.867 * * [simplify]: Extracting #1: cost 69 inf + 0
1554043259.868 * * [simplify]: Extracting #2: cost 292 inf + 763
1554043259.869 * * [simplify]: Extracting #3: cost 290 inf + 19278
1554043259.874 * * [simplify]: Extracting #4: cost 211 inf + 140467
1554043259.891 * * [simplify]: Extracting #5: cost 50 inf + 372763
1554043259.909 * * [simplify]: Extracting #6: cost 0 inf + 397205
1554043259.935 * * [simplify]: Extracting #7: cost 0 inf + 392365
1554043259.963 * * [simplify]: Extracting #8: cost 0 inf + 392245
1554043259.992 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043259.992 * [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)))))
1554043259.992 * * * * [progress]: [ 13 / 15 ] 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)))))>
1554043259.992 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043259.993 * * [simplify]: iters left: 4 (10 enodes)
1554043259.997 * * [simplify]: iters left: 3 (25 enodes)
1554043260.004 * * [simplify]: iters left: 2 (51 enodes)
1554043260.030 * * [simplify]: iters left: 1 (112 enodes)
1554043260.102 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043260.102 * * [simplify]: Extracting #1: cost 57 inf + 0
1554043260.103 * * [simplify]: Extracting #2: cost 185 inf + 763
1554043260.105 * * [simplify]: Extracting #3: cost 127 inf + 36834
1554043260.110 * * [simplify]: Extracting #4: cost 71 inf + 75466
1554043260.118 * * [simplify]: Extracting #5: cost 6 inf + 143781
1554043260.129 * * [simplify]: Extracting #6: cost 0 inf + 152919
1554043260.138 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043260.138 * [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)))))
1554043260.139 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043260.139 * * [simplify]: iters left: 4 (10 enodes)
1554043260.143 * * [simplify]: iters left: 3 (31 enodes)
1554043260.154 * * [simplify]: iters left: 2 (84 enodes)
1554043260.206 * * [simplify]: iters left: 1 (243 enodes)
1554043260.418 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043260.418 * * [simplify]: Extracting #1: cost 69 inf + 0
1554043260.420 * * [simplify]: Extracting #2: cost 292 inf + 763
1554043260.422 * * [simplify]: Extracting #3: cost 290 inf + 19278
1554043260.431 * * [simplify]: Extracting #4: cost 211 inf + 140467
1554043260.458 * * [simplify]: Extracting #5: cost 50 inf + 372763
1554043260.477 * * [simplify]: Extracting #6: cost 0 inf + 397205
1554043260.512 * * [simplify]: Extracting #7: cost 0 inf + 392365
1554043260.547 * * [simplify]: Extracting #8: cost 0 inf + 392245
1554043260.581 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043260.582 * [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)))))
1554043260.582 * * * * [progress]: [ 14 / 15 ] 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)))))>
1554043260.582 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043260.582 * * [simplify]: iters left: 4 (10 enodes)
1554043260.589 * * [simplify]: iters left: 3 (25 enodes)
1554043260.598 * * [simplify]: iters left: 2 (51 enodes)
1554043260.629 * * [simplify]: iters left: 1 (112 enodes)
1554043260.706 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043260.708 * * [simplify]: Extracting #1: cost 57 inf + 0
1554043260.709 * * [simplify]: Extracting #2: cost 185 inf + 763
1554043260.710 * * [simplify]: Extracting #3: cost 127 inf + 36834
1554043260.713 * * [simplify]: Extracting #4: cost 71 inf + 75466
1554043260.718 * * [simplify]: Extracting #5: cost 6 inf + 143781
1554043260.724 * * [simplify]: Extracting #6: cost 0 inf + 152919
1554043260.730 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043260.730 * [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)))))
1554043260.730 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043260.730 * * [simplify]: iters left: 4 (10 enodes)
1554043260.733 * * [simplify]: iters left: 3 (31 enodes)
1554043260.739 * * [simplify]: iters left: 2 (84 enodes)
1554043260.767 * * [simplify]: iters left: 1 (243 enodes)
1554043260.928 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043260.929 * * [simplify]: Extracting #1: cost 69 inf + 0
1554043260.930 * * [simplify]: Extracting #2: cost 292 inf + 763
1554043260.932 * * [simplify]: Extracting #3: cost 290 inf + 19278
1554043260.942 * * [simplify]: Extracting #4: cost 211 inf + 140467
1554043260.967 * * [simplify]: Extracting #5: cost 50 inf + 372763
1554043260.999 * * [simplify]: Extracting #6: cost 0 inf + 397205
1554043261.027 * * [simplify]: Extracting #7: cost 0 inf + 392365
1554043261.055 * * [simplify]: Extracting #8: cost 0 inf + 392245
1554043261.083 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043261.083 * [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)))))
1554043261.083 * * * * [progress]: [ 15 / 15 ] 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)))))>
1554043261.084 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043261.084 * * [simplify]: iters left: 4 (10 enodes)
1554043261.088 * * [simplify]: iters left: 3 (25 enodes)
1554043261.096 * * [simplify]: iters left: 2 (51 enodes)
1554043261.123 * * [simplify]: iters left: 1 (112 enodes)
1554043261.191 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043261.191 * * [simplify]: Extracting #1: cost 57 inf + 0
1554043261.192 * * [simplify]: Extracting #2: cost 185 inf + 763
1554043261.194 * * [simplify]: Extracting #3: cost 127 inf + 36834
1554043261.199 * * [simplify]: Extracting #4: cost 71 inf + 75466
1554043261.211 * * [simplify]: Extracting #5: cost 6 inf + 143781
1554043261.221 * * [simplify]: Extracting #6: cost 0 inf + 152919
1554043261.232 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043261.232 * [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)))))
1554043261.233 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
1554043261.233 * * [simplify]: iters left: 4 (10 enodes)
1554043261.237 * * [simplify]: iters left: 3 (31 enodes)
1554043261.247 * * [simplify]: iters left: 2 (84 enodes)
1554043261.295 * * [simplify]: iters left: 1 (243 enodes)
1554043261.482 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043261.483 * * [simplify]: Extracting #1: cost 69 inf + 0
1554043261.484 * * [simplify]: Extracting #2: cost 292 inf + 763
1554043261.486 * * [simplify]: Extracting #3: cost 290 inf + 19278
1554043261.494 * * [simplify]: Extracting #4: cost 211 inf + 140467
1554043261.509 * * [simplify]: Extracting #5: cost 50 inf + 372763
1554043261.527 * * [simplify]: Extracting #6: cost 0 inf + 397205
1554043261.548 * * [simplify]: Extracting #7: cost 0 inf + 392365
1554043261.573 * * [simplify]: Extracting #8: cost 0 inf + 392245
1554043261.602 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1554043261.602 * [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)))))
1554043261.602 * * * [progress]: adding candidates to table
1554043262.524 * * [progress]: iteration 3 / 4
1554043262.524 * * * [progress]: picking best candidate
1554043262.930 * * * * [pick]: Picked  #<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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043262.930 * * * [progress]: localizing error
1554043263.368 * * * [progress]: generating rewritten candidates
1554043263.368 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043263.371 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1554043263.374 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043263.379 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1554043263.392 * * * [progress]: generating series expansions
1554043263.392 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043263.392 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1554043263.392 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043263.392 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1554043263.392 * * * [progress]: simplifying candidates
1554043263.392 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043263.392 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043263.393 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043263.393 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043263.393 * * [simplify]: iters left: 2 (4 enodes)
1554043263.395 * * [simplify]: iters left: 1 (7 enodes)
1554043263.397 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.397 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043263.397 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043263.397 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043263.397 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043263.397 * [simplify]: Simplified (2 1 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043263.397 * [simplify]: Simplifying (/.p16 i i)
1554043263.397 * * [simplify]: iters left: 1 (2 enodes)
1554043263.398 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.398 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043263.398 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043263.398 * * [simplify]: Extracting #3: cost 0 inf + 3
1554043263.398 * [simplify]: Simplified to (real->posit16 1.0)
1554043263.399 * [simplify]: Simplified (2 1 1 2) to (λ (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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043263.399 * * * * [progress]: [ 4 / 16 ] 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 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0)))))>
1554043263.399 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043263.399 * * [simplify]: iters left: 2 (4 enodes)
1554043263.400 * * [simplify]: iters left: 1 (7 enodes)
1554043263.402 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.402 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043263.402 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043263.402 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043263.402 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043263.402 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (/.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)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0)))))
1554043263.403 * * * * [progress]: [ 5 / 16 ] 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 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043263.403 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043263.403 * * [simplify]: iters left: 3 (7 enodes)
1554043263.406 * * [simplify]: iters left: 2 (13 enodes)
1554043263.410 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.410 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043263.410 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043263.410 * * [simplify]: Extracting #3: cost 4 inf + 3
1554043263.410 * * [simplify]: Extracting #4: cost 3 inf + 4
1554043263.410 * * [simplify]: Extracting #5: cost 0 inf + 690
1554043263.410 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043263.410 * [simplify]: Simplified (2 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 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1554043263.410 * * * * [progress]: [ 6 / 16 ] 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 i (real->posit16 1.0)) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2)))))>
1554043263.411 * [simplify]: Simplifying (*.p16 i (real->posit16 1.0))
1554043263.411 * * [simplify]: iters left: 2 (4 enodes)
1554043263.412 * * [simplify]: iters left: 1 (7 enodes)
1554043263.414 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.414 * * [simplify]: Extracting #1: cost 0 inf + 1
1554043263.414 * [simplify]: Simplified to i
1554043263.414 * [simplify]: Simplified (2 2 1) 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 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2)))))
1554043263.414 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043263.414 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043263.415 * * [simplify]: iters left: 2 (4 enodes)
1554043263.416 * * [simplify]: iters left: 1 (7 enodes)
1554043263.418 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.418 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043263.418 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043263.418 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043263.418 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043263.418 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043263.418 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.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)))))>
1554043263.419 * [simplify]: Simplifying (*.p16 i i)
1554043263.419 * * [simplify]: iters left: 1 (2 enodes)
1554043263.420 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.420 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043263.420 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043263.420 * * [simplify]: Extracting #3: cost 0 inf + 322
1554043263.420 * [simplify]: Simplified to (*.p16 i i)
1554043263.420 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.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)))))
1554043263.420 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1554043263.420 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043263.420 * * [simplify]: iters left: 3 (7 enodes)
1554043263.423 * * [simplify]: iters left: 2 (13 enodes)
1554043263.426 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.427 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043263.427 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043263.427 * * [simplify]: Extracting #3: cost 4 inf + 3
1554043263.427 * * [simplify]: Extracting #4: cost 3 inf + 4
1554043263.427 * * [simplify]: Extracting #5: cost 0 inf + 690
1554043263.427 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043263.427 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554043263.427 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.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))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1554043263.427 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043263.428 * * [simplify]: iters left: 3 (7 enodes)
1554043263.430 * * [simplify]: iters left: 2 (19 enodes)
1554043263.436 * * [simplify]: iters left: 1 (37 enodes)
1554043263.447 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.447 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043263.447 * * [simplify]: Extracting #2: cost 21 inf + 0
1554043263.448 * * [simplify]: Extracting #3: cost 27 inf + 165
1554043263.448 * * [simplify]: Extracting #4: cost 27 inf + 167
1554043263.448 * * [simplify]: Extracting #5: cost 18 inf + 4946
1554043263.450 * * [simplify]: Extracting #6: cost 0 inf + 22111
1554043263.451 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043263.451 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.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))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554043263.451 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.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)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1554043263.452 * [simplify]: Simplifying (*.p16 (/.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))))
1554043263.452 * * [simplify]: iters left: 5 (13 enodes)
1554043263.457 * * [simplify]: iters left: 4 (41 enodes)
1554043263.478 * * [simplify]: iters left: 3 (162 enodes)
1554043263.684 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043263.684 * * [simplify]: Extracting #1: cost 61 inf + 0
1554043263.685 * * [simplify]: Extracting #2: cost 178 inf + 1524
1554043263.687 * * [simplify]: Extracting #3: cost 156 inf + 25083
1554043263.690 * * [simplify]: Extracting #4: cost 129 inf + 61733
1554043263.699 * * [simplify]: Extracting #5: cost 25 inf + 179077
1554043263.713 * * [simplify]: Extracting #6: cost 0 inf + 217114
1554043263.727 * * [simplify]: Extracting #7: cost 0 inf + 216394
1554043263.741 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2)))
1554043263.742 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043263.742 * * * * [progress]: [ 12 / 16 ] 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)))))>
1554043263.742 * * * * [progress]: [ 13 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043263.742 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043263.742 * * [simplify]: iters left: 5 (15 enodes)
1554043263.752 * * [simplify]: iters left: 4 (45 enodes)
1554043263.770 * * [simplify]: iters left: 3 (165 enodes)
1554043264.059 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043264.060 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043264.061 * * [simplify]: Extracting #2: cost 270 inf + 763
1554043264.063 * * [simplify]: Extracting #3: cost 223 inf + 30116
1554043264.068 * * [simplify]: Extracting #4: cost 181 inf + 64383
1554043264.083 * * [simplify]: Extracting #5: cost 35 inf + 269965
1554043264.106 * * [simplify]: Extracting #6: cost 1 inf + 331185
1554043264.128 * * [simplify]: Extracting #7: cost 0 inf + 331988
1554043264.141 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043264.141 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043264.141 * * * * [progress]: [ 14 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043264.142 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043264.142 * * [simplify]: iters left: 5 (15 enodes)
1554043264.146 * * [simplify]: iters left: 4 (45 enodes)
1554043264.165 * * [simplify]: iters left: 3 (165 enodes)
1554043264.433 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043264.433 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043264.434 * * [simplify]: Extracting #2: cost 270 inf + 763
1554043264.435 * * [simplify]: Extracting #3: cost 223 inf + 30116
1554043264.440 * * [simplify]: Extracting #4: cost 181 inf + 64383
1554043264.450 * * [simplify]: Extracting #5: cost 35 inf + 269965
1554043264.463 * * [simplify]: Extracting #6: cost 1 inf + 331185
1554043264.476 * * [simplify]: Extracting #7: cost 0 inf + 331988
1554043264.489 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043264.490 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043264.490 * * * * [progress]: [ 15 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043264.490 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043264.490 * * [simplify]: iters left: 5 (15 enodes)
1554043264.494 * * [simplify]: iters left: 4 (45 enodes)
1554043264.511 * * [simplify]: iters left: 3 (165 enodes)
1554043264.802 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043264.803 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043264.804 * * [simplify]: Extracting #2: cost 270 inf + 763
1554043264.806 * * [simplify]: Extracting #3: cost 223 inf + 30116
1554043264.812 * * [simplify]: Extracting #4: cost 181 inf + 64383
1554043264.833 * * [simplify]: Extracting #5: cost 35 inf + 269965
1554043264.858 * * [simplify]: Extracting #6: cost 1 inf + 331185
1554043264.883 * * [simplify]: Extracting #7: cost 0 inf + 331988
1554043264.901 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043264.901 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043264.901 * * * * [progress]: [ 16 / 16 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043264.902 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043264.902 * * [simplify]: iters left: 5 (15 enodes)
1554043264.908 * * [simplify]: iters left: 4 (45 enodes)
1554043264.930 * * [simplify]: iters left: 3 (165 enodes)
1554043265.219 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043265.219 * * [simplify]: Extracting #1: cost 78 inf + 0
1554043265.220 * * [simplify]: Extracting #2: cost 270 inf + 763
1554043265.221 * * [simplify]: Extracting #3: cost 223 inf + 30116
1554043265.224 * * [simplify]: Extracting #4: cost 181 inf + 64383
1554043265.242 * * [simplify]: Extracting #5: cost 35 inf + 269965
1554043265.268 * * [simplify]: Extracting #6: cost 1 inf + 331185
1554043265.293 * * [simplify]: Extracting #7: cost 0 inf + 331988
1554043265.312 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043265.312 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043265.312 * * * [progress]: adding candidates to table
1554043266.137 * * [progress]: iteration 4 / 4
1554043266.137 * * * [progress]: picking best candidate
1554043266.429 * * * * [pick]: Picked  #<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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043266.429 * * * [progress]: localizing error
1554043266.690 * * * [progress]: generating rewritten candidates
1554043266.690 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1554043266.693 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043266.697 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1554043266.709 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1554043266.711 * * * [progress]: generating series expansions
1554043266.711 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1554043266.711 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043266.712 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1554043266.712 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1554043266.712 * * * [progress]: simplifying candidates
1554043266.712 * * * * [progress]: [ 1 / 15 ] 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 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0)))))>
1554043266.712 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043266.712 * * [simplify]: iters left: 2 (4 enodes)
1554043266.714 * * [simplify]: iters left: 1 (7 enodes)
1554043266.716 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043266.716 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043266.716 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043266.716 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043266.717 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043266.717 * [simplify]: Simplified (2 2 1) to (λ (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 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0)))))
1554043266.717 * * * * [progress]: [ 2 / 15 ] 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 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043266.717 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043266.717 * * [simplify]: iters left: 3 (7 enodes)
1554043266.720 * * [simplify]: iters left: 2 (13 enodes)
1554043266.723 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043266.723 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043266.723 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043266.723 * * [simplify]: Extracting #3: cost 4 inf + 3
1554043266.724 * * [simplify]: Extracting #4: cost 3 inf + 4
1554043266.724 * * [simplify]: Extracting #5: cost 0 inf + 690
1554043266.724 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043266.724 * [simplify]: Simplified (2 2 2) to (λ (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 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1554043266.724 * * * * [progress]: [ 3 / 15 ] 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 i (real->posit16 1.0)) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2)))))>
1554043266.724 * [simplify]: Simplifying (*.p16 i (real->posit16 1.0))
1554043266.724 * * [simplify]: iters left: 2 (4 enodes)
1554043266.726 * * [simplify]: iters left: 1 (7 enodes)
1554043266.728 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043266.728 * * [simplify]: Extracting #1: cost 0 inf + 1
1554043266.728 * [simplify]: Simplified to i
1554043266.728 * [simplify]: Simplified (2 2 1) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2)))))
1554043266.728 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043266.728 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
1554043266.728 * * [simplify]: iters left: 2 (4 enodes)
1554043266.730 * * [simplify]: iters left: 1 (7 enodes)
1554043266.731 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043266.731 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043266.731 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043266.731 * * [simplify]: Extracting #3: cost 0 inf + 445
1554043266.732 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
1554043266.732 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043266.732 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i (real->posit16 1.0)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043266.732 * [simplify]: Simplifying (*.p16 i (real->posit16 1.0))
1554043266.732 * * [simplify]: iters left: 2 (4 enodes)
1554043266.734 * * [simplify]: iters left: 1 (7 enodes)
1554043266.735 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043266.735 * * [simplify]: Extracting #1: cost 0 inf + 1
1554043266.735 * [simplify]: Simplified to i
1554043266.735 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1554043266.735 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1554043266.736 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043266.736 * * [simplify]: iters left: 3 (7 enodes)
1554043266.739 * * [simplify]: iters left: 2 (13 enodes)
1554043266.742 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043266.742 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043266.742 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043266.742 * * [simplify]: Extracting #3: cost 4 inf + 3
1554043266.742 * * [simplify]: Extracting #4: cost 3 inf + 4
1554043266.742 * * [simplify]: Extracting #5: cost 0 inf + 690
1554043266.743 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043266.743 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554043266.743 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1554043266.743 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1554043266.743 * * [simplify]: iters left: 3 (7 enodes)
1554043266.746 * * [simplify]: iters left: 2 (19 enodes)
1554043266.752 * * [simplify]: iters left: 1 (37 enodes)
1554043266.763 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043266.763 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043266.763 * * [simplify]: Extracting #2: cost 21 inf + 0
1554043266.763 * * [simplify]: Extracting #3: cost 27 inf + 165
1554043266.763 * * [simplify]: Extracting #4: cost 27 inf + 167
1554043266.764 * * [simplify]: Extracting #5: cost 18 inf + 4946
1554043266.765 * * [simplify]: Extracting #6: cost 0 inf + 22111
1554043266.767 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1554043266.767 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
1554043266.767 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
1554043266.767 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043266.768 * * [simplify]: iters left: 5 (11 enodes)
1554043266.777 * * [simplify]: iters left: 4 (33 enodes)
1554043266.787 * * [simplify]: iters left: 3 (118 enodes)
1554043266.830 * * [simplify]: iters left: 2 (462 enodes)
1554043268.302 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043268.302 * * [simplify]: Extracting #1: cost 106 inf + 0
1554043268.304 * * [simplify]: Extracting #2: cost 796 inf + 1
1554043268.306 * * [simplify]: Extracting #3: cost 873 inf + 5460
1554043268.312 * * [simplify]: Extracting #4: cost 610 inf + 127727
1554043268.340 * * [simplify]: Extracting #5: cost 210 inf + 628048
1554043268.381 * * [simplify]: Extracting #6: cost 0 inf + 895399
1554043268.422 * * [simplify]: Extracting #7: cost 0 inf + 888119
1554043268.463 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
1554043268.463 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043268.463 * * * * [progress]: [ 9 / 15 ] 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 (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043268.463 * * * * [progress]: [ 10 / 15 ] 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 (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (neg.p16 (real->posit16 1.0))))))>
1554043268.463 * * * * [progress]: [ 11 / 15 ] 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 (real->posit16 2)) (real->posit16 1.0)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))))>
1554043268.463 * * * * [progress]: [ 12 / 15 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043268.463 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043268.464 * * [simplify]: iters left: 5 (13 enodes)
1554043268.467 * * [simplify]: iters left: 4 (37 enodes)
1554043268.476 * * [simplify]: iters left: 3 (125 enodes)
1554043268.518 * * [simplify]: iters left: 2 (436 enodes)
1554043268.832 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043268.832 * * [simplify]: Extracting #1: cost 88 inf + 0
1554043268.833 * * [simplify]: Extracting #2: cost 369 inf + 1
1554043268.837 * * [simplify]: Extracting #3: cost 426 inf + 5588
1554043268.843 * * [simplify]: Extracting #4: cost 366 inf + 61000
1554043268.872 * * [simplify]: Extracting #5: cost 121 inf + 442910
1554043268.928 * * [simplify]: Extracting #6: cost 0 inf + 625521
1554043268.993 * * [simplify]: Extracting #7: cost 0 inf + 622761
1554043269.050 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1554043269.051 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1554043269.051 * * * * [progress]: [ 13 / 15 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043269.051 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043269.051 * * [simplify]: iters left: 5 (13 enodes)
1554043269.058 * * [simplify]: iters left: 4 (37 enodes)
1554043269.076 * * [simplify]: iters left: 3 (125 enodes)
1554043269.129 * * [simplify]: iters left: 2 (436 enodes)
1554043269.502 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043269.503 * * [simplify]: Extracting #1: cost 88 inf + 0
1554043269.505 * * [simplify]: Extracting #2: cost 369 inf + 1
1554043269.508 * * [simplify]: Extracting #3: cost 426 inf + 5588
1554043269.513 * * [simplify]: Extracting #4: cost 366 inf + 61000
1554043269.541 * * [simplify]: Extracting #5: cost 121 inf + 442910
1554043269.591 * * [simplify]: Extracting #6: cost 0 inf + 625521
1554043269.643 * * [simplify]: Extracting #7: cost 0 inf + 622761
1554043269.693 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1554043269.693 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1554043269.693 * * * * [progress]: [ 14 / 15 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043269.694 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043269.694 * * [simplify]: iters left: 5 (13 enodes)
1554043269.699 * * [simplify]: iters left: 4 (37 enodes)
1554043269.714 * * [simplify]: iters left: 3 (125 enodes)
1554043269.763 * * [simplify]: iters left: 2 (436 enodes)
1554043270.077 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043270.078 * * [simplify]: Extracting #1: cost 88 inf + 0
1554043270.079 * * [simplify]: Extracting #2: cost 369 inf + 1
1554043270.081 * * [simplify]: Extracting #3: cost 426 inf + 5588
1554043270.085 * * [simplify]: Extracting #4: cost 366 inf + 61000
1554043270.103 * * [simplify]: Extracting #5: cost 121 inf + 442910
1554043270.133 * * [simplify]: Extracting #6: cost 0 inf + 625521
1554043270.167 * * [simplify]: Extracting #7: cost 0 inf + 622761
1554043270.217 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1554043270.217 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1554043270.217 * * * * [progress]: [ 15 / 15 ] 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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1554043270.218 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043270.218 * * [simplify]: iters left: 5 (13 enodes)
1554043270.223 * * [simplify]: iters left: 4 (37 enodes)
1554043270.240 * * [simplify]: iters left: 3 (125 enodes)
1554043270.291 * * [simplify]: iters left: 2 (436 enodes)
1554043270.696 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043270.696 * * [simplify]: Extracting #1: cost 88 inf + 0
1554043270.697 * * [simplify]: Extracting #2: cost 369 inf + 1
1554043270.699 * * [simplify]: Extracting #3: cost 426 inf + 5588
1554043270.702 * * [simplify]: Extracting #4: cost 366 inf + 61000
1554043270.720 * * [simplify]: Extracting #5: cost 121 inf + 442910
1554043270.751 * * [simplify]: Extracting #6: cost 0 inf + 625521
1554043270.798 * * [simplify]: Extracting #7: cost 0 inf + 622761
1554043270.829 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1554043270.829 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
1554043270.829 * * * [progress]: adding candidates to table
1554043271.702 * [progress]: [Phase 3 of 3] Extracting.
1554043271.702 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<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)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.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)))))> #<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))))> #<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))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) 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)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>)
1554043271.704 * * * [regime-changes]: Trying 1 branch expressions: (i)
1554043271.704 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (*.p16 (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<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)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.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)))))> #<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))))> #<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))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) 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)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>)
1554043272.182 * * * [regime]: Found split indices: #<option (#s(si 8 256))>
1554043272.182 * [simplify]: Simplifying (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043272.183 * * [simplify]: iters left: 5 (13 enodes)
1554043272.184 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043272.184 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043272.184 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043272.184 * * [simplify]: Extracting #3: cost 9 inf + 0
1554043272.184 * * [simplify]: Extracting #4: cost 12 inf + 0
1554043272.185 * * [simplify]: Extracting #5: cost 10 inf + 3
1554043272.185 * * [simplify]: Extracting #6: cost 9 inf + 4
1554043272.185 * * [simplify]: Extracting #7: cost 6 inf + 769
1554043272.185 * * [simplify]: Extracting #8: cost 1 inf + 5464
1554043272.185 * * [simplify]: Extracting #9: cost 0 inf + 7867
1554043272.186 * [simplify]: Simplified to (*.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 (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
1554043272.186 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043272.202 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043272.206 * * * * [points]: Setting MPFR precision to 64
1554043272.208 * * * * [points]: Setting MPFR precision to 320
1554043272.209 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043272.214 * * * * [points]: Setting MPFR precision to 64
1554043272.217 * * * * [points]: Setting MPFR precision to 320
1554043272.219 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043272.224 * * * * [points]: Setting MPFR precision to 64
1554043272.228 * * * * [points]: Setting MPFR precision to 320
1554043272.232 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043272.235 * * * * [points]: Setting MPFR precision to 64
1554043272.241 * * * * [points]: Setting MPFR precision to 320
1554043272.251 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043272.266 * * * * [points]: Setting MPFR precision to 64
1554043272.285 * * * * [points]: Setting MPFR precision to 320
1554043272.299 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043272.302 * * * * [points]: Setting MPFR precision to 64
1554043272.328 * * * * [points]: Setting MPFR precision to 320
1554043272.354 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043272.358 * * * * [points]: Setting MPFR precision to 64
1554043272.458 * * * * [points]: Setting MPFR precision to 320
1554043272.529 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043272.533 * * * * [points]: Setting MPFR precision to 64
1554043272.993 * * * * [points]: Setting MPFR precision to 320
1554043273.140 * * * * [points]: Computing exacts for 8000 points
1554043273.145 * * * * [points]: Setting MPFR precision to 64
1554043273.781 * * * * [points]: Setting MPFR precision to 320
1554043274.424 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.603 * * * * [points]: Sampling 4151 additional inputs, on iter 1 have 3849 / 8000
1554043274.614 * * * * [points]: Computing exacts on every 259 of 4151 points to ramp up precision
1554043274.619 * * * * [points]: Setting MPFR precision to 64
1554043274.621 * * * * [points]: Setting MPFR precision to 320
1554043274.623 * * * * [points]: Computing exacts on every 129 of 4151 points to ramp up precision
1554043274.628 * * * * [points]: Setting MPFR precision to 64
1554043274.631 * * * * [points]: Setting MPFR precision to 320
1554043274.634 * * * * [points]: Computing exacts on every 64 of 4151 points to ramp up precision
1554043274.657 * * * * [points]: Setting MPFR precision to 64
1554043274.663 * * * * [points]: Setting MPFR precision to 320
1554043274.670 * * * * [points]: Computing exacts on every 32 of 4151 points to ramp up precision
1554043274.676 * * * * [points]: Setting MPFR precision to 64
1554043274.688 * * * * [points]: Setting MPFR precision to 320
1554043274.702 * * * * [points]: Computing exacts on every 16 of 4151 points to ramp up precision
1554043274.708 * * * * [points]: Setting MPFR precision to 64
1554043274.729 * * * * [points]: Setting MPFR precision to 320
1554043274.752 * * * * [points]: Computing exacts on every 8 of 4151 points to ramp up precision
1554043274.757 * * * * [points]: Setting MPFR precision to 64
1554043274.783 * * * * [points]: Setting MPFR precision to 320
1554043274.807 * * * * [points]: Computing exacts on every 4 of 4151 points to ramp up precision
1554043274.810 * * * * [points]: Setting MPFR precision to 64
1554043274.883 * * * * [points]: Setting MPFR precision to 320
1554043274.954 * * * * [points]: Computing exacts on every 2 of 4151 points to ramp up precision
1554043274.957 * * * * [points]: Setting MPFR precision to 64
1554043275.090 * * * * [points]: Setting MPFR precision to 320
1554043275.166 * * * * [points]: Computing exacts for 4151 points
1554043275.169 * * * * [points]: Setting MPFR precision to 64
1554043275.483 * * * * [points]: Setting MPFR precision to 320
1554043275.787 * * * * [points]: Filtering points with unrepresentable outputs
1554043275.889 * * * * [points]: Sampling 2107 additional inputs, on iter 2 have 5893 / 8000
1554043275.894 * * * * [points]: Computing exacts on every 131 of 2107 points to ramp up precision
1554043275.900 * * * * [points]: Setting MPFR precision to 64
1554043275.901 * * * * [points]: Setting MPFR precision to 320
1554043275.903 * * * * [points]: Computing exacts on every 65 of 2107 points to ramp up precision
1554043275.908 * * * * [points]: Setting MPFR precision to 64
1554043275.912 * * * * [points]: Setting MPFR precision to 320
1554043275.915 * * * * [points]: Computing exacts on every 32 of 2107 points to ramp up precision
1554043275.920 * * * * [points]: Setting MPFR precision to 64
1554043275.926 * * * * [points]: Setting MPFR precision to 320
1554043275.932 * * * * [points]: Computing exacts on every 16 of 2107 points to ramp up precision
1554043275.938 * * * * [points]: Setting MPFR precision to 64
1554043275.950 * * * * [points]: Setting MPFR precision to 320
1554043275.963 * * * * [points]: Computing exacts on every 8 of 2107 points to ramp up precision
1554043275.968 * * * * [points]: Setting MPFR precision to 64
1554043275.988 * * * * [points]: Setting MPFR precision to 320
1554043276.013 * * * * [points]: Computing exacts on every 4 of 2107 points to ramp up precision
1554043276.016 * * * * [points]: Setting MPFR precision to 64
1554043276.364 * * * * [points]: Setting MPFR precision to 320
1554043276.389 * * * * [points]: Computing exacts on every 2 of 2107 points to ramp up precision
1554043276.392 * * * * [points]: Setting MPFR precision to 64
1554043276.427 * * * * [points]: Setting MPFR precision to 320
1554043276.468 * * * * [points]: Computing exacts for 2107 points
1554043276.470 * * * * [points]: Setting MPFR precision to 64
1554043276.633 * * * * [points]: Setting MPFR precision to 320
1554043276.839 * * * * [points]: Filtering points with unrepresentable outputs
1554043276.936 * * * * [points]: Sampling 998 additional inputs, on iter 3 have 7002 / 8000
1554043276.939 * * * * [points]: Computing exacts on every 62 of 998 points to ramp up precision
1554043276.944 * * * * [points]: Setting MPFR precision to 64
1554043276.946 * * * * [points]: Setting MPFR precision to 320
1554043276.947 * * * * [points]: Computing exacts on every 31 of 998 points to ramp up precision
1554043276.952 * * * * [points]: Setting MPFR precision to 64
1554043276.955 * * * * [points]: Setting MPFR precision to 320
1554043276.958 * * * * [points]: Computing exacts on every 15 of 998 points to ramp up precision
1554043276.963 * * * * [points]: Setting MPFR precision to 64
1554043276.968 * * * * [points]: Setting MPFR precision to 320
1554043276.974 * * * * [points]: Computing exacts on every 7 of 998 points to ramp up precision
1554043276.979 * * * * [points]: Setting MPFR precision to 64
1554043276.989 * * * * [points]: Setting MPFR precision to 320
1554043276.996 * * * * [points]: Computing exacts on every 3 of 998 points to ramp up precision
1554043276.999 * * * * [points]: Setting MPFR precision to 64
1554043277.011 * * * * [points]: Setting MPFR precision to 320
1554043277.029 * * * * [points]: Computing exacts for 998 points
1554043277.034 * * * * [points]: Setting MPFR precision to 64
1554043277.146 * * * * [points]: Setting MPFR precision to 320
1554043277.241 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.266 * * * * [points]: Sampling 522 additional inputs, on iter 4 have 7478 / 8000
1554043277.267 * * * * [points]: Computing exacts on every 32 of 522 points to ramp up precision
1554043277.272 * * * * [points]: Setting MPFR precision to 64
1554043277.274 * * * * [points]: Setting MPFR precision to 320
1554043277.275 * * * * [points]: Computing exacts on every 16 of 522 points to ramp up precision
1554043277.280 * * * * [points]: Setting MPFR precision to 64
1554043277.283 * * * * [points]: Setting MPFR precision to 320
1554043277.286 * * * * [points]: Computing exacts on every 8 of 522 points to ramp up precision
1554043277.291 * * * * [points]: Setting MPFR precision to 64
1554043277.317 * * * * [points]: Setting MPFR precision to 320
1554043277.321 * * * * [points]: Computing exacts on every 4 of 522 points to ramp up precision
1554043277.325 * * * * [points]: Setting MPFR precision to 64
1554043277.330 * * * * [points]: Setting MPFR precision to 320
1554043277.336 * * * * [points]: Computing exacts on every 2 of 522 points to ramp up precision
1554043277.341 * * * * [points]: Setting MPFR precision to 64
1554043277.357 * * * * [points]: Setting MPFR precision to 320
1554043277.376 * * * * [points]: Computing exacts for 522 points
1554043277.380 * * * * [points]: Setting MPFR precision to 64
1554043277.427 * * * * [points]: Setting MPFR precision to 320
1554043277.478 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.494 * * * * [points]: Sampling 265 additional inputs, on iter 5 have 7735 / 8000
1554043277.494 * * * * [points]: Computing exacts on every 16 of 265 points to ramp up precision
1554043277.499 * * * * [points]: Setting MPFR precision to 64
1554043277.533 * * * * [points]: Setting MPFR precision to 320
1554043277.534 * * * * [points]: Computing exacts on every 8 of 265 points to ramp up precision
1554043277.540 * * * * [points]: Setting MPFR precision to 64
1554043277.546 * * * * [points]: Setting MPFR precision to 320
1554043277.550 * * * * [points]: Computing exacts on every 4 of 265 points to ramp up precision
1554043277.555 * * * * [points]: Setting MPFR precision to 64
1554043277.560 * * * * [points]: Setting MPFR precision to 320
1554043277.567 * * * * [points]: Computing exacts on every 2 of 265 points to ramp up precision
1554043277.572 * * * * [points]: Setting MPFR precision to 64
1554043277.581 * * * * [points]: Setting MPFR precision to 320
1554043277.590 * * * * [points]: Computing exacts for 265 points
1554043277.595 * * * * [points]: Setting MPFR precision to 64
1554043277.620 * * * * [points]: Setting MPFR precision to 320
1554043277.650 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.658 * * * * [points]: Sampling 124 additional inputs, on iter 6 have 7876 / 8000
1554043277.659 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
1554043277.664 * * * * [points]: Setting MPFR precision to 64
1554043277.666 * * * * [points]: Setting MPFR precision to 320
1554043277.668 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
1554043277.673 * * * * [points]: Setting MPFR precision to 64
1554043277.676 * * * * [points]: Setting MPFR precision to 320
1554043277.680 * * * * [points]: Computing exacts for 124 points
1554043277.685 * * * * [points]: Setting MPFR precision to 64
1554043277.697 * * * * [points]: Setting MPFR precision to 320
1554043277.710 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.714 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000
1554043277.714 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1554043277.720 * * * * [points]: Setting MPFR precision to 64
1554043277.721 * * * * [points]: Setting MPFR precision to 320
1554043277.723 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1554043277.756 * * * * [points]: Setting MPFR precision to 64
1554043277.758 * * * * [points]: Setting MPFR precision to 320
1554043277.761 * * * * [points]: Computing exacts for 65 points
1554043277.768 * * * * [points]: Setting MPFR precision to 64
1554043277.774 * * * * [points]: Setting MPFR precision to 320
1554043277.781 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.782 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000
1554043277.782 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
1554043277.788 * * * * [points]: Setting MPFR precision to 64
1554043277.789 * * * * [points]: Setting MPFR precision to 320
1554043277.790 * * * * [points]: Computing exacts for 38 points
1554043277.795 * * * * [points]: Setting MPFR precision to 64
1554043277.798 * * * * [points]: Setting MPFR precision to 320
1554043277.802 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.804 * * * * [points]: Sampling 19 additional inputs, on iter 9 have 7981 / 8000
1554043277.804 * * * * [points]: Computing exacts for 19 points
1554043277.808 * * * * [points]: Setting MPFR precision to 64
1554043277.810 * * * * [points]: Setting MPFR precision to 320
1554043277.813 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.813 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
1554043277.813 * * * * [points]: Computing exacts for 6 points
1554043277.818 * * * * [points]: Setting MPFR precision to 64
1554043277.819 * * * * [points]: Setting MPFR precision to 320
1554043277.820 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.820 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
1554043277.820 * * * * [points]: Computing exacts for 4 points
1554043277.825 * * * * [points]: Setting MPFR precision to 64
1554043277.825 * * * * [points]: Setting MPFR precision to 320
1554043277.826 * * * * [points]: Filtering points with unrepresentable outputs
1554043277.826 * * * * [points]: Sampled 8000 points with exact outputs
1554043284.487 * [regime-testing]: Baseline error score: 64.0
1554043284.489 * [regime-testing]: Oracle error score: 64.0
1554043284.493 * [regime-testing]: End program error score: 0.39923446613610214