1550619777.386 * [misc]progress: [Phase 1 of 3] Setting up. 1550619777.386 * * * [misc]progress: [1/2] Preparing points 1550619777.387 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550619777.388 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550619777.391 * * * * [misc]points: Setting MPFR precision to 64 1550619777.393 * * * * [misc]points: Setting MPFR precision to 320 1550619777.394 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550619777.398 * * * * [misc]points: Setting MPFR precision to 64 1550619777.400 * * * * [misc]points: Setting MPFR precision to 320 1550619777.402 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550619777.406 * * * * [misc]points: Setting MPFR precision to 64 1550619777.410 * * * * [misc]points: Setting MPFR precision to 320 1550619777.414 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550619777.418 * * * * [misc]points: Setting MPFR precision to 64 1550619777.423 * * * * [misc]points: Setting MPFR precision to 320 1550619777.430 * * * * [misc]points: Computing exacts for 256 points 1550619777.434 * * * * [misc]points: Setting MPFR precision to 64 1550619777.462 * * * * [misc]points: Setting MPFR precision to 320 1550619777.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1550619777.489 * * * * [misc]points: Sampling 115 additional inputs, on iter 1 have 141 / 256 1550619777.490 * * * * [misc]points: Computing exacts on every 7 of 115 points to ramp up precision 1550619777.494 * * * * [misc]points: Setting MPFR precision to 64 1550619777.495 * * * * [misc]points: Setting MPFR precision to 320 1550619777.497 * * * * [misc]points: Computing exacts on every 3 of 115 points to ramp up precision 1550619777.502 * * * * [misc]points: Setting MPFR precision to 64 1550619777.504 * * * * [misc]points: Setting MPFR precision to 320 1550619777.506 * * * * [misc]points: Computing exacts for 115 points 1550619777.511 * * * * [misc]points: Setting MPFR precision to 64 1550619777.518 * * * * [misc]points: Setting MPFR precision to 320 1550619777.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1550619777.531 * * * * [misc]points: Sampling 49 additional inputs, on iter 2 have 207 / 256 1550619777.531 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1550619777.536 * * * * [misc]points: Setting MPFR precision to 64 1550619777.537 * * * * [misc]points: Setting MPFR precision to 320 1550619777.538 * * * * [misc]points: Computing exacts for 49 points 1550619777.542 * * * * [misc]points: Setting MPFR precision to 64 1550619777.545 * * * * [misc]points: Setting MPFR precision to 320 1550619777.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1550619777.550 * * * * [misc]points: Sampling 18 additional inputs, on iter 3 have 238 / 256 1550619777.550 * * * * [misc]points: Computing exacts for 18 points 1550619777.574 * * * * [misc]points: Setting MPFR precision to 64 1550619777.576 * * * * [misc]points: Setting MPFR precision to 320 1550619777.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1550619777.578 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1550619777.578 * * * * [misc]points: Computing exacts for 9 points 1550619777.582 * * * * [misc]points: Setting MPFR precision to 64 1550619777.583 * * * * [misc]points: Setting MPFR precision to 320 1550619777.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1550619777.584 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1550619777.584 * * * * [misc]points: Computing exacts for 4 points 1550619777.588 * * * * [misc]points: Setting MPFR precision to 64 1550619777.588 * * * * [misc]points: Setting MPFR precision to 320 1550619777.589 * * * * [misc]points: Filtering points with unrepresentable outputs 1550619777.589 * * * * [exit]points: Sampled 256 points with exact outputs 1550619777.589 * * * [misc]progress: [2/2] Setting up program. 1550619777.632 * [misc]progress: [Phase 2 of 3] Improving. 1550619777.632 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #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))))> 1550619777.632 * [enter]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))) 1550619777.632 * * [misc]simplify: iters left: 6 (18 enodes) 1550619777.640 * * [misc]simplify: iters left: 5 (46 enodes) 1550619777.657 * * [misc]simplify: iters left: 4 (118 enodes) 1550619777.723 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619777.723 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550619777.724 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550619777.724 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550619777.725 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550619777.727 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550619777.729 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550619777.735 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550619777.746 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550619777.760 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550619777.776 * [exit]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))))) 1550619777.776 * [misc]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)))))) 1550619777.852 * * [misc]progress: iteration 1 / 4 1550619777.852 * * * [misc]progress: picking best candidate 1550619777.902 * * * * [misc]pick: Picked #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))))> 1550619777.902 * * * [misc]progress: localizing error 1550619778.351 * * * [misc]progress: generating rewritten candidates 1550619778.351 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550619778.362 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1550619778.364 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1550619778.378 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1) 1550619778.386 * * * [misc]progress: generating series expansions 1550619778.386 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550619778.386 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1550619778.386 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1550619778.386 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1) 1550619778.386 * * * [misc]progress: simplifying candidates 1550619778.386 * * * * [misc]progress: [ 1 / 9 ] simplifiying candidate #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))))> 1550619778.386 * * * * [misc]progress: [ 2 / 9 ] simplifiying candidate #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))))> 1550619778.386 * * * * [misc]progress: [ 3 / 9 ] simplifiying candidate #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))))> 1550619778.386 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) 1550619778.386 * * [misc]simplify: iters left: 3 (8 enodes) 1550619778.388 * * [misc]simplify: iters left: 2 (21 enodes) 1550619778.392 * * [misc]simplify: iters left: 1 (43 enodes) 1550619778.400 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619778.400 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550619778.400 * * [misc]simplify: Extracting #2: cost 16 inf + 2 1550619778.400 * * [misc]simplify: Extracting #3: cost 13 inf + 367 1550619778.401 * * [misc]simplify: Extracting #4: cost 0 inf + 3718 1550619778.401 * [exit]simplify: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) 1550619778.401 * [misc]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)))) 1550619778.401 * * * * [misc]progress: [ 4 / 9 ] simplifiying candidate #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))))> 1550619778.402 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550619778.402 * * [misc]simplify: iters left: 1 (3 enodes) 1550619778.402 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619778.402 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619778.402 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550619778.402 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550619778.402 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550619778.402 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.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)))) 1550619778.402 * * * * [misc]progress: [ 5 / 9 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 beta alpha))) (+.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))))> 1550619778.403 * * * * [misc]progress: [ 6 / 9 ] simplifiying candidate #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))))> 1550619778.403 * [enter]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))) 1550619778.403 * * [misc]simplify: iters left: 6 (18 enodes) 1550619778.410 * * [misc]simplify: iters left: 5 (46 enodes) 1550619778.425 * * [misc]simplify: iters left: 4 (118 enodes) 1550619778.456 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619778.456 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550619778.456 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550619778.457 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550619778.457 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550619778.459 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550619778.460 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550619778.463 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550619778.472 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550619778.480 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550619778.491 * [exit]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))))) 1550619778.491 * [misc]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)))))) 1550619778.491 * * * * [misc]progress: [ 7 / 9 ] simplifiying candidate #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))))> 1550619778.491 * [enter]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))) 1550619778.491 * * [misc]simplify: iters left: 6 (18 enodes) 1550619778.496 * * [misc]simplify: iters left: 5 (46 enodes) 1550619778.504 * * [misc]simplify: iters left: 4 (118 enodes) 1550619778.552 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619778.552 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550619778.552 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550619778.553 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550619778.554 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550619778.556 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550619778.558 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550619778.564 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550619778.575 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550619778.593 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550619778.607 * [exit]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))))) 1550619778.607 * [misc]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)))))) 1550619778.608 * * * * [misc]progress: [ 8 / 9 ] simplifiying candidate #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))))> 1550619778.608 * [enter]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))) 1550619778.608 * * [misc]simplify: iters left: 6 (18 enodes) 1550619778.616 * * [misc]simplify: iters left: 5 (46 enodes) 1550619778.631 * * [misc]simplify: iters left: 4 (118 enodes) 1550619778.691 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619778.691 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550619778.691 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550619778.692 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550619778.693 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550619778.696 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550619778.698 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550619778.707 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550619778.720 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550619778.738 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550619778.754 * [exit]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))))) 1550619778.754 * [misc]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)))))) 1550619778.754 * * * * [misc]progress: [ 9 / 9 ] simplifiying candidate #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))))> 1550619778.754 * [enter]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))) 1550619778.755 * * [misc]simplify: iters left: 6 (18 enodes) 1550619778.763 * * [misc]simplify: iters left: 5 (46 enodes) 1550619778.779 * * [misc]simplify: iters left: 4 (118 enodes) 1550619778.844 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619778.844 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550619778.844 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550619778.845 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550619778.846 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550619778.848 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550619778.850 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550619778.857 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550619778.871 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550619778.888 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550619778.904 * [exit]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))))) 1550619778.904 * [misc]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)))))) 1550619778.904 * * * [misc]progress: adding candidates to table 1550619779.442 * * [misc]progress: iteration 2 / 4 1550619779.443 * * * [misc]progress: picking best candidate 1550619779.541 * * * * [misc]pick: Picked #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))))> 1550619779.541 * * * [misc]progress: localizing error 1550619779.778 * * * [misc]progress: generating rewritten candidates 1550619779.778 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550619779.787 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1550619779.799 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1550619779.802 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 2) 1550619779.804 * * * [misc]progress: generating series expansions 1550619779.804 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550619779.804 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1550619779.804 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1) 1550619779.804 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 2) 1550619779.804 * * * [misc]progress: simplifying candidates 1550619779.804 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #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))))> 1550619779.805 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) 1550619779.805 * * [misc]simplify: iters left: 4 (8 enodes) 1550619779.809 * * [misc]simplify: iters left: 3 (21 enodes) 1550619779.816 * * [misc]simplify: iters left: 2 (41 enodes) 1550619779.829 * * [misc]simplify: iters left: 1 (61 enodes) 1550619779.848 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619779.849 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550619779.849 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550619779.849 * * [misc]simplify: Extracting #3: cost 12 inf + 1091 1550619779.850 * * [misc]simplify: Extracting #4: cost 3 inf + 3553 1550619779.851 * * [misc]simplify: Extracting #5: cost 0 inf + 4280 1550619779.852 * [exit]simplify: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) 1550619779.852 * [misc]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)))) 1550619779.852 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #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))))> 1550619779.852 * [enter]simplify: Simplifying (*.p16 beta alpha) 1550619779.853 * * [misc]simplify: iters left: 1 (3 enodes) 1550619779.854 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619779.854 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619779.854 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550619779.854 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1550619779.854 * [exit]simplify: Simplified to (*.p16 alpha beta) 1550619779.854 * [misc]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)))) 1550619779.854 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #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))))> 1550619779.854 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #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))))> 1550619779.854 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #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))))> 1550619779.854 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #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))))> 1550619779.855 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #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))))> 1550619779.855 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #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))))> 1550619779.855 * * * [misc]progress: adding candidates to table 1550619780.271 * * [misc]progress: iteration 3 / 4 1550619780.271 * * * [misc]progress: picking best candidate 1550619780.429 * * * * [misc]pick: Picked #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))))> 1550619780.429 * * * [misc]progress: localizing error 1550619780.722 * * * [misc]progress: generating rewritten candidates 1550619780.722 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550619780.730 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550619780.734 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1550619780.741 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1550619780.748 * * * [misc]progress: generating series expansions 1550619780.748 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550619780.748 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550619780.748 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1550619780.748 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1550619780.748 * * * [misc]progress: simplifying candidates 1550619780.748 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate #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))))> 1550619780.748 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619780.748 * * [misc]simplify: iters left: 3 (9 enodes) 1550619780.753 * * [misc]simplify: iters left: 2 (22 enodes) 1550619780.760 * * [misc]simplify: iters left: 1 (30 enodes) 1550619780.769 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619780.769 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550619780.769 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1550619780.769 * * [misc]simplify: Extracting #3: cost 8 inf + 44 1550619780.769 * * [misc]simplify: Extracting #4: cost 4 inf + 48 1550619780.769 * * [misc]simplify: Extracting #5: cost 1 inf + 1137 1550619780.770 * * [misc]simplify: Extracting #6: cost 0 inf + 1500 1550619780.770 * [exit]simplify: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619780.770 * [misc]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)))) 1550619780.770 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate #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))))> 1550619780.771 * [enter]simplify: Simplifying (+.p16 beta (real->posit16 1.0)) 1550619780.771 * * [misc]simplify: iters left: 2 (4 enodes) 1550619780.773 * * [misc]simplify: iters left: 1 (8 enodes) 1550619780.775 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619780.775 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619780.775 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550619780.775 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550619780.775 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550619780.776 * [misc]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)))) 1550619780.776 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate #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))))> 1550619780.776 * [enter]simplify: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550619780.776 * * [misc]simplify: iters left: 4 (13 enodes) 1550619780.782 * * [misc]simplify: iters left: 3 (28 enodes) 1550619780.791 * * [misc]simplify: iters left: 2 (36 enodes) 1550619780.802 * * [misc]simplify: iters left: 1 (38 enodes) 1550619780.811 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619780.811 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619780.811 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550619780.811 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550619780.811 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550619780.811 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550619780.811 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550619780.811 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550619780.812 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) 1550619780.812 * [misc]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)))) 1550619780.812 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550619780.812 * * [misc]simplify: iters left: 4 (13 enodes) 1550619780.819 * * [misc]simplify: iters left: 3 (28 enodes) 1550619780.823 * * [misc]simplify: iters left: 2 (36 enodes) 1550619780.829 * * [misc]simplify: iters left: 1 (38 enodes) 1550619780.834 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619780.834 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619780.835 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550619780.835 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550619780.835 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550619780.835 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550619780.835 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550619780.835 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550619780.835 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta))) 1550619780.835 * [misc]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)))) 1550619780.836 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate #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))))> 1550619780.836 * [enter]simplify: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0)) 1550619780.836 * * [misc]simplify: iters left: 3 (5 enodes) 1550619780.838 * * [misc]simplify: iters left: 2 (10 enodes) 1550619780.841 * * [misc]simplify: iters left: 1 (21 enodes) 1550619780.855 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619780.855 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619780.855 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550619780.856 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550619780.856 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550619780.856 * [misc]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)))) 1550619780.856 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate #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))))> 1550619780.856 * [enter]simplify: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0))) 1550619780.856 * * [misc]simplify: iters left: 3 (5 enodes) 1550619780.857 * * [misc]simplify: iters left: 2 (15 enodes) 1550619780.861 * * [misc]simplify: iters left: 1 (29 enodes) 1550619780.864 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619780.864 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550619780.864 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550619780.865 * * [misc]simplify: Extracting #3: cost 14 inf + 2 1550619780.865 * * [misc]simplify: Extracting #4: cost 0 inf + 3946 1550619780.865 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550619780.865 * [misc]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)))) 1550619780.865 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate #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))))> 1550619780.865 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate #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))))> 1550619780.865 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619780.865 * * [misc]simplify: iters left: 4 (10 enodes) 1550619780.868 * * [misc]simplify: iters left: 3 (26 enodes) 1550619780.872 * * [misc]simplify: iters left: 2 (53 enodes) 1550619780.883 * * [misc]simplify: iters left: 1 (150 enodes) 1550619780.942 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619780.942 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550619780.942 * * [misc]simplify: Extracting #2: cost 52 inf + 0 1550619780.942 * * [misc]simplify: Extracting #3: cost 46 inf + 970 1550619780.944 * * [misc]simplify: Extracting #4: cost 14 inf + 16705 1550619780.946 * * [misc]simplify: Extracting #5: cost 0 inf + 25635 1550619780.948 * [exit]simplify: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619780.948 * [misc]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)))) 1550619780.948 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate #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))))> 1550619780.948 * [enter]simplify: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550619780.949 * * [misc]simplify: iters left: 4 (10 enodes) 1550619780.951 * * [misc]simplify: iters left: 3 (31 enodes) 1550619780.957 * * [misc]simplify: iters left: 2 (85 enodes) 1550619780.986 * * [misc]simplify: iters left: 1 (201 enodes) 1550619781.059 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619781.059 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550619781.060 * * [misc]simplify: Extracting #2: cost 61 inf + 0 1550619781.060 * * [misc]simplify: Extracting #3: cost 50 inf + 1655 1550619781.064 * * [misc]simplify: Extracting #4: cost 9 inf + 29980 1550619781.069 * * [misc]simplify: Extracting #5: cost 0 inf + 35454 1550619781.075 * [exit]simplify: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)) 1550619781.075 * [misc]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)))) 1550619781.075 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate #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))))> 1550619781.075 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619781.075 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate #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 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta)) (real->posit16 1.0))))> 1550619781.075 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate #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))))> 1550619781.076 * [enter]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))) 1550619781.076 * * [misc]simplify: iters left: 6 (18 enodes) 1550619781.086 * * [misc]simplify: iters left: 5 (59 enodes) 1550619781.111 * * [misc]simplify: iters left: 4 (196 enodes) 1550619781.294 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619781.295 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550619781.295 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550619781.298 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550619781.301 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550619781.305 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550619781.311 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550619781.340 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550619781.381 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550619781.426 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550619781.468 * [exit]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)))))) 1550619781.468 * [misc]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))))))) 1550619781.469 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate #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))))> 1550619781.469 * [enter]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))) 1550619781.469 * * [misc]simplify: iters left: 6 (18 enodes) 1550619781.478 * * [misc]simplify: iters left: 5 (59 enodes) 1550619781.505 * * [misc]simplify: iters left: 4 (196 enodes) 1550619781.703 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619781.703 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550619781.703 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550619781.704 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550619781.706 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550619781.708 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550619781.711 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550619781.725 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550619781.749 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550619781.787 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550619781.829 * [exit]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)))))) 1550619781.829 * [misc]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))))))) 1550619781.829 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate #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))))> 1550619781.830 * [enter]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))) 1550619781.830 * * [misc]simplify: iters left: 6 (18 enodes) 1550619781.839 * * [misc]simplify: iters left: 5 (59 enodes) 1550619781.864 * * [misc]simplify: iters left: 4 (196 enodes) 1550619782.066 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619782.066 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550619782.067 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550619782.068 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550619782.069 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550619782.071 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550619782.074 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550619782.097 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550619782.138 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550619782.179 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550619782.221 * [exit]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)))))) 1550619782.221 * [misc]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))))))) 1550619782.221 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate #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))))> 1550619782.221 * [enter]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))) 1550619782.222 * * [misc]simplify: iters left: 6 (18 enodes) 1550619782.231 * * [misc]simplify: iters left: 5 (59 enodes) 1550619782.259 * * [misc]simplify: iters left: 4 (196 enodes) 1550619782.438 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619782.438 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550619782.439 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550619782.441 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550619782.448 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550619782.452 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550619782.458 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550619782.486 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550619782.527 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550619782.550 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550619782.583 * [exit]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)))))) 1550619782.583 * [misc]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))))))) 1550619782.583 * * * [misc]progress: adding candidates to table 1550619784.048 * * [misc]progress: iteration 4 / 4 1550619784.048 * * * [misc]progress: picking best candidate 1550619784.453 * * * * [misc]pick: Picked #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.453 * * * [misc]progress: localizing error 1550619784.701 * * * [misc]progress: generating rewritten candidates 1550619784.701 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550619784.710 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550619784.715 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1550619784.722 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1550619784.726 * * * [misc]progress: generating series expansions 1550619784.726 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550619784.726 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550619784.726 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1550619784.726 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1550619784.726 * * * [misc]progress: simplifying candidates 1550619784.726 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.726 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619784.726 * * [misc]simplify: iters left: 3 (9 enodes) 1550619784.731 * * [misc]simplify: iters left: 2 (22 enodes) 1550619784.738 * * [misc]simplify: iters left: 1 (30 enodes) 1550619784.747 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619784.747 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550619784.747 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1550619784.747 * * [misc]simplify: Extracting #3: cost 8 inf + 44 1550619784.748 * * [misc]simplify: Extracting #4: cost 4 inf + 48 1550619784.748 * * [misc]simplify: Extracting #5: cost 1 inf + 1137 1550619784.748 * * [misc]simplify: Extracting #6: cost 0 inf + 1500 1550619784.748 * [exit]simplify: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619784.749 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619784.749 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.749 * [enter]simplify: Simplifying (+.p16 beta (real->posit16 1.0)) 1550619784.749 * * [misc]simplify: iters left: 2 (4 enodes) 1550619784.751 * * [misc]simplify: iters left: 1 (8 enodes) 1550619784.753 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619784.753 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619784.754 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550619784.754 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550619784.754 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550619784.754 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619784.754 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.754 * [enter]simplify: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550619784.754 * * [misc]simplify: iters left: 4 (13 enodes) 1550619784.761 * * [misc]simplify: iters left: 3 (28 enodes) 1550619784.778 * * [misc]simplify: iters left: 2 (36 enodes) 1550619784.789 * * [misc]simplify: iters left: 1 (38 enodes) 1550619784.800 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619784.800 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619784.800 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550619784.800 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550619784.800 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550619784.800 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550619784.801 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550619784.801 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550619784.802 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) 1550619784.802 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619784.802 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550619784.802 * * [misc]simplify: iters left: 4 (13 enodes) 1550619784.808 * * [misc]simplify: iters left: 3 (28 enodes) 1550619784.818 * * [misc]simplify: iters left: 2 (36 enodes) 1550619784.829 * * [misc]simplify: iters left: 1 (38 enodes) 1550619784.840 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619784.840 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619784.840 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550619784.840 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550619784.840 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550619784.840 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550619784.841 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550619784.841 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550619784.841 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta))) 1550619784.842 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619784.842 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.842 * [enter]simplify: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0)) 1550619784.842 * * [misc]simplify: iters left: 3 (5 enodes) 1550619784.845 * * [misc]simplify: iters left: 2 (10 enodes) 1550619784.848 * * [misc]simplify: iters left: 1 (21 enodes) 1550619784.865 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619784.865 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619784.865 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550619784.866 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550619784.866 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550619784.866 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619784.866 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.866 * [enter]simplify: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0))) 1550619784.866 * * [misc]simplify: iters left: 3 (5 enodes) 1550619784.869 * * [misc]simplify: iters left: 2 (15 enodes) 1550619784.876 * * [misc]simplify: iters left: 1 (29 enodes) 1550619784.884 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619784.884 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550619784.884 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550619784.884 * * [misc]simplify: Extracting #3: cost 14 inf + 2 1550619784.885 * * [misc]simplify: Extracting #4: cost 0 inf + 3946 1550619784.885 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550619784.885 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619784.885 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.885 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619784.886 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619784.886 * * [misc]simplify: iters left: 4 (10 enodes) 1550619784.891 * * [misc]simplify: iters left: 3 (26 enodes) 1550619784.899 * * [misc]simplify: iters left: 2 (53 enodes) 1550619784.923 * * [misc]simplify: iters left: 1 (150 enodes) 1550619785.003 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619785.003 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550619785.003 * * [misc]simplify: Extracting #2: cost 52 inf + 0 1550619785.004 * * [misc]simplify: Extracting #3: cost 46 inf + 970 1550619785.006 * * [misc]simplify: Extracting #4: cost 14 inf + 16705 1550619785.011 * * [misc]simplify: Extracting #5: cost 0 inf + 25635 1550619785.016 * [exit]simplify: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))) 1550619785.016 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619785.016 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619785.017 * [enter]simplify: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550619785.017 * * [misc]simplify: iters left: 4 (10 enodes) 1550619785.022 * * [misc]simplify: iters left: 3 (31 enodes) 1550619785.036 * * [misc]simplify: iters left: 2 (85 enodes) 1550619785.060 * * [misc]simplify: iters left: 1 (201 enodes) 1550619785.148 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619785.148 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550619785.149 * * [misc]simplify: Extracting #2: cost 61 inf + 0 1550619785.149 * * [misc]simplify: Extracting #3: cost 50 inf + 1655 1550619785.153 * * [misc]simplify: Extracting #4: cost 9 inf + 29980 1550619785.159 * * [misc]simplify: Extracting #5: cost 0 inf + 35454 1550619785.164 * [exit]simplify: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)) 1550619785.164 * [misc]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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550619785.165 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619785.165 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate #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))))> 1550619785.165 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) (real->posit16 1)) 1550619785.165 * * [misc]simplify: iters left: 2 (5 enodes) 1550619785.168 * * [misc]simplify: iters left: 1 (10 enodes) 1550619785.172 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550619785.172 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550619785.172 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550619785.172 * * [misc]simplify: Extracting #3: cost 2 inf + 3 1550619785.172 * * [misc]simplify: Extracting #4: cost 0 inf + 326 1550619785.172 * [exit]simplify: Simplified to (*.p16 (real->posit16 2) (real->posit16 1)) 1550619785.172 * [misc]simplify: Simplified (2 2 1 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 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)))) 1550619785.172 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate #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 beta (*.p16 (real->posit16 2) (real->posit16 1))) alpha) (real->posit16 1.0))))> 1550619785.172 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619785.172 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619785.173 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619785.173 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550619785.173 * * * [misc]progress: adding candidates to table 1550619786.585 * [misc]progress: [Phase 3 of 3] Extracting. 1550619786.585 * * [misc]regime: Finding splitpoints for: (#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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))> #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))))> #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))))))> #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))>) 1550619786.589 * * * [misc]regime-changes: Trying 2 branch expressions: (beta alpha) 1550619786.589 * * * * [misc]regimes: Trying to branch on beta from (#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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))> #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))))> #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))))))> #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))>) 1550619787.009 * * * * [misc]regimes: Trying to branch on alpha from (#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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))> #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))))> #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))))))> #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))>) 1550619787.353 * * * [misc]regime: Found split indices: #