1552123105.358 * [progress]: [Phase 1 of 3] Setting up.
1552123105.358 * * * [progress]: [1/2] Preparing points
1552123105.359 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552123105.360 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552123105.363 * * * * [points]: Setting MPFR precision to 64
1552123105.365 * * * * [points]: Setting MPFR precision to 320
1552123105.366 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552123105.371 * * * * [points]: Setting MPFR precision to 64
1552123105.373 * * * * [points]: Setting MPFR precision to 320
1552123105.375 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552123105.380 * * * * [points]: Setting MPFR precision to 64
1552123105.383 * * * * [points]: Setting MPFR precision to 320
1552123105.387 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552123105.392 * * * * [points]: Setting MPFR precision to 64
1552123105.419 * * * * [points]: Setting MPFR precision to 320
1552123105.429 * * * * [points]: Computing exacts for 256 points
1552123105.438 * * * * [points]: Setting MPFR precision to 64
1552123105.464 * * * * [points]: Setting MPFR precision to 320
1552123105.495 * * * * [points]: Filtering points with unrepresentable outputs
1552123105.503 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
1552123105.504 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
1552123105.512 * * * * [points]: Setting MPFR precision to 64
1552123105.513 * * * * [points]: Setting MPFR precision to 320
1552123105.514 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
1552123105.518 * * * * [points]: Setting MPFR precision to 64
1552123105.520 * * * * [points]: Setting MPFR precision to 320
1552123105.523 * * * * [points]: Computing exacts for 119 points
1552123105.528 * * * * [points]: Setting MPFR precision to 64
1552123105.535 * * * * [points]: Setting MPFR precision to 320
1552123105.543 * * * * [points]: Filtering points with unrepresentable outputs
1552123105.546 * * * * [points]: Sampling 48 additional inputs, on iter 2 have 208 / 256
1552123105.547 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
1552123105.575 * * * * [points]: Setting MPFR precision to 64
1552123105.577 * * * * [points]: Setting MPFR precision to 320
1552123105.578 * * * * [points]: Computing exacts for 48 points
1552123105.584 * * * * [points]: Setting MPFR precision to 64
1552123105.591 * * * * [points]: Setting MPFR precision to 320
1552123105.597 * * * * [points]: Filtering points with unrepresentable outputs
1552123105.600 * * * * [points]: Sampling 20 additional inputs, on iter 3 have 236 / 256
1552123105.600 * * * * [points]: Computing exacts for 20 points
1552123105.609 * * * * [points]: Setting MPFR precision to 64
1552123105.612 * * * * [points]: Setting MPFR precision to 320
1552123105.614 * * * * [points]: Filtering points with unrepresentable outputs
1552123105.615 * * * * [points]: Sampling 6 additional inputs, on iter 4 have 250 / 256
1552123105.616 * * * * [points]: Computing exacts for 6 points
1552123105.625 * * * * [points]: Setting MPFR precision to 64
1552123105.626 * * * * [points]: Setting MPFR precision to 320
1552123105.627 * * * * [points]: Filtering points with unrepresentable outputs
1552123105.627 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 255 / 256
1552123105.627 * * * * [points]: Computing exacts for 4 points
1552123105.635 * * * * [points]: Setting MPFR precision to 64
1552123105.636 * * * * [points]: Setting MPFR precision to 320
1552123105.636 * * * * [points]: Filtering points with unrepresentable outputs
1552123105.636 * * * * [points]: Sampled 258 points with exact outputs
1552123105.636 * * * [progress]: [2/2] Setting up program.
1552123105.659 * [progress]: [Phase 2 of 3] Improving.
1552123105.659 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123105.660 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123105.660 * * [simplify]: iters left: 6 (18 enodes)
1552123105.668 * * [simplify]: iters left: 5 (46 enodes)
1552123105.683 * * [simplify]: iters left: 4 (118 enodes)
1552123105.753 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123105.753 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123105.754 * * [simplify]: Extracting #2: cost 62 inf + 0
1552123105.755 * * [simplify]: Extracting #3: cost 165 inf + 2
1552123105.756 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552123105.758 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552123105.761 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552123105.764 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552123105.771 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552123105.780 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552123105.789 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552123105.789 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552123105.848 * * [progress]: iteration 1 / 4
1552123105.848 * * * [progress]: picking best candidate
1552123105.896 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123105.897 * * * [progress]: localizing error
1552123106.313 * * * [progress]: generating rewritten candidates
1552123106.313 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552123106.324 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1552123106.327 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552123106.347 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552123106.379 * * * [progress]: generating series expansions
1552123106.379 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552123106.379 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1552123106.379 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552123106.379 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552123106.380 * * * [progress]: simplifying candidates
1552123106.380 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123106.380 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123106.380 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123106.380 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
1552123106.380 * * [simplify]: iters left: 3 (8 enodes)
1552123106.382 * * [simplify]: iters left: 2 (21 enodes)
1552123106.386 * * [simplify]: iters left: 1 (43 enodes)
1552123106.393 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123106.393 * * [simplify]: Extracting #1: cost 16 inf + 0
1552123106.394 * * [simplify]: Extracting #2: cost 16 inf + 2
1552123106.394 * * [simplify]: Extracting #3: cost 13 inf + 367
1552123106.394 * * [simplify]: Extracting #4: cost 0 inf + 3718
1552123106.395 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
1552123106.395 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123106.395 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
1552123106.395 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123106.395 * * [simplify]: iters left: 4 (15 enodes)
1552123106.399 * * [simplify]: iters left: 3 (36 enodes)
1552123106.405 * * [simplify]: iters left: 2 (66 enodes)
1552123106.417 * * [simplify]: iters left: 1 (90 enodes)
1552123106.432 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123106.432 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123106.432 * * [simplify]: Extracting #2: cost 20 inf + 0
1552123106.432 * * [simplify]: Extracting #3: cost 23 inf + 2
1552123106.433 * * [simplify]: Extracting #4: cost 19 inf + 1493
1552123106.433 * * [simplify]: Extracting #5: cost 9 inf + 3152
1552123106.434 * * [simplify]: Extracting #6: cost 2 inf + 4970
1552123106.434 * * [simplify]: Extracting #7: cost 0 inf + 6578
1552123106.435 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552123106.435 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
1552123106.435 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123106.435 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123106.435 * * [simplify]: iters left: 6 (18 enodes)
1552123106.440 * * [simplify]: iters left: 5 (46 enodes)
1552123106.456 * * [simplify]: iters left: 4 (118 enodes)
1552123106.514 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123106.514 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123106.514 * * [simplify]: Extracting #2: cost 62 inf + 0
1552123106.515 * * [simplify]: Extracting #3: cost 165 inf + 2
1552123106.516 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552123106.517 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552123106.518 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552123106.522 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552123106.529 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552123106.537 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552123106.546 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552123106.546 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552123106.548 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123106.549 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123106.549 * * [simplify]: iters left: 6 (18 enodes)
1552123106.557 * * [simplify]: iters left: 5 (46 enodes)
1552123106.568 * * [simplify]: iters left: 4 (118 enodes)
1552123106.619 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123106.619 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123106.619 * * [simplify]: Extracting #2: cost 62 inf + 0
1552123106.619 * * [simplify]: Extracting #3: cost 165 inf + 2
1552123106.620 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552123106.621 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552123106.622 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552123106.625 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552123106.633 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552123106.644 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552123106.652 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552123106.652 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552123106.653 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123106.653 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123106.653 * * [simplify]: iters left: 6 (18 enodes)
1552123106.659 * * [simplify]: iters left: 5 (46 enodes)
1552123106.674 * * [simplify]: iters left: 4 (118 enodes)
1552123106.730 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123106.730 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123106.730 * * [simplify]: Extracting #2: cost 62 inf + 0
1552123106.730 * * [simplify]: Extracting #3: cost 165 inf + 2
1552123106.731 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552123106.732 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552123106.733 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552123106.739 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552123106.754 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552123106.769 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552123106.784 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552123106.784 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552123106.784 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123106.785 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123106.785 * * [simplify]: iters left: 6 (18 enodes)
1552123106.791 * * [simplify]: iters left: 5 (46 enodes)
1552123106.800 * * [simplify]: iters left: 4 (118 enodes)
1552123106.851 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123106.851 * * [simplify]: Extracting #1: cost 10 inf + 0
1552123106.851 * * [simplify]: Extracting #2: cost 62 inf + 0
1552123106.852 * * [simplify]: Extracting #3: cost 165 inf + 2
1552123106.852 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552123106.854 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552123106.855 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552123106.858 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552123106.865 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552123106.873 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552123106.882 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552123106.882 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552123106.882 * * * [progress]: adding candidates to table
1552123107.314 * * [progress]: iteration 2 / 4
1552123107.314 * * * [progress]: picking best candidate
1552123107.432 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.432 * * * [progress]: localizing error
1552123107.712 * * * [progress]: generating rewritten candidates
1552123107.712 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552123107.722 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1552123107.725 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1552123107.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1552123107.751 * * * [progress]: generating series expansions
1552123107.751 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552123107.751 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1552123107.751 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1552123107.751 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1552123107.752 * * * [progress]: simplifying candidates
1552123107.752 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.752 * [simplify]: Simplifying (*.p16 beta alpha)
1552123107.752 * * [simplify]: iters left: 1 (3 enodes)
1552123107.753 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123107.753 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123107.753 * * [simplify]: Extracting #2: cost 1 inf + 2
1552123107.753 * * [simplify]: Extracting #3: cost 0 inf + 324
1552123107.753 * [simplify]: Simplified to (*.p16 alpha beta)
1552123107.753 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123107.754 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.754 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 (*.p16 beta alpha) beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.754 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.754 * [simplify]: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
1552123107.754 * * [simplify]: iters left: 4 (8 enodes)
1552123107.758 * * [simplify]: iters left: 3 (21 enodes)
1552123107.765 * * [simplify]: iters left: 2 (41 enodes)
1552123107.779 * * [simplify]: iters left: 1 (61 enodes)
1552123107.798 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123107.798 * * [simplify]: Extracting #1: cost 16 inf + 0
1552123107.798 * * [simplify]: Extracting #2: cost 17 inf + 2
1552123107.799 * * [simplify]: Extracting #3: cost 12 inf + 1091
1552123107.800 * * [simplify]: Extracting #4: cost 3 inf + 3553
1552123107.801 * * [simplify]: Extracting #5: cost 0 inf + 4280
1552123107.802 * [simplify]: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
1552123107.802 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123107.802 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.802 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.802 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.802 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123107.802 * * * [progress]: adding candidates to table
1552123108.150 * * [progress]: iteration 3 / 4
1552123108.150 * * * [progress]: picking best candidate
1552123108.221 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.221 * * * [progress]: localizing error
1552123108.463 * * * [progress]: generating rewritten candidates
1552123108.463 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552123108.467 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1552123108.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552123108.473 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552123108.495 * * * [progress]: generating series expansions
1552123108.495 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552123108.495 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1552123108.495 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552123108.495 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552123108.495 * * * [progress]: simplifying candidates
1552123108.495 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.495 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123108.495 * * [simplify]: iters left: 3 (9 enodes)
1552123108.498 * * [simplify]: iters left: 2 (22 enodes)
1552123108.505 * * [simplify]: iters left: 1 (30 enodes)
1552123108.515 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.515 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123108.515 * * [simplify]: Extracting #2: cost 7 inf + 2
1552123108.515 * * [simplify]: Extracting #3: cost 8 inf + 44
1552123108.515 * * [simplify]: Extracting #4: cost 4 inf + 48
1552123108.515 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552123108.516 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552123108.516 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123108.516 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.516 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.517 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552123108.517 * * [simplify]: iters left: 2 (4 enodes)
1552123108.519 * * [simplify]: iters left: 1 (8 enodes)
1552123108.522 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.522 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123108.522 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123108.522 * * [simplify]: Extracting #3: cost 0 inf + 45
1552123108.523 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552123108.523 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.523 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.523 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123108.523 * * [simplify]: iters left: 4 (13 enodes)
1552123108.528 * * [simplify]: iters left: 3 (28 enodes)
1552123108.533 * * [simplify]: iters left: 2 (36 enodes)
1552123108.538 * * [simplify]: iters left: 1 (38 enodes)
1552123108.544 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.544 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123108.544 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123108.544 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123108.544 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123108.544 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123108.545 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123108.545 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123108.545 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552123108.545 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.545 * [simplify]: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123108.545 * * [simplify]: iters left: 4 (13 enodes)
1552123108.549 * * [simplify]: iters left: 3 (28 enodes)
1552123108.554 * * [simplify]: iters left: 2 (36 enodes)
1552123108.560 * * [simplify]: iters left: 1 (38 enodes)
1552123108.570 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.570 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123108.570 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123108.570 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123108.570 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123108.571 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123108.571 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123108.571 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123108.572 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
1552123108.572 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.572 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.573 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123108.573 * * [simplify]: iters left: 4 (10 enodes)
1552123108.577 * * [simplify]: iters left: 3 (26 enodes)
1552123108.583 * * [simplify]: iters left: 2 (53 enodes)
1552123108.601 * * [simplify]: iters left: 1 (150 enodes)
1552123108.658 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.658 * * [simplify]: Extracting #1: cost 24 inf + 0
1552123108.658 * * [simplify]: Extracting #2: cost 52 inf + 0
1552123108.658 * * [simplify]: Extracting #3: cost 46 inf + 970
1552123108.660 * * [simplify]: Extracting #4: cost 14 inf + 16705
1552123108.664 * * [simplify]: Extracting #5: cost 0 inf + 25635
1552123108.669 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123108.669 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.669 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.669 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123108.669 * * [simplify]: iters left: 4 (10 enodes)
1552123108.674 * * [simplify]: iters left: 3 (31 enodes)
1552123108.685 * * [simplify]: iters left: 2 (85 enodes)
1552123108.707 * * [simplify]: iters left: 1 (201 enodes)
1552123108.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.765 * * [simplify]: Extracting #1: cost 27 inf + 0
1552123108.765 * * [simplify]: Extracting #2: cost 61 inf + 0
1552123108.766 * * [simplify]: Extracting #3: cost 50 inf + 1655
1552123108.767 * * [simplify]: Extracting #4: cost 9 inf + 29980
1552123108.770 * * [simplify]: Extracting #5: cost 0 inf + 35454
1552123108.773 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
1552123108.773 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.773 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.773 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.773 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))
1552123108.774 * * [simplify]: iters left: 3 (5 enodes)
1552123108.775 * * [simplify]: iters left: 2 (10 enodes)
1552123108.777 * * [simplify]: iters left: 1 (21 enodes)
1552123108.786 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.786 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123108.787 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123108.787 * * [simplify]: Extracting #3: cost 0 inf + 45
1552123108.787 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552123108.787 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.787 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.787 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))
1552123108.787 * * [simplify]: iters left: 3 (5 enodes)
1552123108.790 * * [simplify]: iters left: 2 (15 enodes)
1552123108.796 * * [simplify]: iters left: 1 (29 enodes)
1552123108.804 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.804 * * [simplify]: Extracting #1: cost 13 inf + 0
1552123108.804 * * [simplify]: Extracting #2: cost 15 inf + 1
1552123108.804 * * [simplify]: Extracting #3: cost 14 inf + 2
1552123108.804 * * [simplify]: Extracting #4: cost 0 inf + 3946
1552123108.805 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552123108.805 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123108.805 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 beta (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.805 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552123108.805 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123108.805 * * [simplify]: iters left: 4 (13 enodes)
1552123108.809 * * [simplify]: iters left: 3 (28 enodes)
1552123108.813 * * [simplify]: iters left: 2 (36 enodes)
1552123108.819 * * [simplify]: iters left: 1 (38 enodes)
1552123108.827 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.827 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123108.827 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123108.827 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123108.827 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123108.827 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123108.827 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123108.828 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123108.828 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552123108.828 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552123108.828 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552123108.828 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
1552123108.828 * * [simplify]: iters left: 3 (7 enodes)
1552123108.830 * * [simplify]: iters left: 2 (21 enodes)
1552123108.836 * * [simplify]: iters left: 1 (51 enodes)
1552123108.882 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123108.882 * * [simplify]: Extracting #1: cost 18 inf + 0
1552123108.882 * * [simplify]: Extracting #2: cost 18 inf + 324
1552123108.882 * * [simplify]: Extracting #3: cost 13 inf + 1853
1552123108.883 * * [simplify]: Extracting #4: cost 9 inf + 2620
1552123108.884 * * [simplify]: Extracting #5: cost 0 inf + 5164
1552123108.885 * * [simplify]: Extracting #6: cost 0 inf + 5124
1552123108.886 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) beta))
1552123108.886 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) beta)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552123108.887 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123108.887 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123108.887 * * [simplify]: iters left: 6 (18 enodes)
1552123108.896 * * [simplify]: iters left: 5 (59 enodes)
1552123108.923 * * [simplify]: iters left: 4 (196 enodes)
1552123109.108 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123109.109 * * [simplify]: Extracting #1: cost 38 inf + 0
1552123109.109 * * [simplify]: Extracting #2: cost 190 inf + 0
1552123109.111 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552123109.114 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552123109.118 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552123109.124 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552123109.150 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552123109.192 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552123109.229 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552123109.266 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552123109.266 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552123109.266 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123109.266 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123109.266 * * [simplify]: iters left: 6 (18 enodes)
1552123109.271 * * [simplify]: iters left: 5 (59 enodes)
1552123109.290 * * [simplify]: iters left: 4 (196 enodes)
1552123109.440 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123109.440 * * [simplify]: Extracting #1: cost 38 inf + 0
1552123109.440 * * [simplify]: Extracting #2: cost 190 inf + 0
1552123109.442 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552123109.446 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552123109.449 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552123109.458 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552123109.477 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552123109.498 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552123109.522 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552123109.549 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552123109.550 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552123109.550 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123109.550 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123109.550 * * [simplify]: iters left: 6 (18 enodes)
1552123109.556 * * [simplify]: iters left: 5 (59 enodes)
1552123109.570 * * [simplify]: iters left: 4 (196 enodes)
1552123109.729 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123109.729 * * [simplify]: Extracting #1: cost 38 inf + 0
1552123109.730 * * [simplify]: Extracting #2: cost 190 inf + 0
1552123109.732 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552123109.735 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552123109.738 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552123109.744 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552123109.766 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552123109.786 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552123109.811 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552123109.843 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552123109.843 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552123109.843 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123109.843 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123109.844 * * [simplify]: iters left: 6 (18 enodes)
1552123109.852 * * [simplify]: iters left: 5 (59 enodes)
1552123109.873 * * [simplify]: iters left: 4 (196 enodes)
1552123110.032 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123110.032 * * [simplify]: Extracting #1: cost 38 inf + 0
1552123110.033 * * [simplify]: Extracting #2: cost 190 inf + 0
1552123110.035 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552123110.038 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552123110.041 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552123110.047 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552123110.073 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552123110.096 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552123110.131 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552123110.169 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552123110.169 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552123110.169 * * * [progress]: adding candidates to table
1552123111.291 * * [progress]: iteration 4 / 4
1552123111.291 * * * [progress]: picking best candidate
1552123111.458 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.459 * * * [progress]: localizing error
1552123111.612 * * * [progress]: generating rewritten candidates
1552123111.612 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552123111.615 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1552123111.619 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552123111.631 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552123111.644 * * * [progress]: generating series expansions
1552123111.644 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552123111.644 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1552123111.644 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552123111.644 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552123111.644 * * * [progress]: simplifying candidates
1552123111.644 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.644 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.644 * * [simplify]: iters left: 3 (9 enodes)
1552123111.647 * * [simplify]: iters left: 2 (22 enodes)
1552123111.651 * * [simplify]: iters left: 1 (30 enodes)
1552123111.656 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.656 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123111.656 * * [simplify]: Extracting #2: cost 7 inf + 2
1552123111.656 * * [simplify]: Extracting #3: cost 8 inf + 44
1552123111.656 * * [simplify]: Extracting #4: cost 4 inf + 48
1552123111.656 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552123111.656 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552123111.656 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.656 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.656 * * * * [progress]: [ 2 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.657 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.657 * * [simplify]: iters left: 3 (9 enodes)
1552123111.659 * * [simplify]: iters left: 2 (22 enodes)
1552123111.663 * * [simplify]: iters left: 1 (30 enodes)
1552123111.668 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.668 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123111.668 * * [simplify]: Extracting #2: cost 7 inf + 2
1552123111.668 * * [simplify]: Extracting #3: cost 8 inf + 44
1552123111.668 * * [simplify]: Extracting #4: cost 4 inf + 48
1552123111.668 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552123111.668 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552123111.669 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.669 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.669 * * * * [progress]: [ 3 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.669 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552123111.669 * * [simplify]: iters left: 2 (4 enodes)
1552123111.670 * * [simplify]: iters left: 1 (8 enodes)
1552123111.672 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.672 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.672 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123111.672 * * [simplify]: Extracting #3: cost 0 inf + 45
1552123111.672 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552123111.672 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.672 * * * * [progress]: [ 4 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.672 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.672 * * [simplify]: iters left: 4 (13 enodes)
1552123111.675 * * [simplify]: iters left: 3 (28 enodes)
1552123111.680 * * [simplify]: iters left: 2 (36 enodes)
1552123111.686 * * [simplify]: iters left: 1 (38 enodes)
1552123111.692 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.692 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.692 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123111.693 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123111.693 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123111.693 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123111.693 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123111.693 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123111.693 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552123111.693 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.694 * [simplify]: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.694 * * [simplify]: iters left: 4 (13 enodes)
1552123111.697 * * [simplify]: iters left: 3 (28 enodes)
1552123111.702 * * [simplify]: iters left: 2 (36 enodes)
1552123111.710 * * [simplify]: iters left: 1 (38 enodes)
1552123111.716 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.716 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.716 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123111.716 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123111.716 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123111.716 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123111.716 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123111.717 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123111.717 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
1552123111.717 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.717 * * * * [progress]: [ 5 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.717 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.717 * * [simplify]: iters left: 4 (13 enodes)
1552123111.724 * * [simplify]: iters left: 3 (28 enodes)
1552123111.733 * * [simplify]: iters left: 2 (36 enodes)
1552123111.744 * * [simplify]: iters left: 1 (38 enodes)
1552123111.756 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.756 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.756 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123111.756 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123111.756 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123111.756 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123111.756 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123111.757 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123111.757 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552123111.757 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.758 * [simplify]: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.758 * * [simplify]: iters left: 4 (13 enodes)
1552123111.764 * * [simplify]: iters left: 3 (28 enodes)
1552123111.772 * * [simplify]: iters left: 2 (36 enodes)
1552123111.781 * * [simplify]: iters left: 1 (38 enodes)
1552123111.788 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.788 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.788 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123111.788 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123111.788 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123111.789 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123111.789 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123111.789 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123111.789 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
1552123111.789 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.789 * * * * [progress]: [ 6 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.790 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.790 * * [simplify]: iters left: 3 (9 enodes)
1552123111.792 * * [simplify]: iters left: 2 (22 enodes)
1552123111.796 * * [simplify]: iters left: 1 (30 enodes)
1552123111.801 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.801 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123111.801 * * [simplify]: Extracting #2: cost 7 inf + 2
1552123111.801 * * [simplify]: Extracting #3: cost 8 inf + 44
1552123111.801 * * [simplify]: Extracting #4: cost 4 inf + 48
1552123111.801 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552123111.802 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552123111.802 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.802 * [simplify]: Simplified (2 1 2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.802 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.802 * * [simplify]: iters left: 3 (9 enodes)
1552123111.805 * * [simplify]: iters left: 2 (22 enodes)
1552123111.809 * * [simplify]: iters left: 1 (30 enodes)
1552123111.813 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.813 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123111.814 * * [simplify]: Extracting #2: cost 7 inf + 2
1552123111.814 * * [simplify]: Extracting #3: cost 8 inf + 44
1552123111.814 * * [simplify]: Extracting #4: cost 4 inf + 48
1552123111.814 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552123111.814 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552123111.814 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.814 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.814 * * * * [progress]: [ 7 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) alpha) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) beta) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.814 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) alpha)
1552123111.815 * * [simplify]: iters left: 4 (10 enodes)
1552123111.817 * * [simplify]: iters left: 3 (24 enodes)
1552123111.824 * * [simplify]: iters left: 2 (45 enodes)
1552123111.832 * * [simplify]: iters left: 1 (73 enodes)
1552123111.845 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.845 * * [simplify]: Extracting #1: cost 9 inf + 0
1552123111.845 * * [simplify]: Extracting #2: cost 17 inf + 1
1552123111.845 * * [simplify]: Extracting #3: cost 17 inf + 323
1552123111.845 * * [simplify]: Extracting #4: cost 13 inf + 689
1552123111.845 * * [simplify]: Extracting #5: cost 4 inf + 4709
1552123111.846 * * [simplify]: Extracting #6: cost 0 inf + 5883
1552123111.846 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.846 * [simplify]: Simplified (2 1 2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 alpha (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) beta) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.847 * * * * [progress]: [ 8 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 alpha (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.847 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.847 * * [simplify]: iters left: 4 (10 enodes)
1552123111.850 * * [simplify]: iters left: 3 (30 enodes)
1552123111.856 * * [simplify]: iters left: 2 (59 enodes)
1552123111.866 * * [simplify]: iters left: 1 (78 enodes)
1552123111.878 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.878 * * [simplify]: Extracting #1: cost 9 inf + 0
1552123111.878 * * [simplify]: Extracting #2: cost 17 inf + 1
1552123111.878 * * [simplify]: Extracting #3: cost 16 inf + 645
1552123111.878 * * [simplify]: Extracting #4: cost 12 inf + 1051
1552123111.878 * * [simplify]: Extracting #5: cost 5 inf + 3747
1552123111.879 * * [simplify]: Extracting #6: cost 0 inf + 6203
1552123111.879 * * [simplify]: Extracting #7: cost 0 inf + 5883
1552123111.880 * [simplify]: Simplified to (*.p16 alpha (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) (real->posit16 1)))))
1552123111.880 * [simplify]: Simplified (2 1 2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 alpha (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.880 * * * * [progress]: [ 9 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.880 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.880 * * [simplify]: iters left: 3 (9 enodes)
1552123111.883 * * [simplify]: iters left: 2 (22 enodes)
1552123111.886 * * [simplify]: iters left: 1 (30 enodes)
1552123111.891 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.891 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123111.891 * * [simplify]: Extracting #2: cost 7 inf + 2
1552123111.891 * * [simplify]: Extracting #3: cost 8 inf + 44
1552123111.891 * * [simplify]: Extracting #4: cost 4 inf + 48
1552123111.891 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552123111.892 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552123111.892 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.892 * [simplify]: Simplified (2 1 2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.892 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.892 * * [simplify]: iters left: 3 (9 enodes)
1552123111.894 * * [simplify]: iters left: 2 (22 enodes)
1552123111.900 * * [simplify]: iters left: 1 (30 enodes)
1552123111.905 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.905 * * [simplify]: Extracting #1: cost 7 inf + 0
1552123111.905 * * [simplify]: Extracting #2: cost 7 inf + 2
1552123111.905 * * [simplify]: Extracting #3: cost 8 inf + 44
1552123111.905 * * [simplify]: Extracting #4: cost 4 inf + 48
1552123111.905 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552123111.905 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552123111.906 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123111.906 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.906 * * * * [progress]: [ 10 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.906 * * * * [progress]: [ 11 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.906 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))
1552123111.906 * * [simplify]: iters left: 3 (5 enodes)
1552123111.907 * * [simplify]: iters left: 2 (10 enodes)
1552123111.909 * * [simplify]: iters left: 1 (21 enodes)
1552123111.918 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.918 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.918 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123111.918 * * [simplify]: Extracting #3: cost 0 inf + 45
1552123111.918 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552123111.918 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.919 * * * * [progress]: [ 12 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.919 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))
1552123111.919 * * [simplify]: iters left: 3 (5 enodes)
1552123111.920 * * [simplify]: iters left: 2 (15 enodes)
1552123111.924 * * [simplify]: iters left: 1 (29 enodes)
1552123111.930 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.931 * * [simplify]: Extracting #1: cost 13 inf + 0
1552123111.931 * * [simplify]: Extracting #2: cost 15 inf + 1
1552123111.931 * * [simplify]: Extracting #3: cost 14 inf + 2
1552123111.931 * * [simplify]: Extracting #4: cost 0 inf + 3946
1552123111.932 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552123111.932 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123111.932 * * * * [progress]: [ 13 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 beta (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123111.932 * * * * [progress]: [ 14 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552123111.932 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.932 * * [simplify]: iters left: 4 (13 enodes)
1552123111.938 * * [simplify]: iters left: 3 (28 enodes)
1552123111.943 * * [simplify]: iters left: 2 (36 enodes)
1552123111.949 * * [simplify]: iters left: 1 (38 enodes)
1552123111.955 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.955 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.955 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123111.955 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123111.955 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123111.955 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123111.955 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123111.955 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123111.956 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552123111.956 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552123111.956 * * * * [progress]: [ 15 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552123111.956 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552123111.956 * * [simplify]: iters left: 4 (13 enodes)
1552123111.959 * * [simplify]: iters left: 3 (28 enodes)
1552123111.964 * * [simplify]: iters left: 2 (36 enodes)
1552123111.970 * * [simplify]: iters left: 1 (38 enodes)
1552123111.975 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123111.975 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123111.975 * * [simplify]: Extracting #2: cost 10 inf + 0
1552123111.975 * * [simplify]: Extracting #3: cost 11 inf + 2
1552123111.975 * * [simplify]: Extracting #4: cost 11 inf + 45
1552123111.975 * * [simplify]: Extracting #5: cost 5 inf + 92
1552123111.976 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552123111.976 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552123111.976 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552123111.976 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552123111.976 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552123111.976 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
1552123111.977 * * [simplify]: iters left: 3 (7 enodes)
1552123111.978 * * [simplify]: iters left: 2 (21 enodes)
1552123111.985 * * [simplify]: iters left: 1 (51 enodes)
1552123112.007 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123112.007 * * [simplify]: Extracting #1: cost 18 inf + 0
1552123112.008 * * [simplify]: Extracting #2: cost 18 inf + 324
1552123112.008 * * [simplify]: Extracting #3: cost 13 inf + 1853
1552123112.008 * * [simplify]: Extracting #4: cost 9 inf + 2620
1552123112.009 * * [simplify]: Extracting #5: cost 0 inf + 5164
1552123112.009 * * [simplify]: Extracting #6: cost 0 inf + 5124
1552123112.010 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) beta))
1552123112.010 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) beta)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552123112.010 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123112.010 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.010 * * [simplify]: iters left: 4 (10 enodes)
1552123112.013 * * [simplify]: iters left: 3 (26 enodes)
1552123112.018 * * [simplify]: iters left: 2 (53 enodes)
1552123112.030 * * [simplify]: iters left: 1 (150 enodes)
1552123112.074 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123112.074 * * [simplify]: Extracting #1: cost 24 inf + 0
1552123112.075 * * [simplify]: Extracting #2: cost 52 inf + 0
1552123112.075 * * [simplify]: Extracting #3: cost 46 inf + 970
1552123112.076 * * [simplify]: Extracting #4: cost 14 inf + 16705
1552123112.078 * * [simplify]: Extracting #5: cost 0 inf + 25635
1552123112.081 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.081 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123112.081 * * * * [progress]: [ 18 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123112.081 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.081 * * [simplify]: iters left: 4 (10 enodes)
1552123112.084 * * [simplify]: iters left: 3 (26 enodes)
1552123112.088 * * [simplify]: iters left: 2 (53 enodes)
1552123112.100 * * [simplify]: iters left: 1 (150 enodes)
1552123112.144 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123112.144 * * [simplify]: Extracting #1: cost 24 inf + 0
1552123112.144 * * [simplify]: Extracting #2: cost 52 inf + 0
1552123112.144 * * [simplify]: Extracting #3: cost 46 inf + 970
1552123112.146 * * [simplify]: Extracting #4: cost 14 inf + 16705
1552123112.148 * * [simplify]: Extracting #5: cost 0 inf + 25635
1552123112.150 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.150 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123112.151 * * * * [progress]: [ 19 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123112.151 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.151 * * [simplify]: iters left: 4 (10 enodes)
1552123112.154 * * [simplify]: iters left: 3 (26 enodes)
1552123112.159 * * [simplify]: iters left: 2 (53 enodes)
1552123112.171 * * [simplify]: iters left: 1 (150 enodes)
1552123112.214 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123112.214 * * [simplify]: Extracting #1: cost 24 inf + 0
1552123112.215 * * [simplify]: Extracting #2: cost 52 inf + 0
1552123112.215 * * [simplify]: Extracting #3: cost 46 inf + 970
1552123112.216 * * [simplify]: Extracting #4: cost 14 inf + 16705
1552123112.218 * * [simplify]: Extracting #5: cost 0 inf + 25635
1552123112.221 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.221 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123112.221 * * * * [progress]: [ 20 / 20 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552123112.221 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.221 * * [simplify]: iters left: 4 (10 enodes)
1552123112.224 * * [simplify]: iters left: 3 (26 enodes)
1552123112.229 * * [simplify]: iters left: 2 (53 enodes)
1552123112.243 * * [simplify]: iters left: 1 (150 enodes)
1552123112.308 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123112.309 * * [simplify]: Extracting #1: cost 24 inf + 0
1552123112.309 * * [simplify]: Extracting #2: cost 52 inf + 0
1552123112.309 * * [simplify]: Extracting #3: cost 46 inf + 970
1552123112.310 * * [simplify]: Extracting #4: cost 14 inf + 16705
1552123112.312 * * [simplify]: Extracting #5: cost 0 inf + 25635
1552123112.315 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552123112.315 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552123112.315 * * * [progress]: adding candidates to table
1552123113.871 * [progress]: [Phase 3 of 3] Extracting.
1552123113.871 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 alpha (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>)
1552123113.876 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
1552123113.876 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 alpha (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>)
1552123114.492 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 alpha (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>)
1552123115.092 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
1552123115.093 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123115.093 * * [simplify]: iters left: 6 (19 enodes)
1552123115.097 * * [simplify]: iters left: 5 (21 enodes)
1552123115.100 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123115.100 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123115.100 * * [simplify]: Extracting #2: cost 6 inf + 0
1552123115.100 * * [simplify]: Extracting #3: cost 10 inf + 0
1552123115.100 * * [simplify]: Extracting #4: cost 13 inf + 2
1552123115.100 * * [simplify]: Extracting #5: cost 14 inf + 4
1552123115.100 * * [simplify]: Extracting #6: cost 12 inf + 48
1552123115.100 * * [simplify]: Extracting #7: cost 7 inf + 1056
1552123115.101 * * [simplify]: Extracting #8: cost 3 inf + 3590
1552123115.101 * * [simplify]: Extracting #9: cost 0 inf + 7965
1552123115.102 * [simplify]: Simplified to (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552123115.102 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552123115.142 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552123115.152 * * * * [points]: Setting MPFR precision to 64
1552123115.154 * * * * [points]: Setting MPFR precision to 320
1552123115.156 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552123115.166 * * * * [points]: Setting MPFR precision to 64
1552123115.170 * * * * [points]: Setting MPFR precision to 320
1552123115.175 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552123115.184 * * * * [points]: Setting MPFR precision to 64
1552123115.192 * * * * [points]: Setting MPFR precision to 320
1552123115.200 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552123115.210 * * * * [points]: Setting MPFR precision to 64
1552123115.224 * * * * [points]: Setting MPFR precision to 320
1552123115.241 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552123115.274 * * * * [points]: Setting MPFR precision to 64
1552123115.310 * * * * [points]: Setting MPFR precision to 320
1552123115.344 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552123115.354 * * * * [points]: Setting MPFR precision to 64
1552123115.412 * * * * [points]: Setting MPFR precision to 320
1552123115.478 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552123115.972 * * * * [points]: Setting MPFR precision to 64
1552123116.098 * * * * [points]: Setting MPFR precision to 320
1552123116.281 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552123116.290 * * * * [points]: Setting MPFR precision to 64
1552123116.547 * * * * [points]: Setting MPFR precision to 320
1552123116.778 * * * * [points]: Computing exacts for 8000 points
1552123116.786 * * * * [points]: Setting MPFR precision to 64
1552123117.838 * * * * [points]: Setting MPFR precision to 320
1552123119.167 * * * * [points]: Filtering points with unrepresentable outputs
1552123119.670 * * * * [points]: Sampling 3506 additional inputs, on iter 1 have 4494 / 8000
1552123119.689 * * * * [points]: Computing exacts on every 219 of 3506 points to ramp up precision
1552123119.698 * * * * [points]: Setting MPFR precision to 64
1552123119.700 * * * * [points]: Setting MPFR precision to 320
1552123119.702 * * * * [points]: Computing exacts on every 109 of 3506 points to ramp up precision
1552123119.712 * * * * [points]: Setting MPFR precision to 64
1552123119.716 * * * * [points]: Setting MPFR precision to 320
1552123119.721 * * * * [points]: Computing exacts on every 54 of 3506 points to ramp up precision
1552123119.730 * * * * [points]: Setting MPFR precision to 64
1552123119.754 * * * * [points]: Setting MPFR precision to 320
1552123119.765 * * * * [points]: Computing exacts on every 27 of 3506 points to ramp up precision
1552123119.774 * * * * [points]: Setting MPFR precision to 64
1552123119.790 * * * * [points]: Setting MPFR precision to 320
1552123119.808 * * * * [points]: Computing exacts on every 13 of 3506 points to ramp up precision
1552123119.818 * * * * [points]: Setting MPFR precision to 64
1552123119.848 * * * * [points]: Setting MPFR precision to 320
1552123119.881 * * * * [points]: Computing exacts on every 6 of 3506 points to ramp up precision
1552123119.890 * * * * [points]: Setting MPFR precision to 64
1552123120.271 * * * * [points]: Setting MPFR precision to 320
1552123120.310 * * * * [points]: Computing exacts on every 3 of 3506 points to ramp up precision
1552123120.315 * * * * [points]: Setting MPFR precision to 64
1552123120.373 * * * * [points]: Setting MPFR precision to 320
1552123120.474 * * * * [points]: Computing exacts for 3506 points
1552123120.484 * * * * [points]: Setting MPFR precision to 64
1552123120.985 * * * * [points]: Setting MPFR precision to 320
1552123121.365 * * * * [points]: Filtering points with unrepresentable outputs
1552123121.489 * * * * [points]: Sampling 1455 additional inputs, on iter 2 have 6545 / 8000
1552123121.494 * * * * [points]: Computing exacts on every 90 of 1455 points to ramp up precision
1552123121.499 * * * * [points]: Setting MPFR precision to 64
1552123121.500 * * * * [points]: Setting MPFR precision to 320
1552123121.501 * * * * [points]: Computing exacts on every 45 of 1455 points to ramp up precision
1552123121.506 * * * * [points]: Setting MPFR precision to 64
1552123121.508 * * * * [points]: Setting MPFR precision to 320
1552123121.510 * * * * [points]: Computing exacts on every 22 of 1455 points to ramp up precision
1552123121.515 * * * * [points]: Setting MPFR precision to 64
1552123121.519 * * * * [points]: Setting MPFR precision to 320
1552123121.524 * * * * [points]: Computing exacts on every 11 of 1455 points to ramp up precision
1552123121.540 * * * * [points]: Setting MPFR precision to 64
1552123121.550 * * * * [points]: Setting MPFR precision to 320
1552123121.559 * * * * [points]: Computing exacts on every 5 of 1455 points to ramp up precision
1552123121.564 * * * * [points]: Setting MPFR precision to 64
1552123121.580 * * * * [points]: Setting MPFR precision to 320
1552123121.598 * * * * [points]: Computing exacts on every 2 of 1455 points to ramp up precision
1552123121.603 * * * * [points]: Setting MPFR precision to 64
1552123121.634 * * * * [points]: Setting MPFR precision to 320
1552123121.696 * * * * [points]: Computing exacts for 1455 points
1552123121.701 * * * * [points]: Setting MPFR precision to 64
1552123121.826 * * * * [points]: Setting MPFR precision to 320
1552123121.938 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.009 * * * * [points]: Sampling 664 additional inputs, on iter 3 have 7336 / 8000
1552123122.011 * * * * [points]: Computing exacts on every 41 of 664 points to ramp up precision
1552123122.016 * * * * [points]: Setting MPFR precision to 64
1552123122.018 * * * * [points]: Setting MPFR precision to 320
1552123122.019 * * * * [points]: Computing exacts on every 20 of 664 points to ramp up precision
1552123122.023 * * * * [points]: Setting MPFR precision to 64
1552123122.026 * * * * [points]: Setting MPFR precision to 320
1552123122.028 * * * * [points]: Computing exacts on every 10 of 664 points to ramp up precision
1552123122.033 * * * * [points]: Setting MPFR precision to 64
1552123122.037 * * * * [points]: Setting MPFR precision to 320
1552123122.041 * * * * [points]: Computing exacts on every 5 of 664 points to ramp up precision
1552123122.046 * * * * [points]: Setting MPFR precision to 64
1552123122.053 * * * * [points]: Setting MPFR precision to 320
1552123122.061 * * * * [points]: Computing exacts on every 2 of 664 points to ramp up precision
1552123122.082 * * * * [points]: Setting MPFR precision to 64
1552123122.098 * * * * [points]: Setting MPFR precision to 320
1552123122.115 * * * * [points]: Computing exacts for 664 points
1552123122.120 * * * * [points]: Setting MPFR precision to 64
1552123122.164 * * * * [points]: Setting MPFR precision to 320
1552123122.247 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.269 * * * * [points]: Sampling 292 additional inputs, on iter 4 have 7708 / 8000
1552123122.270 * * * * [points]: Computing exacts on every 18 of 292 points to ramp up precision
1552123122.275 * * * * [points]: Setting MPFR precision to 64
1552123122.276 * * * * [points]: Setting MPFR precision to 320
1552123122.278 * * * * [points]: Computing exacts on every 9 of 292 points to ramp up precision
1552123122.282 * * * * [points]: Setting MPFR precision to 64
1552123122.284 * * * * [points]: Setting MPFR precision to 320
1552123122.287 * * * * [points]: Computing exacts on every 4 of 292 points to ramp up precision
1552123122.291 * * * * [points]: Setting MPFR precision to 64
1552123122.295 * * * * [points]: Setting MPFR precision to 320
1552123122.300 * * * * [points]: Computing exacts on every 2 of 292 points to ramp up precision
1552123122.305 * * * * [points]: Setting MPFR precision to 64
1552123122.312 * * * * [points]: Setting MPFR precision to 320
1552123122.319 * * * * [points]: Computing exacts for 292 points
1552123122.324 * * * * [points]: Setting MPFR precision to 64
1552123122.364 * * * * [points]: Setting MPFR precision to 320
1552123122.387 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.396 * * * * [points]: Sampling 138 additional inputs, on iter 5 have 7862 / 8000
1552123122.397 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
1552123122.401 * * * * [points]: Setting MPFR precision to 64
1552123122.403 * * * * [points]: Setting MPFR precision to 320
1552123122.404 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
1552123122.408 * * * * [points]: Setting MPFR precision to 64
1552123122.411 * * * * [points]: Setting MPFR precision to 320
1552123122.413 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
1552123122.418 * * * * [points]: Setting MPFR precision to 64
1552123122.421 * * * * [points]: Setting MPFR precision to 320
1552123122.425 * * * * [points]: Computing exacts for 138 points
1552123122.429 * * * * [points]: Setting MPFR precision to 64
1552123122.438 * * * * [points]: Setting MPFR precision to 320
1552123122.449 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.454 * * * * [points]: Sampling 62 additional inputs, on iter 6 have 7938 / 8000
1552123122.454 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
1552123122.478 * * * * [points]: Setting MPFR precision to 64
1552123122.480 * * * * [points]: Setting MPFR precision to 320
1552123122.481 * * * * [points]: Computing exacts for 62 points
1552123122.489 * * * * [points]: Setting MPFR precision to 64
1552123122.497 * * * * [points]: Setting MPFR precision to 320
1552123122.506 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.509 * * * * [points]: Sampling 30 additional inputs, on iter 7 have 7970 / 8000
1552123122.509 * * * * [points]: Computing exacts for 30 points
1552123122.519 * * * * [points]: Setting MPFR precision to 64
1552123122.522 * * * * [points]: Setting MPFR precision to 320
1552123122.526 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.528 * * * * [points]: Sampling 18 additional inputs, on iter 8 have 7982 / 8000
1552123122.528 * * * * [points]: Computing exacts for 18 points
1552123122.537 * * * * [points]: Setting MPFR precision to 64
1552123122.540 * * * * [points]: Setting MPFR precision to 320
1552123122.542 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.543 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
1552123122.543 * * * * [points]: Computing exacts for 9 points
1552123122.553 * * * * [points]: Setting MPFR precision to 64
1552123122.554 * * * * [points]: Setting MPFR precision to 320
1552123122.555 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.556 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1552123122.556 * * * * [points]: Computing exacts for 5 points
1552123122.566 * * * * [points]: Setting MPFR precision to 64
1552123122.566 * * * * [points]: Setting MPFR precision to 320
1552123122.567 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.568 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1552123122.568 * * * * [points]: Computing exacts for 4 points
1552123122.577 * * * * [points]: Setting MPFR precision to 64
1552123122.578 * * * * [points]: Setting MPFR precision to 320
1552123122.578 * * * * [points]: Filtering points with unrepresentable outputs
1552123122.579 * * * * [points]: Sampled 8000 points with exact outputs
1552123129.807 * [regime-testing]: Baseline error score: 64.0
1552123129.809 * [regime-testing]: Oracle error score: 64.0
1552123129.813 * [regime-testing]: End program error score: 0.374933211739811