1550698974.516 * [misc]progress: [Phase 1 of 3] Setting up. 1550698974.516 * * * [misc]progress: [1/2] Preparing points 1550698974.518 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550698974.520 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550698974.528 * * * * [misc]points: Setting MPFR precision to 64 1550698974.531 * * * * [misc]points: Setting MPFR precision to 320 1550698974.533 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550698974.542 * * * * [misc]points: Setting MPFR precision to 64 1550698974.546 * * * * [misc]points: Setting MPFR precision to 320 1550698974.551 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550698974.559 * * * * [misc]points: Setting MPFR precision to 64 1550698974.566 * * * * [misc]points: Setting MPFR precision to 320 1550698974.573 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550698974.592 * * * * [misc]points: Setting MPFR precision to 64 1550698974.604 * * * * [misc]points: Setting MPFR precision to 320 1550698974.614 * * * * [misc]points: Computing exacts for 256 points 1550698974.619 * * * * [misc]points: Setting MPFR precision to 64 1550698974.639 * * * * [misc]points: Setting MPFR precision to 320 1550698974.673 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698974.676 * * * * [misc]points: Sampling 231 additional inputs, on iter 1 have 25 / 256 1550698974.678 * * * * [misc]points: Computing exacts on every 14 of 231 points to ramp up precision 1550698974.687 * * * * [misc]points: Setting MPFR precision to 64 1550698974.690 * * * * [misc]points: Setting MPFR precision to 320 1550698974.692 * * * * [misc]points: Computing exacts on every 7 of 231 points to ramp up precision 1550698974.701 * * * * [misc]points: Setting MPFR precision to 64 1550698974.705 * * * * [misc]points: Setting MPFR precision to 320 1550698974.707 * * * * [misc]points: Computing exacts on every 3 of 231 points to ramp up precision 1550698974.712 * * * * [misc]points: Setting MPFR precision to 64 1550698974.716 * * * * [misc]points: Setting MPFR precision to 320 1550698974.721 * * * * [misc]points: Computing exacts for 231 points 1550698974.725 * * * * [misc]points: Setting MPFR precision to 64 1550698974.784 * * * * [misc]points: Setting MPFR precision to 320 1550698974.816 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698974.821 * * * * [misc]points: Sampling 194 additional inputs, on iter 2 have 62 / 256 1550698974.822 * * * * [misc]points: Computing exacts on every 12 of 194 points to ramp up precision 1550698974.832 * * * * [misc]points: Setting MPFR precision to 64 1550698974.834 * * * * [misc]points: Setting MPFR precision to 320 1550698974.836 * * * * [misc]points: Computing exacts on every 6 of 194 points to ramp up precision 1550698974.844 * * * * [misc]points: Setting MPFR precision to 64 1550698974.848 * * * * [misc]points: Setting MPFR precision to 320 1550698974.852 * * * * [misc]points: Computing exacts on every 3 of 194 points to ramp up precision 1550698974.860 * * * * [misc]points: Setting MPFR precision to 64 1550698974.866 * * * * [misc]points: Setting MPFR precision to 320 1550698974.873 * * * * [misc]points: Computing exacts for 194 points 1550698974.881 * * * * [misc]points: Setting MPFR precision to 64 1550698974.906 * * * * [misc]points: Setting MPFR precision to 320 1550698974.965 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698974.968 * * * * [misc]points: Sampling 167 additional inputs, on iter 3 have 89 / 256 1550698974.970 * * * * [misc]points: Computing exacts on every 10 of 167 points to ramp up precision 1550698974.981 * * * * [misc]points: Setting MPFR precision to 64 1550698974.983 * * * * [misc]points: Setting MPFR precision to 320 1550698974.985 * * * * [misc]points: Computing exacts on every 5 of 167 points to ramp up precision 1550698974.993 * * * * [misc]points: Setting MPFR precision to 64 1550698974.997 * * * * [misc]points: Setting MPFR precision to 320 1550698975.001 * * * * [misc]points: Computing exacts on every 2 of 167 points to ramp up precision 1550698975.010 * * * * [misc]points: Setting MPFR precision to 64 1550698975.017 * * * * [misc]points: Setting MPFR precision to 320 1550698975.025 * * * * [misc]points: Computing exacts for 167 points 1550698975.031 * * * * [misc]points: Setting MPFR precision to 64 1550698975.044 * * * * [misc]points: Setting MPFR precision to 320 1550698975.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.067 * * * * [misc]points: Sampling 153 additional inputs, on iter 4 have 103 / 256 1550698975.069 * * * * [misc]points: Computing exacts on every 9 of 153 points to ramp up precision 1550698975.077 * * * * [misc]points: Setting MPFR precision to 64 1550698975.080 * * * * [misc]points: Setting MPFR precision to 320 1550698975.082 * * * * [misc]points: Computing exacts on every 4 of 153 points to ramp up precision 1550698975.089 * * * * [misc]points: Setting MPFR precision to 64 1550698975.093 * * * * [misc]points: Setting MPFR precision to 320 1550698975.097 * * * * [misc]points: Computing exacts on every 2 of 153 points to ramp up precision 1550698975.105 * * * * [misc]points: Setting MPFR precision to 64 1550698975.128 * * * * [misc]points: Setting MPFR precision to 320 1550698975.132 * * * * [misc]points: Computing exacts for 153 points 1550698975.144 * * * * [misc]points: Setting MPFR precision to 64 1550698975.164 * * * * [misc]points: Setting MPFR precision to 320 1550698975.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.184 * * * * [misc]points: Sampling 130 additional inputs, on iter 5 have 126 / 256 1550698975.185 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1550698975.193 * * * * [misc]points: Setting MPFR precision to 64 1550698975.195 * * * * [misc]points: Setting MPFR precision to 320 1550698975.197 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1550698975.205 * * * * [misc]points: Setting MPFR precision to 64 1550698975.209 * * * * [misc]points: Setting MPFR precision to 320 1550698975.212 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1550698975.220 * * * * [misc]points: Setting MPFR precision to 64 1550698975.226 * * * * [misc]points: Setting MPFR precision to 320 1550698975.231 * * * * [misc]points: Computing exacts for 130 points 1550698975.239 * * * * [misc]points: Setting MPFR precision to 64 1550698975.252 * * * * [misc]points: Setting MPFR precision to 320 1550698975.269 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.271 * * * * [misc]points: Sampling 108 additional inputs, on iter 6 have 148 / 256 1550698975.272 * * * * [misc]points: Computing exacts on every 6 of 108 points to ramp up precision 1550698975.308 * * * * [misc]points: Setting MPFR precision to 64 1550698975.310 * * * * [misc]points: Setting MPFR precision to 320 1550698975.312 * * * * [misc]points: Computing exacts on every 3 of 108 points to ramp up precision 1550698975.323 * * * * [misc]points: Setting MPFR precision to 64 1550698975.327 * * * * [misc]points: Setting MPFR precision to 320 1550698975.331 * * * * [misc]points: Computing exacts for 108 points 1550698975.340 * * * * [misc]points: Setting MPFR precision to 64 1550698975.355 * * * * [misc]points: Setting MPFR precision to 320 1550698975.370 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.371 * * * * [misc]points: Sampling 96 additional inputs, on iter 7 have 160 / 256 1550698975.372 * * * * [misc]points: Computing exacts on every 6 of 96 points to ramp up precision 1550698975.381 * * * * [misc]points: Setting MPFR precision to 64 1550698975.383 * * * * [misc]points: Setting MPFR precision to 320 1550698975.385 * * * * [misc]points: Computing exacts on every 3 of 96 points to ramp up precision 1550698975.393 * * * * [misc]points: Setting MPFR precision to 64 1550698975.397 * * * * [misc]points: Setting MPFR precision to 320 1550698975.400 * * * * [misc]points: Computing exacts for 96 points 1550698975.409 * * * * [misc]points: Setting MPFR precision to 64 1550698975.422 * * * * [misc]points: Setting MPFR precision to 320 1550698975.435 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.436 * * * * [misc]points: Sampling 85 additional inputs, on iter 8 have 171 / 256 1550698975.437 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1550698975.445 * * * * [misc]points: Setting MPFR precision to 64 1550698975.447 * * * * [misc]points: Setting MPFR precision to 320 1550698975.449 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1550698975.458 * * * * [misc]points: Setting MPFR precision to 64 1550698975.462 * * * * [misc]points: Setting MPFR precision to 320 1550698975.466 * * * * [misc]points: Computing exacts for 85 points 1550698975.855 * * * * [misc]points: Setting MPFR precision to 64 1550698975.863 * * * * [misc]points: Setting MPFR precision to 320 1550698975.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.875 * * * * [misc]points: Sampling 77 additional inputs, on iter 9 have 179 / 256 1550698975.875 * * * * [misc]points: Computing exacts on every 4 of 77 points to ramp up precision 1550698975.884 * * * * [misc]points: Setting MPFR precision to 64 1550698975.886 * * * * [misc]points: Setting MPFR precision to 320 1550698975.888 * * * * [misc]points: Computing exacts on every 2 of 77 points to ramp up precision 1550698975.899 * * * * [misc]points: Setting MPFR precision to 64 1550698975.903 * * * * [misc]points: Setting MPFR precision to 320 1550698975.906 * * * * [misc]points: Computing exacts for 77 points 1550698975.915 * * * * [misc]points: Setting MPFR precision to 64 1550698975.925 * * * * [misc]points: Setting MPFR precision to 320 1550698975.935 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.936 * * * * [misc]points: Sampling 69 additional inputs, on iter 10 have 187 / 256 1550698975.936 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1550698975.945 * * * * [misc]points: Setting MPFR precision to 64 1550698975.947 * * * * [misc]points: Setting MPFR precision to 320 1550698975.948 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1550698975.957 * * * * [misc]points: Setting MPFR precision to 64 1550698975.959 * * * * [misc]points: Setting MPFR precision to 320 1550698975.963 * * * * [misc]points: Computing exacts for 69 points 1550698975.971 * * * * [misc]points: Setting MPFR precision to 64 1550698975.981 * * * * [misc]points: Setting MPFR precision to 320 1550698975.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698975.993 * * * * [misc]points: Sampling 51 additional inputs, on iter 11 have 205 / 256 1550698975.993 * * * * [misc]points: Computing exacts on every 3 of 51 points to ramp up precision 1550698976.024 * * * * [misc]points: Setting MPFR precision to 64 1550698976.026 * * * * [misc]points: Setting MPFR precision to 320 1550698976.028 * * * * [misc]points: Computing exacts for 51 points 1550698976.039 * * * * [misc]points: Setting MPFR precision to 64 1550698976.047 * * * * [misc]points: Setting MPFR precision to 320 1550698976.055 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.056 * * * * [misc]points: Sampling 42 additional inputs, on iter 12 have 214 / 256 1550698976.056 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1550698976.065 * * * * [misc]points: Setting MPFR precision to 64 1550698976.067 * * * * [misc]points: Setting MPFR precision to 320 1550698976.068 * * * * [misc]points: Computing exacts for 42 points 1550698976.077 * * * * [misc]points: Setting MPFR precision to 64 1550698976.083 * * * * [misc]points: Setting MPFR precision to 320 1550698976.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.089 * * * * [misc]points: Sampling 38 additional inputs, on iter 13 have 218 / 256 1550698976.089 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1550698976.098 * * * * [misc]points: Setting MPFR precision to 64 1550698976.100 * * * * [misc]points: Setting MPFR precision to 320 1550698976.102 * * * * [misc]points: Computing exacts for 38 points 1550698976.110 * * * * [misc]points: Setting MPFR precision to 64 1550698976.116 * * * * [misc]points: Setting MPFR precision to 320 1550698976.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.123 * * * * [misc]points: Sampling 32 additional inputs, on iter 14 have 224 / 256 1550698976.123 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1550698976.132 * * * * [misc]points: Setting MPFR precision to 64 1550698976.133 * * * * [misc]points: Setting MPFR precision to 320 1550698976.135 * * * * [misc]points: Computing exacts for 32 points 1550698976.143 * * * * [misc]points: Setting MPFR precision to 64 1550698976.148 * * * * [misc]points: Setting MPFR precision to 320 1550698976.153 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.153 * * * * [misc]points: Sampling 30 additional inputs, on iter 15 have 226 / 256 1550698976.153 * * * * [misc]points: Computing exacts for 30 points 1550698976.163 * * * * [misc]points: Setting MPFR precision to 64 1550698976.167 * * * * [misc]points: Setting MPFR precision to 320 1550698976.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.172 * * * * [misc]points: Sampling 25 additional inputs, on iter 16 have 231 / 256 1550698976.172 * * * * [misc]points: Computing exacts for 25 points 1550698976.199 * * * * [misc]points: Setting MPFR precision to 64 1550698976.203 * * * * [misc]points: Setting MPFR precision to 320 1550698976.208 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.209 * * * * [misc]points: Sampling 20 additional inputs, on iter 17 have 236 / 256 1550698976.209 * * * * [misc]points: Computing exacts for 20 points 1550698976.216 * * * * [misc]points: Setting MPFR precision to 64 1550698976.219 * * * * [misc]points: Setting MPFR precision to 320 1550698976.221 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.222 * * * * [misc]points: Sampling 17 additional inputs, on iter 18 have 239 / 256 1550698976.222 * * * * [misc]points: Computing exacts for 17 points 1550698976.230 * * * * [misc]points: Setting MPFR precision to 64 1550698976.232 * * * * [misc]points: Setting MPFR precision to 320 1550698976.235 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.235 * * * * [misc]points: Sampling 14 additional inputs, on iter 19 have 242 / 256 1550698976.235 * * * * [misc]points: Computing exacts for 14 points 1550698976.243 * * * * [misc]points: Setting MPFR precision to 64 1550698976.245 * * * * [misc]points: Setting MPFR precision to 320 1550698976.247 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.247 * * * * [misc]points: Sampling 14 additional inputs, on iter 20 have 242 / 256 1550698976.247 * * * * [misc]points: Computing exacts for 14 points 1550698976.256 * * * * [misc]points: Setting MPFR precision to 64 1550698976.258 * * * * [misc]points: Setting MPFR precision to 320 1550698976.260 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.260 * * * * [misc]points: Sampling 9 additional inputs, on iter 21 have 247 / 256 1550698976.260 * * * * [misc]points: Computing exacts for 9 points 1550698976.268 * * * * [misc]points: Setting MPFR precision to 64 1550698976.270 * * * * [misc]points: Setting MPFR precision to 320 1550698976.271 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.271 * * * * [misc]points: Sampling 8 additional inputs, on iter 22 have 248 / 256 1550698976.272 * * * * [misc]points: Computing exacts for 8 points 1550698976.280 * * * * [misc]points: Setting MPFR precision to 64 1550698976.281 * * * * [misc]points: Setting MPFR precision to 320 1550698976.282 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.282 * * * * [misc]points: Sampling 8 additional inputs, on iter 23 have 248 / 256 1550698976.282 * * * * [misc]points: Computing exacts for 8 points 1550698976.290 * * * * [misc]points: Setting MPFR precision to 64 1550698976.291 * * * * [misc]points: Setting MPFR precision to 320 1550698976.293 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.293 * * * * [misc]points: Sampling 7 additional inputs, on iter 24 have 249 / 256 1550698976.293 * * * * [misc]points: Computing exacts for 7 points 1550698976.301 * * * * [misc]points: Setting MPFR precision to 64 1550698976.302 * * * * [misc]points: Setting MPFR precision to 320 1550698976.303 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.303 * * * * [misc]points: Sampling 6 additional inputs, on iter 25 have 250 / 256 1550698976.303 * * * * [misc]points: Computing exacts for 6 points 1550698976.311 * * * * [misc]points: Setting MPFR precision to 64 1550698976.312 * * * * [misc]points: Setting MPFR precision to 320 1550698976.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.313 * * * * [misc]points: Sampling 5 additional inputs, on iter 26 have 251 / 256 1550698976.313 * * * * [misc]points: Computing exacts for 5 points 1550698976.322 * * * * [misc]points: Setting MPFR precision to 64 1550698976.322 * * * * [misc]points: Setting MPFR precision to 320 1550698976.323 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.323 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 253 / 256 1550698976.323 * * * * [misc]points: Computing exacts for 4 points 1550698976.345 * * * * [misc]points: Setting MPFR precision to 64 1550698976.346 * * * * [misc]points: Setting MPFR precision to 320 1550698976.346 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.347 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 254 / 256 1550698976.347 * * * * [misc]points: Computing exacts for 4 points 1550698976.357 * * * * [misc]points: Setting MPFR precision to 64 1550698976.358 * * * * [misc]points: Setting MPFR precision to 320 1550698976.359 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698976.359 * * * * [exit]points: Sampled 257 points with exact outputs 1550698976.359 * * * [misc]progress: [2/2] Setting up program. 1550698976.400 * [misc]progress: [Phase 2 of 3] Improving. 1550698976.400 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698976.400 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))) 1550698976.400 * * [misc]simplify: iters left: 6 (19 enodes) 1550698976.410 * * [misc]simplify: iters left: 5 (76 enodes) 1550698976.439 * * [misc]simplify: iters left: 4 (344 enodes) 1550698976.694 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698976.694 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550698976.696 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550698976.702 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550698976.716 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550698976.737 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550698976.760 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550698976.808 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550698976.898 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550698977.008 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550698977.121 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550698977.209 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1550698977.209 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1550698977.266 * * [misc]progress: iteration 1 / 4 1550698977.266 * * * [misc]progress: picking best candidate 1550698977.324 * * * * [misc]pick: Picked #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698977.324 * * * [misc]progress: localizing error 1550698977.827 * * * [misc]progress: generating rewritten candidates 1550698977.828 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550698977.835 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1550698977.844 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550698977.848 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1550698977.851 * * * [misc]progress: generating series expansions 1550698977.852 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550698977.852 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1550698977.852 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550698977.852 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 2) 1550698977.852 * * * [misc]progress: simplifying candidates 1550698977.852 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698977.852 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) 1550698977.852 * * [misc]simplify: iters left: 3 (8 enodes) 1550698977.855 * * [misc]simplify: iters left: 2 (20 enodes) 1550698977.861 * * [misc]simplify: iters left: 1 (26 enodes) 1550698977.867 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698977.867 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550698977.867 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1550698977.867 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550698977.868 * * [misc]simplify: Extracting #4: cost 4 inf + 47 1550698977.868 * * [misc]simplify: Extracting #5: cost 1 inf + 1136 1550698977.868 * * [misc]simplify: Extracting #6: cost 0 inf + 1499 1550698977.868 * [exit]simplify: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) 1550698977.868 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698977.868 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698977.869 * [enter]simplify: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1550698977.869 * * [misc]simplify: iters left: 3 (6 enodes) 1550698977.871 * * [misc]simplify: iters left: 2 (22 enodes) 1550698977.877 * * [misc]simplify: iters left: 1 (42 enodes) 1550698977.893 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698977.893 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550698977.893 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550698977.893 * * [misc]simplify: Extracting #3: cost 9 inf + 1412 1550698977.893 * * [misc]simplify: Extracting #4: cost 0 inf + 4393 1550698977.894 * [exit]simplify: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1550698977.894 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698977.894 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698977.894 * [enter]simplify: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550698977.894 * * [misc]simplify: iters left: 4 (11 enodes) 1550698977.897 * * [misc]simplify: iters left: 3 (34 enodes) 1550698977.909 * * [misc]simplify: iters left: 2 (62 enodes) 1550698977.930 * * [misc]simplify: iters left: 1 (116 enodes) 1550698977.968 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698977.968 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550698977.969 * * [misc]simplify: Extracting #2: cost 32 inf + 1 1550698977.969 * * [misc]simplify: Extracting #3: cost 28 inf + 688 1550698977.969 * * [misc]simplify: Extracting #4: cost 20 inf + 2471 1550698977.970 * * [misc]simplify: Extracting #5: cost 11 inf + 5213 1550698977.972 * * [misc]simplify: Extracting #6: cost 0 inf + 16616 1550698977.974 * [exit]simplify: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1550698977.974 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698977.974 * [enter]simplify: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550698977.974 * * [misc]simplify: iters left: 5 (13 enodes) 1550698977.979 * * [misc]simplify: iters left: 4 (36 enodes) 1550698977.990 * * [misc]simplify: iters left: 3 (69 enodes) 1550698978.009 * * [misc]simplify: iters left: 2 (108 enodes) 1550698978.027 * * [misc]simplify: iters left: 1 (142 enodes) 1550698978.045 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698978.045 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698978.045 * * [misc]simplify: Extracting #2: cost 25 inf + 0 1550698978.045 * * [misc]simplify: Extracting #3: cost 26 inf + 2 1550698978.045 * * [misc]simplify: Extracting #4: cost 20 inf + 1217 1550698978.046 * * [misc]simplify: Extracting #5: cost 5 inf + 6972 1550698978.046 * * [misc]simplify: Extracting #6: cost 0 inf + 9668 1550698978.047 * [exit]simplify: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1550698978.047 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698978.047 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> 1550698978.047 * [enter]simplify: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550698978.047 * * [misc]simplify: iters left: 4 (11 enodes) 1550698978.050 * * [misc]simplify: iters left: 3 (33 enodes) 1550698978.056 * * [misc]simplify: iters left: 2 (87 enodes) 1550698978.083 * * [misc]simplify: iters left: 1 (455 enodes) 1550698978.752 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698978.752 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550698978.753 * * [misc]simplify: Extracting #2: cost 349 inf + 2 1550698978.764 * * [misc]simplify: Extracting #3: cost 1015 inf + 2069 1550698978.775 * * [misc]simplify: Extracting #4: cost 974 inf + 36877 1550698978.807 * * [misc]simplify: Extracting #5: cost 686 inf + 251010 1550698978.908 * * [misc]simplify: Extracting #6: cost 123 inf + 839954 1550698979.011 * * [misc]simplify: Extracting #7: cost 0 inf + 991791 1550698979.101 * * [misc]simplify: Extracting #8: cost 0 inf + 989631 1550698979.236 * [exit]simplify: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)) 1550698979.237 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))) 1550698979.237 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate #posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> 1550698979.237 * [enter]simplify: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550698979.237 * * [misc]simplify: iters left: 4 (11 enodes) 1550698979.243 * * [misc]simplify: iters left: 3 (34 enodes) 1550698979.254 * * [misc]simplify: iters left: 2 (62 enodes) 1550698979.274 * * [misc]simplify: iters left: 1 (116 enodes) 1550698979.308 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698979.308 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550698979.308 * * [misc]simplify: Extracting #2: cost 32 inf + 1 1550698979.309 * * [misc]simplify: Extracting #3: cost 28 inf + 688 1550698979.309 * * [misc]simplify: Extracting #4: cost 20 inf + 2471 1550698979.310 * * [misc]simplify: Extracting #5: cost 11 inf + 5213 1550698979.311 * * [misc]simplify: Extracting #6: cost 0 inf + 16616 1550698979.312 * [exit]simplify: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1550698979.312 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1550698979.312 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698979.313 * [enter]simplify: Simplifying (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) 1550698979.313 * * [misc]simplify: iters left: 5 (12 enodes) 1550698979.318 * * [misc]simplify: iters left: 4 (32 enodes) 1550698979.329 * * [misc]simplify: iters left: 3 (90 enodes) 1550698979.379 * * [misc]simplify: iters left: 2 (378 enodes) 1550698979.680 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698979.680 * * [misc]simplify: Extracting #1: cost 90 inf + 0 1550698979.681 * * [misc]simplify: Extracting #2: cost 388 inf + 0 1550698979.683 * * [misc]simplify: Extracting #3: cost 380 inf + 3950 1550698979.688 * * [misc]simplify: Extracting #4: cost 272 inf + 84531 1550698979.724 * * [misc]simplify: Extracting #5: cost 20 inf + 357988 1550698979.769 * * [misc]simplify: Extracting #6: cost 0 inf + 384165 1550698979.807 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) 1550698979.807 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))))) 1550698979.807 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> 1550698979.807 * [enter]simplify: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) 1550698979.807 * * [misc]simplify: iters left: 5 (9 enodes) 1550698979.810 * * [misc]simplify: iters left: 4 (35 enodes) 1550698979.818 * * [misc]simplify: iters left: 3 (128 enodes) 1550698979.897 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698979.897 * * [misc]simplify: Extracting #1: cost 39 inf + 0 1550698979.898 * * [misc]simplify: Extracting #2: cost 167 inf + 1 1550698979.900 * * [misc]simplify: Extracting #3: cost 185 inf + 9642 1550698979.910 * * [misc]simplify: Extracting #4: cost 54 inf + 131260 1550698979.925 * * [misc]simplify: Extracting #5: cost 0 inf + 183768 1550698979.940 * [exit]simplify: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) 1550698979.940 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1550698979.941 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698979.941 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698979.941 * * [misc]simplify: iters left: 5 (15 enodes) 1550698979.949 * * [misc]simplify: iters left: 4 (44 enodes) 1550698979.965 * * [misc]simplify: iters left: 3 (112 enodes) 1550698980.019 * * [misc]simplify: iters left: 2 (473 enodes) 1550698980.419 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698980.420 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550698980.421 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550698980.425 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550698980.431 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550698980.439 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550698980.470 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550698980.529 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550698980.585 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550698980.658 * [exit]simplify: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) 1550698980.658 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698980.658 * [enter]simplify: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698980.658 * * [misc]simplify: iters left: 6 (17 enodes) 1550698980.663 * * [misc]simplify: iters left: 5 (52 enodes) 1550698980.675 * * [misc]simplify: iters left: 4 (154 enodes) 1550698980.760 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698980.760 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550698980.760 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550698980.762 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550698980.764 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550698980.767 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550698980.772 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550698980.792 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550698980.821 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550698980.851 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550698980.881 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550698980.912 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1550698980.912 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1550698980.912 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698980.913 * [enter]simplify: Simplifying (*.p16 i i) 1550698980.913 * * [misc]simplify: iters left: 1 (2 enodes) 1550698980.914 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698980.914 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550698980.914 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550698980.914 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1550698980.914 * [exit]simplify: Simplified to (*.p16 i i) 1550698980.914 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698980.914 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698980.914 * [enter]simplify: Simplifying (*.p16 i i) 1550698980.914 * * [misc]simplify: iters left: 1 (2 enodes) 1550698980.915 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698980.915 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550698980.915 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550698980.915 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1550698980.915 * [exit]simplify: Simplified to (*.p16 i i) 1550698980.915 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698980.915 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698980.916 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698980.916 * [enter]simplify: Simplifying (*.p16 i i) 1550698980.916 * * [misc]simplify: iters left: 1 (2 enodes) 1550698980.917 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698980.917 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550698980.917 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550698980.917 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1550698980.917 * [exit]simplify: Simplified to (*.p16 i i) 1550698980.917 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698980.917 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698980.917 * [enter]simplify: Simplifying (*.p16 i i) 1550698980.917 * * [misc]simplify: iters left: 1 (2 enodes) 1550698980.918 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698980.918 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550698980.918 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550698980.918 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1550698980.918 * [exit]simplify: Simplified to (*.p16 i i) 1550698980.918 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1550698980.919 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698980.919 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698980.919 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))) 1550698980.919 * * [misc]simplify: iters left: 6 (19 enodes) 1550698980.929 * * [misc]simplify: iters left: 5 (76 enodes) 1550698980.968 * * [misc]simplify: iters left: 4 (344 enodes) 1550698981.291 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698981.291 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550698981.293 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550698981.299 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550698981.313 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550698981.334 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550698981.355 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550698981.401 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550698981.489 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550698981.598 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550698981.702 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550698981.758 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1550698981.758 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1550698981.758 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698981.758 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))) 1550698981.758 * * [misc]simplify: iters left: 6 (19 enodes) 1550698981.763 * * [misc]simplify: iters left: 5 (76 enodes) 1550698981.785 * * [misc]simplify: iters left: 4 (344 enodes) 1550698982.004 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698982.005 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550698982.007 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550698982.013 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550698982.026 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550698982.046 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550698982.074 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550698982.107 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550698982.185 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550698982.271 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550698982.375 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550698982.486 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1550698982.486 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1550698982.486 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698982.487 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))) 1550698982.487 * * [misc]simplify: iters left: 6 (19 enodes) 1550698982.497 * * [misc]simplify: iters left: 5 (76 enodes) 1550698982.538 * * [misc]simplify: iters left: 4 (344 enodes) 1550698982.817 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698982.818 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550698982.820 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550698982.825 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550698982.836 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550698982.858 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550698982.877 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550698982.915 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550698982.997 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550698983.084 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550698983.187 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550698983.284 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1550698983.284 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1550698983.284 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> 1550698983.284 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))) 1550698983.285 * * [misc]simplify: iters left: 6 (19 enodes) 1550698983.293 * * [misc]simplify: iters left: 5 (76 enodes) 1550698983.329 * * [misc]simplify: iters left: 4 (344 enodes) 1550698983.641 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698983.642 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550698983.644 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550698983.651 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550698983.665 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550698983.686 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550698983.708 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550698983.750 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550698983.839 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550698983.952 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550698984.063 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550698984.175 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1550698984.175 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1550698984.176 * * * [misc]progress: adding candidates to table 1550698985.741 * * [misc]progress: iteration 2 / 4 1550698985.741 * * * [misc]progress: picking best candidate 1550698985.977 * * * * [misc]pick: Picked #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698985.977 * * * [misc]progress: localizing error 1550698986.408 * * * [misc]progress: generating rewritten candidates 1550698986.408 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550698986.416 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1) 1550698986.421 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1550698986.433 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1550698986.451 * * * [misc]progress: generating series expansions 1550698986.451 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550698986.451 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1) 1550698986.451 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1550698986.451 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1550698986.451 * * * [misc]progress: simplifying candidates 1550698986.451 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698986.451 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698986.452 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550698986.452 * * [misc]simplify: iters left: 4 (11 enodes) 1550698986.457 * * [misc]simplify: iters left: 3 (27 enodes) 1550698986.467 * * [misc]simplify: iters left: 2 (47 enodes) 1550698986.485 * * [misc]simplify: iters left: 1 (76 enodes) 1550698986.519 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698986.519 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550698986.520 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550698986.520 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1550698986.520 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1550698986.521 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1550698986.522 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1550698986.523 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1550698986.523 * [misc]simplify: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))))) 1550698986.524 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> 1550698986.524 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1550698986.524 * * [misc]simplify: iters left: 4 (8 enodes) 1550698986.528 * * [misc]simplify: iters left: 3 (26 enodes) 1550698986.537 * * [misc]simplify: iters left: 2 (53 enodes) 1550698986.554 * * [misc]simplify: iters left: 1 (91 enodes) 1550698986.580 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698986.580 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550698986.580 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550698986.580 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1550698986.581 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1550698986.583 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1550698986.584 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1550698986.584 * [misc]simplify: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1550698986.584 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698986.585 * [enter]simplify: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1550698986.585 * * [misc]simplify: iters left: 3 (6 enodes) 1550698986.587 * * [misc]simplify: iters left: 2 (22 enodes) 1550698986.594 * * [misc]simplify: iters left: 1 (42 enodes) 1550698986.608 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698986.608 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550698986.608 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550698986.608 * * [misc]simplify: Extracting #3: cost 9 inf + 1412 1550698986.609 * * [misc]simplify: Extracting #4: cost 0 inf + 4393 1550698986.609 * [exit]simplify: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1550698986.609 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698986.609 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698986.610 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698986.610 * * [misc]simplify: iters left: 5 (15 enodes) 1550698986.617 * * [misc]simplify: iters left: 4 (44 enodes) 1550698986.633 * * [misc]simplify: iters left: 3 (112 enodes) 1550698986.696 * * [misc]simplify: iters left: 2 (473 enodes) 1550698987.224 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.225 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550698987.226 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550698987.230 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550698987.237 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550698987.246 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550698987.279 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550698987.356 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550698987.434 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550698987.514 * [exit]simplify: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) 1550698987.514 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698987.515 * [enter]simplify: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698987.515 * * [misc]simplify: iters left: 6 (17 enodes) 1550698987.524 * * [misc]simplify: iters left: 5 (52 enodes) 1550698987.546 * * [misc]simplify: iters left: 4 (154 enodes) 1550698987.649 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.650 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550698987.650 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550698987.652 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550698987.654 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550698987.657 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550698987.662 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550698987.685 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550698987.716 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550698987.747 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550698987.782 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550698987.814 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1550698987.815 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1550698987.815 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698987.815 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698987.815 * * [misc]simplify: iters left: 5 (15 enodes) 1550698987.823 * * [misc]simplify: iters left: 4 (44 enodes) 1550698987.839 * * [misc]simplify: iters left: 3 (112 enodes) 1550698987.897 * * [misc]simplify: iters left: 2 (473 enodes) 1550698988.278 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698988.279 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550698988.279 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550698988.285 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550698988.288 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550698988.292 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550698988.309 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550698988.351 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550698988.431 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550698988.510 * [exit]simplify: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) 1550698988.510 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698988.511 * [enter]simplify: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698988.511 * * [misc]simplify: iters left: 6 (17 enodes) 1550698988.519 * * [misc]simplify: iters left: 5 (52 enodes) 1550698988.542 * * [misc]simplify: iters left: 4 (154 enodes) 1550698988.638 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698988.638 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550698988.638 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550698988.640 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550698988.642 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550698988.645 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550698988.650 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550698988.676 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550698988.708 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550698988.738 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550698988.762 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550698988.778 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1550698988.778 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1550698988.778 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698988.778 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698988.778 * * [misc]simplify: iters left: 5 (15 enodes) 1550698988.783 * * [misc]simplify: iters left: 4 (44 enodes) 1550698988.794 * * [misc]simplify: iters left: 3 (112 enodes) 1550698988.822 * * [misc]simplify: iters left: 2 (473 enodes) 1550698989.164 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698989.164 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550698989.164 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550698989.166 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550698989.169 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550698989.174 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550698989.189 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550698989.229 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550698989.287 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550698989.366 * [exit]simplify: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) 1550698989.366 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698989.367 * [enter]simplify: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698989.367 * * [misc]simplify: iters left: 6 (17 enodes) 1550698989.374 * * [misc]simplify: iters left: 5 (52 enodes) 1550698989.384 * * [misc]simplify: iters left: 4 (154 enodes) 1550698989.474 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698989.474 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550698989.475 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550698989.476 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550698989.478 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550698989.481 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550698989.487 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550698989.509 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550698989.541 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550698989.573 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550698989.605 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550698989.630 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1550698989.630 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1550698989.630 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698989.630 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698989.630 * * [misc]simplify: iters left: 5 (15 enodes) 1550698989.634 * * [misc]simplify: iters left: 4 (44 enodes) 1550698989.642 * * [misc]simplify: iters left: 3 (112 enodes) 1550698989.687 * * [misc]simplify: iters left: 2 (473 enodes) 1550698990.126 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698990.126 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550698990.127 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550698990.132 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550698990.138 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550698990.146 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550698990.176 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550698990.249 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550698990.300 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550698990.376 * [exit]simplify: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) 1550698990.376 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698990.376 * [enter]simplify: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) 1550698990.376 * * [misc]simplify: iters left: 6 (17 enodes) 1550698990.385 * * [misc]simplify: iters left: 5 (52 enodes) 1550698990.405 * * [misc]simplify: iters left: 4 (154 enodes) 1550698990.454 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698990.455 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550698990.455 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550698990.457 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550698990.459 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550698990.462 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550698990.471 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550698990.493 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550698990.524 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550698990.554 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550698990.586 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550698990.614 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1550698990.614 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1550698990.615 * * * [misc]progress: adding candidates to table 1550698991.162 * * [misc]progress: iteration 3 / 4 1550698991.162 * * * [misc]progress: picking best candidate 1550698991.739 * * * * [misc]pick: Picked #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698991.739 * * * [misc]progress: localizing error 1550698991.938 * * * [misc]progress: generating rewritten candidates 1550698991.939 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1550698991.944 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1550698991.952 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1550698991.972 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1550698991.995 * * * [misc]progress: generating series expansions 1550698991.995 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1550698991.995 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1550698991.995 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1550698991.995 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1550698991.995 * * * [misc]progress: simplifying candidates 1550698991.995 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698991.996 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550698991.996 * * [misc]simplify: iters left: 4 (11 enodes) 1550698992.001 * * [misc]simplify: iters left: 3 (27 enodes) 1550698992.010 * * [misc]simplify: iters left: 2 (47 enodes) 1550698992.026 * * [misc]simplify: iters left: 1 (76 enodes) 1550698992.048 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698992.048 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550698992.048 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550698992.048 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1550698992.049 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1550698992.049 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1550698992.050 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1550698992.051 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1550698992.051 * [misc]simplify: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))))) 1550698992.052 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> 1550698992.052 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1550698992.052 * * [misc]simplify: iters left: 4 (8 enodes) 1550698992.056 * * [misc]simplify: iters left: 3 (26 enodes) 1550698992.065 * * [misc]simplify: iters left: 2 (53 enodes) 1550698992.083 * * [misc]simplify: iters left: 1 (91 enodes) 1550698992.111 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698992.112 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550698992.112 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550698992.112 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1550698992.113 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1550698992.114 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1550698992.116 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1550698992.116 * [misc]simplify: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1550698992.116 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698992.116 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550698992.117 * * [misc]simplify: iters left: 4 (9 enodes) 1550698992.121 * * [misc]simplify: iters left: 3 (21 enodes) 1550698992.127 * * [misc]simplify: iters left: 2 (27 enodes) 1550698992.135 * * [misc]simplify: iters left: 1 (28 enodes) 1550698992.143 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698992.143 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698992.143 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550698992.143 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550698992.143 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550698992.143 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1550698992.144 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550698992.144 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1550698992.144 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698992.145 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698992.145 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698992.145 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698992.145 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698992.145 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698992.145 * * * [misc]progress: adding candidates to table 1550698992.713 * * [misc]progress: iteration 4 / 4 1550698992.713 * * * [misc]progress: picking best candidate 1550698993.313 * * * * [misc]pick: Picked #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.313 * * * [misc]progress: localizing error 1550698993.498 * * * [misc]progress: generating rewritten candidates 1550698993.498 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1550698993.503 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2) 1550698993.511 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1550698993.514 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1550698993.526 * * * [misc]progress: generating series expansions 1550698993.526 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1550698993.527 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2) 1550698993.527 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1550698993.528 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1550698993.528 * * * [misc]progress: simplifying candidates 1550698993.528 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.528 * [enter]simplify: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)) 1550698993.528 * * [misc]simplify: iters left: 4 (10 enodes) 1550698993.533 * * [misc]simplify: iters left: 3 (25 enodes) 1550698993.542 * * [misc]simplify: iters left: 2 (37 enodes) 1550698993.552 * * [misc]simplify: iters left: 1 (40 enodes) 1550698993.562 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698993.562 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698993.562 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1550698993.562 * * [misc]simplify: Extracting #3: cost 9 inf + 45 1550698993.563 * * [misc]simplify: Extracting #4: cost 7 inf + 212 1550698993.563 * * [misc]simplify: Extracting #5: cost 6 inf + 213 1550698993.563 * * [misc]simplify: Extracting #6: cost 0 inf + 2590 1550698993.563 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta))) 1550698993.564 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698993.564 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.564 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) i) 1550698993.564 * * [misc]simplify: iters left: 2 (5 enodes) 1550698993.566 * * [misc]simplify: iters left: 1 (15 enodes) 1550698993.570 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698993.570 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550698993.570 * * [misc]simplify: Extracting #2: cost 5 inf + 3 1550698993.570 * * [misc]simplify: Extracting #3: cost 0 inf + 254 1550698993.570 * [exit]simplify: Simplified to (+.p16 beta (+.p16 alpha i)) 1550698993.570 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1550698993.571 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.571 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550698993.571 * * [misc]simplify: iters left: 4 (11 enodes) 1550698993.576 * * [misc]simplify: iters left: 3 (27 enodes) 1550698993.592 * * [misc]simplify: iters left: 2 (47 enodes) 1550698993.608 * * [misc]simplify: iters left: 1 (76 enodes) 1550698993.631 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698993.631 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550698993.631 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550698993.631 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1550698993.632 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1550698993.632 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1550698993.633 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1550698993.634 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1550698993.634 * [misc]simplify: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))))) 1550698993.635 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> 1550698993.635 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1550698993.635 * * [misc]simplify: iters left: 4 (8 enodes) 1550698993.639 * * [misc]simplify: iters left: 3 (26 enodes) 1550698993.647 * * [misc]simplify: iters left: 2 (53 enodes) 1550698993.664 * * [misc]simplify: iters left: 1 (91 enodes) 1550698993.691 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698993.691 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550698993.691 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550698993.692 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1550698993.693 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1550698993.694 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1550698993.695 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1550698993.696 * [misc]simplify: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1550698993.696 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.696 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.696 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.696 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1550698993.696 * * * [misc]progress: adding candidates to table 1550698994.270 * [misc]progress: [Phase 3 of 3] Extracting. 1550698994.270 * * [misc]regime: Finding splitpoints for: (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>) 1550698994.287 * * * [misc]regime-changes: Trying 3 branch expressions: (beta alpha i) 1550698994.287 * * * * [misc]regimes: Trying to branch on beta from (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>) 1550698995.362 * * * * [misc]regimes: Trying to branch on alpha from (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>) 1550698996.462 * * * * [misc]regimes: Trying to branch on i from (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>) 1550698997.969 * * * [misc]regime: Found split indices: #