1553935200.762 * [progress]: [Phase 1 of 3] Setting up. 1553935200.762 * * * [progress]: [1/2] Preparing points 1553935200.764 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553935200.766 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553935200.772 * * * * [points]: Setting MPFR precision to 64 1553935200.775 * * * * [points]: Setting MPFR precision to 320 1553935200.777 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553935200.785 * * * * [points]: Setting MPFR precision to 64 1553935200.795 * * * * [points]: Setting MPFR precision to 320 1553935200.799 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553935200.808 * * * * [points]: Setting MPFR precision to 64 1553935200.816 * * * * [points]: Setting MPFR precision to 320 1553935200.824 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553935200.832 * * * * [points]: Setting MPFR precision to 64 1553935200.845 * * * * [points]: Setting MPFR precision to 320 1553935200.858 * * * * [points]: Computing exacts for 256 points 1553935200.866 * * * * [points]: Setting MPFR precision to 64 1553935200.902 * * * * [points]: Setting MPFR precision to 320 1553935200.927 * * * * [points]: Filtering points with unrepresentable outputs 1553935200.933 * * * * [points]: Sampling 183 additional inputs, on iter 1 have 73 / 256 1553935200.934 * * * * [points]: Computing exacts on every 11 of 183 points to ramp up precision 1553935200.938 * * * * [points]: Setting MPFR precision to 64 1553935200.939 * * * * [points]: Setting MPFR precision to 320 1553935200.941 * * * * [points]: Computing exacts on every 5 of 183 points to ramp up precision 1553935200.945 * * * * [points]: Setting MPFR precision to 64 1553935200.948 * * * * [points]: Setting MPFR precision to 320 1553935200.951 * * * * [points]: Computing exacts on every 2 of 183 points to ramp up precision 1553935200.992 * * * * [points]: Setting MPFR precision to 64 1553935201.005 * * * * [points]: Setting MPFR precision to 320 1553935201.013 * * * * [points]: Computing exacts for 183 points 1553935201.022 * * * * [points]: Setting MPFR precision to 64 1553935201.047 * * * * [points]: Setting MPFR precision to 320 1553935201.074 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.080 * * * * [points]: Sampling 140 additional inputs, on iter 2 have 116 / 256 1553935201.081 * * * * [points]: Computing exacts on every 8 of 140 points to ramp up precision 1553935201.089 * * * * [points]: Setting MPFR precision to 64 1553935201.091 * * * * [points]: Setting MPFR precision to 320 1553935201.094 * * * * [points]: Computing exacts on every 4 of 140 points to ramp up precision 1553935201.103 * * * * [points]: Setting MPFR precision to 64 1553935201.107 * * * * [points]: Setting MPFR precision to 320 1553935201.111 * * * * [points]: Computing exacts on every 2 of 140 points to ramp up precision 1553935201.119 * * * * [points]: Setting MPFR precision to 64 1553935201.125 * * * * [points]: Setting MPFR precision to 320 1553935201.132 * * * * [points]: Computing exacts for 140 points 1553935201.140 * * * * [points]: Setting MPFR precision to 64 1553935201.159 * * * * [points]: Setting MPFR precision to 320 1553935201.203 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.206 * * * * [points]: Sampling 101 additional inputs, on iter 3 have 155 / 256 1553935201.206 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision 1553935201.212 * * * * [points]: Setting MPFR precision to 64 1553935201.213 * * * * [points]: Setting MPFR precision to 320 1553935201.215 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision 1553935201.219 * * * * [points]: Setting MPFR precision to 64 1553935201.221 * * * * [points]: Setting MPFR precision to 320 1553935201.223 * * * * [points]: Computing exacts for 101 points 1553935201.227 * * * * [points]: Setting MPFR precision to 64 1553935201.235 * * * * [points]: Setting MPFR precision to 320 1553935201.243 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.245 * * * * [points]: Sampling 73 additional inputs, on iter 4 have 183 / 256 1553935201.245 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision 1553935201.250 * * * * [points]: Setting MPFR precision to 64 1553935201.251 * * * * [points]: Setting MPFR precision to 320 1553935201.253 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision 1553935201.257 * * * * [points]: Setting MPFR precision to 64 1553935201.259 * * * * [points]: Setting MPFR precision to 320 1553935201.261 * * * * [points]: Computing exacts for 73 points 1553935201.265 * * * * [points]: Setting MPFR precision to 64 1553935201.270 * * * * [points]: Setting MPFR precision to 320 1553935201.277 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.279 * * * * [points]: Sampling 46 additional inputs, on iter 5 have 210 / 256 1553935201.279 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision 1553935201.284 * * * * [points]: Setting MPFR precision to 64 1553935201.285 * * * * [points]: Setting MPFR precision to 320 1553935201.286 * * * * [points]: Computing exacts for 46 points 1553935201.290 * * * * [points]: Setting MPFR precision to 64 1553935201.310 * * * * [points]: Setting MPFR precision to 320 1553935201.315 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.316 * * * * [points]: Sampling 33 additional inputs, on iter 6 have 223 / 256 1553935201.316 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1553935201.321 * * * * [points]: Setting MPFR precision to 64 1553935201.322 * * * * [points]: Setting MPFR precision to 320 1553935201.323 * * * * [points]: Computing exacts for 33 points 1553935201.327 * * * * [points]: Setting MPFR precision to 64 1553935201.329 * * * * [points]: Setting MPFR precision to 320 1553935201.332 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.333 * * * * [points]: Sampling 24 additional inputs, on iter 7 have 232 / 256 1553935201.333 * * * * [points]: Computing exacts for 24 points 1553935201.337 * * * * [points]: Setting MPFR precision to 64 1553935201.339 * * * * [points]: Setting MPFR precision to 320 1553935201.341 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.342 * * * * [points]: Sampling 19 additional inputs, on iter 8 have 237 / 256 1553935201.342 * * * * [points]: Computing exacts for 19 points 1553935201.346 * * * * [points]: Setting MPFR precision to 64 1553935201.348 * * * * [points]: Setting MPFR precision to 320 1553935201.350 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.352 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 247 / 256 1553935201.352 * * * * [points]: Computing exacts for 9 points 1553935201.360 * * * * [points]: Setting MPFR precision to 64 1553935201.362 * * * * [points]: Setting MPFR precision to 320 1553935201.363 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.363 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 249 / 256 1553935201.363 * * * * [points]: Computing exacts for 7 points 1553935201.370 * * * * [points]: Setting MPFR precision to 64 1553935201.371 * * * * [points]: Setting MPFR precision to 320 1553935201.372 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.373 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 252 / 256 1553935201.373 * * * * [points]: Computing exacts for 4 points 1553935201.380 * * * * [points]: Setting MPFR precision to 64 1553935201.380 * * * * [points]: Setting MPFR precision to 320 1553935201.381 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.382 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 255 / 256 1553935201.382 * * * * [points]: Computing exacts for 4 points 1553935201.389 * * * * [points]: Setting MPFR precision to 64 1553935201.390 * * * * [points]: Setting MPFR precision to 320 1553935201.391 * * * * [points]: Filtering points with unrepresentable outputs 1553935201.391 * * * * [points]: Sampled 256 points with exact outputs 1553935201.391 * * * [progress]: [2/2] Setting up program. 1553935201.434 * [progress]: [Phase 2 of 3] Improving. 1553935201.434 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935201.452 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935201.452 * * [simplify]: iters left: 6 (19 enodes) 1553935201.461 * * [simplify]: iters left: 5 (48 enodes) 1553935201.481 * * [simplify]: iters left: 4 (124 enodes) 1553935201.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935201.534 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935201.534 * * [simplify]: Extracting #2: cost 6 inf + 0 1553935201.534 * * [simplify]: Extracting #3: cost 31 inf + 2 1553935201.535 * * [simplify]: Extracting #4: cost 126 inf + 4 1553935201.535 * * [simplify]: Extracting #5: cost 211 inf + 2985 1553935201.537 * * [simplify]: Extracting #6: cost 160 inf + 31488 1553935201.540 * * [simplify]: Extracting #7: cost 101 inf + 88177 1553935201.549 * * [simplify]: Extracting #8: cost 1 inf + 172697 1553935201.569 * * [simplify]: Extracting #9: cost 0 inf + 173382 1553935201.589 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935201.589 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935201.660 * * [progress]: iteration 1 / 4 1553935201.660 * * * [progress]: picking best candidate 1553935201.717 * * * * [pick]: Picked #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935201.717 * * * [progress]: localizing error 1553935202.286 * * * [progress]: generating rewritten candidates 1553935202.286 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1553935202.299 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1553935202.345 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1553935202.387 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1553935202.404 * * * [progress]: generating series expansions 1553935202.404 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1553935202.405 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1553935202.405 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1553935202.405 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1553935202.405 * * * [progress]: simplifying candidates 1553935202.405 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.405 * [simplify]: Simplifying (+.p16 alpha beta) 1553935202.405 * * [simplify]: iters left: 1 (3 enodes) 1553935202.406 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935202.406 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935202.406 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935202.407 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935202.407 * [simplify]: Simplified to (+.p16 beta alpha) 1553935202.407 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935202.407 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.407 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 1553935202.407 * * [simplify]: iters left: 3 (7 enodes) 1553935202.410 * * [simplify]: iters left: 2 (22 enodes) 1553935202.418 * * [simplify]: iters left: 1 (61 enodes) 1553935202.435 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935202.435 * * [simplify]: Extracting #1: cost 15 inf + 0 1553935202.435 * * [simplify]: Extracting #2: cost 60 inf + 0 1553935202.435 * * [simplify]: Extracting #3: cost 64 inf + 2 1553935202.436 * * [simplify]: Extracting #4: cost 43 inf + 25499 1553935202.438 * * [simplify]: Extracting #5: cost 3 inf + 68523 1553935202.440 * * [simplify]: Extracting #6: cost 0 inf + 73168 1553935202.443 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha))) 1553935202.443 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935202.443 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.443 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) 1553935202.443 * * [simplify]: iters left: 2 (5 enodes) 1553935202.444 * * [simplify]: iters left: 1 (17 enodes) 1553935202.447 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935202.447 * * [simplify]: Extracting #1: cost 18 inf + 0 1553935202.447 * * [simplify]: Extracting #2: cost 23 inf + 0 1553935202.447 * * [simplify]: Extracting #3: cost 20 inf + 323 1553935202.448 * * [simplify]: Extracting #4: cost 12 inf + 2616 1553935202.448 * * [simplify]: Extracting #5: cost 0 inf + 9758 1553935202.448 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) 1553935202.448 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935202.448 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 1.0) (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))> 1553935202.448 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.448 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.449 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.449 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.449 * * [simplify]: iters left: 6 (19 enodes) 1553935202.454 * * [simplify]: iters left: 5 (48 enodes) 1553935202.463 * * [simplify]: iters left: 4 (124 enodes) 1553935202.500 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935202.500 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935202.500 * * [simplify]: Extracting #2: cost 6 inf + 0 1553935202.500 * * [simplify]: Extracting #3: cost 31 inf + 2 1553935202.500 * * [simplify]: Extracting #4: cost 126 inf + 4 1553935202.501 * * [simplify]: Extracting #5: cost 211 inf + 2985 1553935202.503 * * [simplify]: Extracting #6: cost 160 inf + 31488 1553935202.506 * * [simplify]: Extracting #7: cost 101 inf + 88177 1553935202.515 * * [simplify]: Extracting #8: cost 1 inf + 172697 1553935202.524 * * [simplify]: Extracting #9: cost 0 inf + 173382 1553935202.534 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.534 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935202.534 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.534 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.534 * * [simplify]: iters left: 6 (19 enodes) 1553935202.541 * * [simplify]: iters left: 5 (48 enodes) 1553935202.553 * * [simplify]: iters left: 4 (124 enodes) 1553935202.588 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935202.588 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935202.588 * * [simplify]: Extracting #2: cost 6 inf + 0 1553935202.588 * * [simplify]: Extracting #3: cost 31 inf + 2 1553935202.589 * * [simplify]: Extracting #4: cost 126 inf + 4 1553935202.589 * * [simplify]: Extracting #5: cost 211 inf + 2985 1553935202.591 * * [simplify]: Extracting #6: cost 160 inf + 31488 1553935202.594 * * [simplify]: Extracting #7: cost 101 inf + 88177 1553935202.603 * * [simplify]: Extracting #8: cost 1 inf + 172697 1553935202.614 * * [simplify]: Extracting #9: cost 0 inf + 173382 1553935202.624 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.624 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935202.624 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.624 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.624 * * [simplify]: iters left: 6 (19 enodes) 1553935202.629 * * [simplify]: iters left: 5 (48 enodes) 1553935202.638 * * [simplify]: iters left: 4 (124 enodes) 1553935202.674 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935202.674 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935202.674 * * [simplify]: Extracting #2: cost 6 inf + 0 1553935202.674 * * [simplify]: Extracting #3: cost 31 inf + 2 1553935202.674 * * [simplify]: Extracting #4: cost 126 inf + 4 1553935202.675 * * [simplify]: Extracting #5: cost 211 inf + 2985 1553935202.676 * * [simplify]: Extracting #6: cost 160 inf + 31488 1553935202.680 * * [simplify]: Extracting #7: cost 101 inf + 88177 1553935202.690 * * [simplify]: Extracting #8: cost 1 inf + 172697 1553935202.700 * * [simplify]: Extracting #9: cost 0 inf + 173382 1553935202.710 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.710 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935202.710 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935202.710 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.710 * * [simplify]: iters left: 6 (19 enodes) 1553935202.715 * * [simplify]: iters left: 5 (48 enodes) 1553935202.723 * * [simplify]: iters left: 4 (124 enodes) 1553935202.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935202.760 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935202.760 * * [simplify]: Extracting #2: cost 6 inf + 0 1553935202.760 * * [simplify]: Extracting #3: cost 31 inf + 2 1553935202.761 * * [simplify]: Extracting #4: cost 126 inf + 4 1553935202.761 * * [simplify]: Extracting #5: cost 211 inf + 2985 1553935202.763 * * [simplify]: Extracting #6: cost 160 inf + 31488 1553935202.767 * * [simplify]: Extracting #7: cost 101 inf + 88177 1553935202.775 * * [simplify]: Extracting #8: cost 1 inf + 172697 1553935202.785 * * [simplify]: Extracting #9: cost 0 inf + 173382 1553935202.794 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1553935202.794 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935202.795 * * * [progress]: adding candidates to table 1553935203.358 * * [progress]: iteration 2 / 4 1553935203.358 * * * [progress]: picking best candidate 1553935203.472 * * * * [pick]: Picked #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935203.473 * * * [progress]: localizing error 1553935203.877 * * * [progress]: generating rewritten candidates 1553935203.877 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553935203.961 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 1553935203.974 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553935203.982 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553935204.198 * * * [progress]: generating series expansions 1553935204.198 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553935204.198 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1553935204.198 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553935204.198 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553935204.199 * * * [progress]: simplifying candidates 1553935204.199 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.199 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1553935204.199 * * [simplify]: iters left: 4 (9 enodes) 1553935204.203 * * [simplify]: iters left: 3 (21 enodes) 1553935204.209 * * [simplify]: iters left: 2 (27 enodes) 1553935204.219 * * [simplify]: iters left: 1 (29 enodes) 1553935204.227 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.227 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.227 * * [simplify]: Extracting #2: cost 8 inf + 0 1553935204.227 * * [simplify]: Extracting #3: cost 8 inf + 2 1553935204.227 * * [simplify]: Extracting #4: cost 7 inf + 45 1553935204.227 * * [simplify]: Extracting #5: cost 1 inf + 1980 1553935204.228 * * [simplify]: Extracting #6: cost 0 inf + 2343 1553935204.228 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1553935204.228 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.228 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.229 * [simplify]: Simplifying (+.p16 alpha beta) 1553935204.229 * * [simplify]: iters left: 1 (3 enodes) 1553935204.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.230 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.230 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935204.230 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935204.230 * [simplify]: Simplified to (+.p16 beta alpha) 1553935204.230 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.230 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.231 * [simplify]: Simplifying (+.p16 beta alpha) 1553935204.231 * * [simplify]: iters left: 1 (3 enodes) 1553935204.232 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.232 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.232 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935204.232 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935204.232 * [simplify]: Simplified to (+.p16 alpha beta) 1553935204.232 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.232 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.233 * [simplify]: Simplifying (+.p16 beta alpha) 1553935204.233 * * [simplify]: iters left: 1 (3 enodes) 1553935204.234 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.234 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.234 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935204.234 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935204.234 * [simplify]: Simplified to (+.p16 alpha beta) 1553935204.234 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.234 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.235 * [simplify]: Simplifying (-.p16 beta alpha) 1553935204.235 * * [simplify]: iters left: 1 (3 enodes) 1553935204.236 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.236 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935204.236 * * [simplify]: Extracting #2: cost 5 inf + 44 1553935204.236 * * [simplify]: Extracting #3: cost 0 inf + 1571 1553935204.236 * [simplify]: Simplified to (-.p16 beta alpha) 1553935204.237 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.237 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))> 1553935204.237 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.237 * [simplify]: Simplifying (+.p16 alpha beta) 1553935204.237 * * [simplify]: iters left: 1 (3 enodes) 1553935204.238 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.238 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.238 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935204.238 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935204.239 * [simplify]: Simplified to (+.p16 beta alpha) 1553935204.239 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.239 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.239 * [simplify]: Simplifying (+.p16 alpha beta) 1553935204.239 * * [simplify]: iters left: 1 (3 enodes) 1553935204.240 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.240 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.240 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935204.240 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935204.240 * [simplify]: Simplified to (+.p16 beta alpha) 1553935204.241 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.241 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.241 * [simplify]: Simplifying (+.p16 alpha beta) 1553935204.241 * * [simplify]: iters left: 1 (3 enodes) 1553935204.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.242 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.242 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935204.242 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935204.242 * [simplify]: Simplified to (+.p16 beta alpha) 1553935204.243 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.243 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935204.243 * [simplify]: Simplifying (+.p16 alpha beta) 1553935204.243 * * [simplify]: iters left: 1 (3 enodes) 1553935204.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935204.244 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935204.244 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935204.244 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935204.244 * [simplify]: Simplified to (+.p16 beta alpha) 1553935204.244 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935204.245 * * * [progress]: adding candidates to table 1553935204.838 * * [progress]: iteration 3 / 4 1553935204.838 * * * [progress]: picking best candidate 1553935205.131 * * * * [pick]: Picked #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935205.131 * * * [progress]: localizing error 1553935205.776 * * * [progress]: generating rewritten candidates 1553935205.776 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1553935205.793 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1553935205.904 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1553935205.966 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553935205.985 * * * [progress]: generating series expansions 1553935205.985 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1553935205.985 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1553935205.985 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1553935205.985 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553935205.985 * * * [progress]: simplifying candidates 1553935205.985 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935205.986 * [simplify]: Simplifying (+.p16 beta alpha) 1553935205.986 * * [simplify]: iters left: 1 (3 enodes) 1553935205.987 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935205.987 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935205.987 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935205.987 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935205.987 * [simplify]: Simplified to (+.p16 alpha beta) 1553935205.987 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935205.987 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935205.988 * [simplify]: Simplifying (+.p16 beta alpha) 1553935205.988 * * [simplify]: iters left: 1 (3 enodes) 1553935205.989 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935205.989 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935205.989 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935205.989 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935205.989 * [simplify]: Simplified to (+.p16 alpha beta) 1553935205.989 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935205.989 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935205.990 * [simplify]: Simplifying (-.p16 beta alpha) 1553935205.990 * * [simplify]: iters left: 1 (3 enodes) 1553935205.991 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935205.991 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935205.991 * * [simplify]: Extracting #2: cost 5 inf + 44 1553935205.991 * * [simplify]: Extracting #3: cost 0 inf + 1571 1553935205.991 * [simplify]: Simplified to (-.p16 beta alpha) 1553935205.991 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935205.992 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935205.992 * [simplify]: Simplifying (+.p16 alpha beta) 1553935205.992 * * [simplify]: iters left: 1 (3 enodes) 1553935205.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935205.993 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935205.993 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935205.993 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935205.993 * [simplify]: Simplified to (+.p16 beta alpha) 1553935205.993 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935205.994 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))) (real->posit16 2.0)))> 1553935205.994 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935205.994 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1553935205.994 * * [simplify]: iters left: 4 (9 enodes) 1553935205.998 * * [simplify]: iters left: 3 (21 enodes) 1553935206.004 * * [simplify]: iters left: 2 (27 enodes) 1553935206.012 * * [simplify]: iters left: 1 (29 enodes) 1553935206.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935206.020 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935206.020 * * [simplify]: Extracting #2: cost 8 inf + 0 1553935206.020 * * [simplify]: Extracting #3: cost 8 inf + 2 1553935206.020 * * [simplify]: Extracting #4: cost 7 inf + 45 1553935206.020 * * [simplify]: Extracting #5: cost 1 inf + 1980 1553935206.021 * * [simplify]: Extracting #6: cost 0 inf + 2343 1553935206.021 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1553935206.021 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935206.021 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935206.022 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1553935206.022 * * [simplify]: iters left: 4 (9 enodes) 1553935206.026 * * [simplify]: iters left: 3 (21 enodes) 1553935206.032 * * [simplify]: iters left: 2 (27 enodes) 1553935206.040 * * [simplify]: iters left: 1 (29 enodes) 1553935206.048 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935206.048 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935206.048 * * [simplify]: Extracting #2: cost 8 inf + 0 1553935206.048 * * [simplify]: Extracting #3: cost 8 inf + 2 1553935206.048 * * [simplify]: Extracting #4: cost 7 inf + 45 1553935206.049 * * [simplify]: Extracting #5: cost 1 inf + 1980 1553935206.049 * * [simplify]: Extracting #6: cost 0 inf + 2343 1553935206.049 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1553935206.049 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935206.050 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935206.050 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1553935206.050 * * [simplify]: iters left: 4 (9 enodes) 1553935206.054 * * [simplify]: iters left: 3 (21 enodes) 1553935206.059 * * [simplify]: iters left: 2 (27 enodes) 1553935206.067 * * [simplify]: iters left: 1 (29 enodes) 1553935206.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935206.075 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935206.075 * * [simplify]: Extracting #2: cost 8 inf + 0 1553935206.075 * * [simplify]: Extracting #3: cost 8 inf + 2 1553935206.076 * * [simplify]: Extracting #4: cost 7 inf + 45 1553935206.076 * * [simplify]: Extracting #5: cost 1 inf + 1980 1553935206.076 * * [simplify]: Extracting #6: cost 0 inf + 2343 1553935206.077 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1553935206.077 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935206.077 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935206.077 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1553935206.077 * * [simplify]: iters left: 4 (9 enodes) 1553935206.082 * * [simplify]: iters left: 3 (21 enodes) 1553935206.089 * * [simplify]: iters left: 2 (27 enodes) 1553935206.099 * * [simplify]: iters left: 1 (29 enodes) 1553935206.107 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935206.107 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935206.107 * * [simplify]: Extracting #2: cost 8 inf + 0 1553935206.107 * * [simplify]: Extracting #3: cost 8 inf + 2 1553935206.107 * * [simplify]: Extracting #4: cost 7 inf + 45 1553935206.108 * * [simplify]: Extracting #5: cost 1 inf + 1980 1553935206.108 * * [simplify]: Extracting #6: cost 0 inf + 2343 1553935206.108 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1553935206.108 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935206.109 * * * [progress]: adding candidates to table 1553935206.767 * * [progress]: iteration 4 / 4 1553935206.767 * * * [progress]: picking best candidate 1553935207.052 * * * * [pick]: Picked #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935207.052 * * * [progress]: localizing error 1553935207.795 * * * [progress]: generating rewritten candidates 1553935207.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553935207.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1553935207.822 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553935207.878 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553935207.887 * * * [progress]: generating series expansions 1553935207.887 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553935207.887 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 1553935207.887 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553935207.887 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553935207.887 * * * [progress]: simplifying candidates 1553935207.887 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935207.888 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) 1553935207.888 * * [simplify]: iters left: 6 (15 enodes) 1553935207.896 * * [simplify]: iters left: 5 (36 enodes) 1553935207.912 * * [simplify]: iters left: 4 (82 enodes) 1553935207.956 * * [simplify]: iters left: 3 (394 enodes) 1553935208.495 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935208.495 * * [simplify]: Extracting #1: cost 25 inf + 0 1553935208.495 * * [simplify]: Extracting #2: cost 194 inf + 0 1553935208.497 * * [simplify]: Extracting #3: cost 415 inf + 1492 1553935208.499 * * [simplify]: Extracting #4: cost 407 inf + 8379 1553935208.507 * * [simplify]: Extracting #5: cost 257 inf + 100715 1553935208.537 * * [simplify]: Extracting #6: cost 28 inf + 309269 1553935208.593 * * [simplify]: Extracting #7: cost 0 inf + 338163 1553935208.656 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (neg.p16 alpha)) 1553935208.656 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935208.657 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935208.657 * [simplify]: Simplifying (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) 1553935208.657 * * [simplify]: iters left: 6 (15 enodes) 1553935208.664 * * [simplify]: iters left: 5 (36 enodes) 1553935208.677 * * [simplify]: iters left: 4 (82 enodes) 1553935208.725 * * [simplify]: iters left: 3 (388 enodes) 1553935209.265 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935209.265 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935209.266 * * [simplify]: Extracting #2: cost 197 inf + 0 1553935209.269 * * [simplify]: Extracting #3: cost 447 inf + 1933 1553935209.274 * * [simplify]: Extracting #4: cost 438 inf + 9258 1553935209.298 * * [simplify]: Extracting #5: cost 267 inf + 120001 1553935209.351 * * [simplify]: Extracting #6: cost 22 inf + 346280 1553935209.417 * * [simplify]: Extracting #7: cost 0 inf + 359176 1553935209.482 * [simplify]: Simplified to (/.p16 (*.p16 (neg.p16 alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 2.0) alpha) beta) (*.p16 i (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))))) 1553935209.482 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (+.p16 (*.p16 beta (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (/.p16 (*.p16 (neg.p16 alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 2.0) alpha) beta) (*.p16 i (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935209.482 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935209.483 * [simplify]: Simplifying (+.p16 beta alpha) 1553935209.483 * * [simplify]: iters left: 1 (3 enodes) 1553935209.484 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935209.484 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935209.484 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935209.484 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935209.484 * [simplify]: Simplified to (+.p16 alpha beta) 1553935209.484 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935209.485 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935209.485 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) 1553935209.485 * * [simplify]: iters left: 5 (11 enodes) 1553935209.490 * * [simplify]: iters left: 4 (32 enodes) 1553935209.501 * * [simplify]: iters left: 3 (68 enodes) 1553935209.529 * * [simplify]: iters left: 2 (190 enodes) 1553935209.656 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935209.656 * * [simplify]: Extracting #1: cost 33 inf + 0 1553935209.657 * * [simplify]: Extracting #2: cost 171 inf + 0 1553935209.659 * * [simplify]: Extracting #3: cost 233 inf + 2174 1553935209.663 * * [simplify]: Extracting #4: cost 203 inf + 31371 1553935209.673 * * [simplify]: Extracting #5: cost 85 inf + 168306 1553935209.698 * * [simplify]: Extracting #6: cost 4 inf + 278631 1553935209.725 * * [simplify]: Extracting #7: cost 0 inf + 285202 1553935209.749 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) 1553935209.749 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553935209.749 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935209.749 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935209.750 * [simplify]: Simplifying (+.p16 alpha beta) 1553935209.750 * * [simplify]: iters left: 1 (3 enodes) 1553935209.751 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935209.751 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935209.751 * * [simplify]: Extracting #2: cost 1 inf + 2 1553935209.751 * * [simplify]: Extracting #3: cost 0 inf + 44 1553935209.751 * [simplify]: Simplified to (+.p16 beta alpha) 1553935209.751 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935209.751 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> 1553935209.752 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) 1553935209.752 * * [simplify]: iters left: 6 (14 enodes) 1553935209.758 * * [simplify]: iters left: 5 (35 enodes) 1553935209.771 * * [simplify]: iters left: 4 (81 enodes) 1553935209.800 * * [simplify]: iters left: 3 (384 enodes) 1553935210.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935210.253 * * [simplify]: Extracting #1: cost 25 inf + 0 1553935210.254 * * [simplify]: Extracting #2: cost 194 inf + 1 1553935210.257 * * [simplify]: Extracting #3: cost 437 inf + 1732 1553935210.261 * * [simplify]: Extracting #4: cost 425 inf + 8782 1553935210.282 * * [simplify]: Extracting #5: cost 215 inf + 143469 1553935210.338 * * [simplify]: Extracting #6: cost 11 inf + 339873 1553935210.406 * * [simplify]: Extracting #7: cost 0 inf + 351167 1553935210.470 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta alpha) beta) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) 1553935210.470 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) beta) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0))) 1553935210.470 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (+.p16 (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 1.0))) (real->posit16 2.0)))> 1553935210.471 * [simplify]: Simplifying (*.p16 beta (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) 1553935210.471 * * [simplify]: iters left: 6 (14 enodes) 1553935210.477 * * [simplify]: iters left: 5 (35 enodes) 1553935210.489 * * [simplify]: iters left: 4 (81 enodes) 1553935210.536 * * [simplify]: iters left: 3 (382 enodes) 1553935211.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935211.078 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935211.078 * * [simplify]: Extracting #2: cost 192 inf + 1 1553935211.081 * * [simplify]: Extracting #3: cost 451 inf + 1048 1553935211.086 * * [simplify]: Extracting #4: cost 439 inf + 8422 1553935211.106 * * [simplify]: Extracting #5: cost 254 inf + 128594 1553935211.170 * * [simplify]: Extracting #6: cost 3 inf + 356042 1553935211.234 * * [simplify]: Extracting #7: cost 0 inf + 359177 1553935211.301 * [simplify]: Simplified to (/.p16 (*.p16 beta (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) 1553935211.301 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 beta (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) (+.p16 (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 1.0))) (real->posit16 2.0))) 1553935211.301 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #posit16 1.0) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha))) (real->posit16 2.0)))> 1553935211.301 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935211.302 * [simplify]: Simplifying (-.p16 beta alpha) 1553935211.302 * * [simplify]: iters left: 1 (3 enodes) 1553935211.303 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935211.303 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935211.303 * * [simplify]: Extracting #2: cost 5 inf + 44 1553935211.303 * * [simplify]: Extracting #3: cost 0 inf + 1571 1553935211.303 * [simplify]: Simplified to (-.p16 beta alpha) 1553935211.304 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935211.304 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935211.304 * [simplify]: Simplifying (-.p16 beta alpha) 1553935211.304 * * [simplify]: iters left: 1 (3 enodes) 1553935211.305 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935211.305 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935211.305 * * [simplify]: Extracting #2: cost 5 inf + 44 1553935211.306 * * [simplify]: Extracting #3: cost 0 inf + 1571 1553935211.306 * [simplify]: Simplified to (-.p16 beta alpha) 1553935211.306 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935211.306 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935211.306 * [simplify]: Simplifying (-.p16 beta alpha) 1553935211.306 * * [simplify]: iters left: 1 (3 enodes) 1553935211.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935211.307 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935211.308 * * [simplify]: Extracting #2: cost 5 inf + 44 1553935211.308 * * [simplify]: Extracting #3: cost 0 inf + 1571 1553935211.308 * [simplify]: Simplified to (-.p16 beta alpha) 1553935211.308 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935211.308 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553935211.308 * [simplify]: Simplifying (-.p16 beta alpha) 1553935211.308 * * [simplify]: iters left: 1 (3 enodes) 1553935211.310 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935211.310 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935211.310 * * [simplify]: Extracting #2: cost 5 inf + 44 1553935211.310 * * [simplify]: Extracting #3: cost 0 inf + 1571 1553935211.310 * [simplify]: Simplified to (-.p16 beta alpha) 1553935211.310 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1553935211.310 * * * [progress]: adding candidates to table 1553935212.509 * [progress]: [Phase 3 of 3] Extracting. 1553935212.509 * * [regime]: Finding splitpoints for: (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 1553935212.513 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha) 1553935212.513 * * * * [regimes]: Trying to branch on i from (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 1553935213.199 * * * * [regimes]: Trying to branch on beta from (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 1553935214.147 * * * * [regimes]: Trying to branch on alpha from (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 1553935215.104 * * * [regime]: Found split indices: #