2.877 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.005 * * * * [points]: Setting MPFR precision to 64 0.006 * * * * [points]: Setting MPFR precision to 320 0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.013 * * * * [points]: Setting MPFR precision to 320 0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.018 * * * * [points]: Setting MPFR precision to 64 0.022 * * * * [points]: Setting MPFR precision to 320 0.025 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.029 * * * * [points]: Setting MPFR precision to 64 0.034 * * * * [points]: Setting MPFR precision to 320 0.040 * * * * [points]: Computing exacts for 256 points 0.044 * * * * [points]: Setting MPFR precision to 64 0.061 * * * * [points]: Setting MPFR precision to 320 0.077 * * * * [points]: Filtering points with unrepresentable outputs 0.078 * * * * [points]: Sampling 231 additional inputs, on iter 1 have 25 / 256 0.079 * * * * [points]: Computing exacts on every 14 of 231 points to ramp up precision 0.097 * * * * [points]: Setting MPFR precision to 64 0.099 * * * * [points]: Setting MPFR precision to 320 0.100 * * * * [points]: Computing exacts on every 7 of 231 points to ramp up precision 0.103 * * * * [points]: Setting MPFR precision to 64 0.105 * * * * [points]: Setting MPFR precision to 320 0.107 * * * * [points]: Computing exacts on every 3 of 231 points to ramp up precision 0.111 * * * * [points]: Setting MPFR precision to 64 0.115 * * * * [points]: Setting MPFR precision to 320 0.118 * * * * [points]: Computing exacts for 231 points 0.122 * * * * [points]: Setting MPFR precision to 64 0.137 * * * * [points]: Setting MPFR precision to 320 0.152 * * * * [points]: Filtering points with unrepresentable outputs 0.153 * * * * [points]: Sampling 204 additional inputs, on iter 2 have 52 / 256 0.153 * * * * [points]: Computing exacts on every 12 of 204 points to ramp up precision 0.157 * * * * [points]: Setting MPFR precision to 64 0.158 * * * * [points]: Setting MPFR precision to 320 0.159 * * * * [points]: Computing exacts on every 6 of 204 points to ramp up precision 0.163 * * * * [points]: Setting MPFR precision to 64 0.165 * * * * [points]: Setting MPFR precision to 320 0.167 * * * * [points]: Computing exacts on every 3 of 204 points to ramp up precision 0.171 * * * * [points]: Setting MPFR precision to 64 0.188 * * * * [points]: Setting MPFR precision to 320 0.191 * * * * [points]: Computing exacts for 204 points 0.195 * * * * [points]: Setting MPFR precision to 64 0.210 * * * * [points]: Setting MPFR precision to 320 0.224 * * * * [points]: Filtering points with unrepresentable outputs 0.224 * * * * [points]: Sampling 169 additional inputs, on iter 3 have 87 / 256 0.224 * * * * [points]: Computing exacts on every 10 of 169 points to ramp up precision 0.228 * * * * [points]: Setting MPFR precision to 64 0.229 * * * * [points]: Setting MPFR precision to 320 0.230 * * * * [points]: Computing exacts on every 5 of 169 points to ramp up precision 0.234 * * * * [points]: Setting MPFR precision to 64 0.236 * * * * [points]: Setting MPFR precision to 320 0.238 * * * * [points]: Computing exacts on every 2 of 169 points to ramp up precision 0.242 * * * * [points]: Setting MPFR precision to 64 0.245 * * * * [points]: Setting MPFR precision to 320 0.249 * * * * [points]: Computing exacts for 169 points 0.253 * * * * [points]: Setting MPFR precision to 64 0.264 * * * * [points]: Setting MPFR precision to 320 0.292 * * * * [points]: Filtering points with unrepresentable outputs 0.292 * * * * [points]: Sampling 148 additional inputs, on iter 4 have 108 / 256 0.293 * * * * [points]: Computing exacts on every 9 of 148 points to ramp up precision 0.297 * * * * [points]: Setting MPFR precision to 64 0.298 * * * * [points]: Setting MPFR precision to 320 0.299 * * * * [points]: Computing exacts on every 4 of 148 points to ramp up precision 0.302 * * * * [points]: Setting MPFR precision to 64 0.304 * * * * [points]: Setting MPFR precision to 320 0.306 * * * * [points]: Computing exacts on every 2 of 148 points to ramp up precision 0.310 * * * * [points]: Setting MPFR precision to 64 0.313 * * * * [points]: Setting MPFR precision to 320 0.316 * * * * [points]: Computing exacts for 148 points 0.320 * * * * [points]: Setting MPFR precision to 64 0.330 * * * * [points]: Setting MPFR precision to 320 0.339 * * * * [points]: Filtering points with unrepresentable outputs 0.340 * * * * [points]: Sampling 129 additional inputs, on iter 5 have 127 / 256 0.340 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision 0.344 * * * * [points]: Setting MPFR precision to 64 0.345 * * * * [points]: Setting MPFR precision to 320 0.346 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision 0.350 * * * * [points]: Setting MPFR precision to 64 0.351 * * * * [points]: Setting MPFR precision to 320 0.353 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision 0.357 * * * * [points]: Setting MPFR precision to 64 0.360 * * * * [points]: Setting MPFR precision to 320 0.362 * * * * [points]: Computing exacts for 129 points 0.381 * * * * [points]: Setting MPFR precision to 64 0.390 * * * * [points]: Setting MPFR precision to 320 0.398 * * * * [points]: Filtering points with unrepresentable outputs 0.399 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 145 / 256 0.399 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision 0.403 * * * * [points]: Setting MPFR precision to 64 0.404 * * * * [points]: Setting MPFR precision to 320 0.405 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision 0.409 * * * * [points]: Setting MPFR precision to 64 0.410 * * * * [points]: Setting MPFR precision to 320 0.412 * * * * [points]: Computing exacts for 111 points 0.416 * * * * [points]: Setting MPFR precision to 64 0.423 * * * * [points]: Setting MPFR precision to 320 0.431 * * * * [points]: Filtering points with unrepresentable outputs 0.431 * * * * [points]: Sampling 89 additional inputs, on iter 7 have 167 / 256 0.431 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision 0.435 * * * * [points]: Setting MPFR precision to 64 0.436 * * * * [points]: Setting MPFR precision to 320 0.437 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision 0.441 * * * * [points]: Setting MPFR precision to 64 0.443 * * * * [points]: Setting MPFR precision to 320 0.445 * * * * [points]: Computing exacts for 89 points 0.448 * * * * [points]: Setting MPFR precision to 64 0.454 * * * * [points]: Setting MPFR precision to 320 0.476 * * * * [points]: Filtering points with unrepresentable outputs 0.476 * * * * [points]: Sampling 79 additional inputs, on iter 8 have 177 / 256 0.477 * * * * [points]: Computing exacts on every 4 of 79 points to ramp up precision 0.480 * * * * [points]: Setting MPFR precision to 64 0.482 * * * * [points]: Setting MPFR precision to 320 0.484 * * * * [points]: Computing exacts on every 2 of 79 points to ramp up precision 0.488 * * * * [points]: Setting MPFR precision to 64 0.490 * * * * [points]: Setting MPFR precision to 320 0.491 * * * * [points]: Computing exacts for 79 points 0.495 * * * * [points]: Setting MPFR precision to 64 0.500 * * * * [points]: Setting MPFR precision to 320 0.506 * * * * [points]: Filtering points with unrepresentable outputs 0.506 * * * * [points]: Sampling 69 additional inputs, on iter 9 have 187 / 256 0.506 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision 0.510 * * * * [points]: Setting MPFR precision to 64 0.511 * * * * [points]: Setting MPFR precision to 320 0.511 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision 0.515 * * * * [points]: Setting MPFR precision to 64 0.517 * * * * [points]: Setting MPFR precision to 320 0.518 * * * * [points]: Computing exacts for 69 points 0.522 * * * * [points]: Setting MPFR precision to 64 0.527 * * * * [points]: Setting MPFR precision to 320 0.531 * * * * [points]: Filtering points with unrepresentable outputs 0.531 * * * * [points]: Sampling 61 additional inputs, on iter 10 have 195 / 256 0.531 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 0.535 * * * * [points]: Setting MPFR precision to 64 0.536 * * * * [points]: Setting MPFR precision to 320 0.537 * * * * [points]: Computing exacts for 61 points 0.541 * * * * [points]: Setting MPFR precision to 64 0.545 * * * * [points]: Setting MPFR precision to 320 0.561 * * * * [points]: Filtering points with unrepresentable outputs 0.562 * * * * [points]: Sampling 50 additional inputs, on iter 11 have 206 / 256 0.562 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision 0.567 * * * * [points]: Setting MPFR precision to 64 0.568 * * * * [points]: Setting MPFR precision to 320 0.569 * * * * [points]: Computing exacts for 50 points 0.573 * * * * [points]: Setting MPFR precision to 64 0.576 * * * * [points]: Setting MPFR precision to 320 0.579 * * * * [points]: Filtering points with unrepresentable outputs 0.579 * * * * [points]: Sampling 44 additional inputs, on iter 12 have 212 / 256 0.580 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision 0.583 * * * * [points]: Setting MPFR precision to 64 0.584 * * * * [points]: Setting MPFR precision to 320 0.585 * * * * [points]: Computing exacts for 44 points 0.589 * * * * [points]: Setting MPFR precision to 64 0.592 * * * * [points]: Setting MPFR precision to 320 0.595 * * * * [points]: Filtering points with unrepresentable outputs 0.595 * * * * [points]: Sampling 40 additional inputs, on iter 13 have 216 / 256 0.595 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision 0.599 * * * * [points]: Setting MPFR precision to 64 0.600 * * * * [points]: Setting MPFR precision to 320 0.601 * * * * [points]: Computing exacts for 40 points 0.604 * * * * [points]: Setting MPFR precision to 64 0.607 * * * * [points]: Setting MPFR precision to 320 0.610 * * * * [points]: Filtering points with unrepresentable outputs 0.610 * * * * [points]: Sampling 31 additional inputs, on iter 14 have 225 / 256 0.610 * * * * [points]: Computing exacts for 31 points 0.614 * * * * [points]: Setting MPFR precision to 64 0.616 * * * * [points]: Setting MPFR precision to 320 0.618 * * * * [points]: Filtering points with unrepresentable outputs 0.618 * * * * [points]: Sampling 28 additional inputs, on iter 15 have 228 / 256 0.618 * * * * [points]: Computing exacts for 28 points 0.622 * * * * [points]: Setting MPFR precision to 64 0.623 * * * * [points]: Setting MPFR precision to 320 0.625 * * * * [points]: Filtering points with unrepresentable outputs 0.625 * * * * [points]: Sampling 27 additional inputs, on iter 16 have 229 / 256 0.626 * * * * [points]: Computing exacts for 27 points 0.629 * * * * [points]: Setting MPFR precision to 64 0.631 * * * * [points]: Setting MPFR precision to 320 0.645 * * * * [points]: Filtering points with unrepresentable outputs 0.645 * * * * [points]: Sampling 25 additional inputs, on iter 17 have 231 / 256 0.646 * * * * [points]: Computing exacts for 25 points 0.649 * * * * [points]: Setting MPFR precision to 64 0.651 * * * * [points]: Setting MPFR precision to 320 0.653 * * * * [points]: Filtering points with unrepresentable outputs 0.653 * * * * [points]: Sampling 21 additional inputs, on iter 18 have 235 / 256 0.653 * * * * [points]: Computing exacts for 21 points 0.657 * * * * [points]: Setting MPFR precision to 64 0.658 * * * * [points]: Setting MPFR precision to 320 0.660 * * * * [points]: Filtering points with unrepresentable outputs 0.660 * * * * [points]: Sampling 17 additional inputs, on iter 19 have 239 / 256 0.660 * * * * [points]: Computing exacts for 17 points 0.663 * * * * [points]: Setting MPFR precision to 64 0.665 * * * * [points]: Setting MPFR precision to 320 0.666 * * * * [points]: Filtering points with unrepresentable outputs 0.666 * * * * [points]: Sampling 16 additional inputs, on iter 20 have 240 / 256 0.666 * * * * [points]: Computing exacts for 16 points 0.670 * * * * [points]: Setting MPFR precision to 64 0.671 * * * * [points]: Setting MPFR precision to 320 0.672 * * * * [points]: Filtering points with unrepresentable outputs 0.672 * * * * [points]: Sampling 14 additional inputs, on iter 21 have 242 / 256 0.672 * * * * [points]: Computing exacts for 14 points 0.676 * * * * [points]: Setting MPFR precision to 64 0.677 * * * * [points]: Setting MPFR precision to 320 0.678 * * * * [points]: Filtering points with unrepresentable outputs 0.678 * * * * [points]: Sampling 11 additional inputs, on iter 22 have 245 / 256 0.678 * * * * [points]: Computing exacts for 11 points 0.681 * * * * [points]: Setting MPFR precision to 64 0.682 * * * * [points]: Setting MPFR precision to 320 0.683 * * * * [points]: Filtering points with unrepresentable outputs 0.683 * * * * [points]: Sampling 10 additional inputs, on iter 23 have 246 / 256 0.683 * * * * [points]: Computing exacts for 10 points 0.687 * * * * [points]: Setting MPFR precision to 64 0.687 * * * * [points]: Setting MPFR precision to 320 0.688 * * * * [points]: Filtering points with unrepresentable outputs 0.688 * * * * [points]: Sampling 7 additional inputs, on iter 24 have 249 / 256 0.688 * * * * [points]: Computing exacts for 7 points 0.692 * * * * [points]: Setting MPFR precision to 64 0.692 * * * * [points]: Setting MPFR precision to 320 0.693 * * * * [points]: Filtering points with unrepresentable outputs 0.693 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256 0.693 * * * * [points]: Computing exacts for 6 points 0.697 * * * * [points]: Setting MPFR precision to 64 0.697 * * * * [points]: Setting MPFR precision to 320 0.698 * * * * [points]: Filtering points with unrepresentable outputs 0.698 * * * * [points]: Sampling 5 additional inputs, on iter 26 have 251 / 256 0.698 * * * * [points]: Computing exacts for 5 points 0.701 * * * * [points]: Setting MPFR precision to 64 0.702 * * * * [points]: Setting MPFR precision to 320 0.702 * * * * [points]: Filtering points with unrepresentable outputs 0.702 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256 0.702 * * * * [points]: Computing exacts for 4 points 0.706 * * * * [points]: Setting MPFR precision to 64 0.706 * * * * [points]: Setting MPFR precision to 320 0.707 * * * * [points]: Filtering points with unrepresentable outputs 0.707 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256 0.707 * * * * [points]: Computing exacts for 4 points 0.718 * * * * [points]: Setting MPFR precision to 64 0.718 * * * * [points]: Setting MPFR precision to 320 0.719 * * * * [points]: Filtering points with unrepresentable outputs 0.719 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256 0.719 * * * * [points]: Computing exacts for 4 points 0.722 * * * * [points]: Setting MPFR precision to 64 0.723 * * * * [points]: Setting MPFR precision to 320 0.723 * * * * [points]: Filtering points with unrepresentable outputs 0.723 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256 0.723 * * * * [points]: Computing exacts for 4 points 0.728 * * * * [points]: Setting MPFR precision to 64 0.729 * * * * [points]: Setting MPFR precision to 320 0.729 * * * * [points]: Filtering points with unrepresentable outputs 0.729 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256 0.729 * * * * [points]: Computing exacts for 4 points 0.733 * * * * [points]: Setting MPFR precision to 64 0.733 * * * * [points]: Setting MPFR precision to 320 0.733 * * * * [points]: Filtering points with unrepresentable outputs 0.733 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256 0.733 * * * * [points]: Computing exacts for 4 points 0.737 * * * * [points]: Setting MPFR precision to 64 0.737 * * * * [points]: Setting MPFR precision to 320 0.738 * * * * [points]: Filtering points with unrepresentable outputs 0.738 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256 0.738 * * * * [points]: Computing exacts for 4 points 0.741 * * * * [points]: Setting MPFR precision to 64 0.742 * * * * [points]: Setting MPFR precision to 320 0.742 * * * * [points]: Filtering points with unrepresentable outputs 0.742 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256 0.742 * * * * [points]: Computing exacts for 4 points 0.746 * * * * [points]: Setting MPFR precision to 64 0.746 * * * * [points]: Setting MPFR precision to 320 0.746 * * * * [points]: Filtering points with unrepresentable outputs 0.746 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256 0.746 * * * * [points]: Computing exacts for 4 points 0.750 * * * * [points]: Setting MPFR precision to 64 0.751 * * * * [points]: Setting MPFR precision to 320 0.751 * * * * [points]: Filtering points with unrepresentable outputs 0.751 * * * * [points]: Sampled 256 points with exact outputs 0.751 * * * [progress]: [2/2] Setting up program. 0.759 * [progress]: [Phase 2 of 3] Improving. 0.759 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # i)) (+.p16 (+.p16 alpha beta) (*.p16 # i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 # i)) (+.p16 (+.p16 alpha beta) (*.p16 # i))) #)))> 0.760 * [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 # i)) (+.p16 (+.p16 alpha beta) (*.p16 # i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 # i)) (+.p16 (+.p16 alpha beta) (*.p16 # i))) #)) 0.760 * * [simplify]: iteration 0: 27 enodes 0.781 * * [simplify]: iteration 1: 85 enodes 0.848 * * [simplify]: iteration 2: 373 enodes 1.217 * * [simplify]: iteration 3: 2195 enodes 2.204 * * [simplify]: iteration complete: 5031 enodes 2.204 * * [simplify]: Extracting #0: cost 1 inf + 0 2.204 * * [simplify]: Extracting #1: cost 65 inf + 0 2.205 * * [simplify]: Extracting #2: cost 493 inf + 1 2.209 * * [simplify]: Extracting #3: cost 1475 inf + 19956 2.221 * * [simplify]: Extracting #4: cost 1889 inf + 287587 2.279 * * [simplify]: Extracting #5: cost 879 inf + 1927465 2.392 * * [simplify]: Extracting #6: cost 133 inf + 3543727 2.530 * * [simplify]: Extracting #7: cost 0 inf + 3872607 2.671 * [simplify]: Simplified to: (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 i #)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 i #) (+.p16 alpha beta)) (+.p16 (+.p16 beta (*.p16 # i)) alpha)) #) (+.p16 (+.p16 alpha beta) (*.p16 i #))))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))