0.001 * [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.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.039 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.051 * * * * [points]: Computing exacts for 256 points
0.056 * * * * [points]: Setting MPFR precision to 64
0.079 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Filtering points with unrepresentable outputs
0.100 * * * * [points]: Sampling 229 additional inputs, on iter 1 have 27 / 256
0.101 * * * * [points]: Computing exacts on every 14 of 229 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Computing exacts on every 7 of 229 points to ramp up precision
0.136 * * * * [points]: Setting MPFR precision to 64
0.138 * * * * [points]: Setting MPFR precision to 320
0.140 * * * * [points]: Computing exacts on every 3 of 229 points to ramp up precision
0.146 * * * * [points]: Setting MPFR precision to 64
0.150 * * * * [points]: Setting MPFR precision to 320
0.154 * * * * [points]: Computing exacts for 229 points
0.159 * * * * [points]: Setting MPFR precision to 64
0.175 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Filtering points with unrepresentable outputs
0.196 * * * * [points]: Sampling 200 additional inputs, on iter 2 have 56 / 256
0.197 * * * * [points]: Computing exacts on every 12 of 200 points to ramp up precision
0.204 * * * * [points]: Setting MPFR precision to 64
0.206 * * * * [points]: Setting MPFR precision to 320
0.208 * * * * [points]: Computing exacts on every 6 of 200 points to ramp up precision
0.215 * * * * [points]: Setting MPFR precision to 64
0.218 * * * * [points]: Setting MPFR precision to 320
0.221 * * * * [points]: Computing exacts on every 3 of 200 points to ramp up precision
0.228 * * * * [points]: Setting MPFR precision to 64
0.233 * * * * [points]: Setting MPFR precision to 320
0.239 * * * * [points]: Computing exacts for 200 points
0.268 * * * * [points]: Setting MPFR precision to 64
0.294 * * * * [points]: Setting MPFR precision to 320
0.317 * * * * [points]: Filtering points with unrepresentable outputs
0.317 * * * * [points]: Sampling 173 additional inputs, on iter 3 have 83 / 256
0.318 * * * * [points]: Computing exacts on every 10 of 173 points to ramp up precision
0.325 * * * * [points]: Setting MPFR precision to 64
0.327 * * * * [points]: Setting MPFR precision to 320
0.329 * * * * [points]: Computing exacts on every 5 of 173 points to ramp up precision
0.336 * * * * [points]: Setting MPFR precision to 64
0.340 * * * * [points]: Setting MPFR precision to 320
0.343 * * * * [points]: Computing exacts on every 2 of 173 points to ramp up precision
0.350 * * * * [points]: Setting MPFR precision to 64
0.356 * * * * [points]: Setting MPFR precision to 320
0.363 * * * * [points]: Computing exacts for 173 points
0.370 * * * * [points]: Setting MPFR precision to 64
0.383 * * * * [points]: Setting MPFR precision to 320
0.401 * * * * [points]: Filtering points with unrepresentable outputs
0.401 * * * * [points]: Sampling 151 additional inputs, on iter 4 have 105 / 256
0.402 * * * * [points]: Computing exacts on every 9 of 151 points to ramp up precision
0.437 * * * * [points]: Setting MPFR precision to 64
0.440 * * * * [points]: Setting MPFR precision to 320
0.441 * * * * [points]: Computing exacts on every 4 of 151 points to ramp up precision
0.451 * * * * [points]: Setting MPFR precision to 64
0.455 * * * * [points]: Setting MPFR precision to 320
0.458 * * * * [points]: Computing exacts on every 2 of 151 points to ramp up precision
0.465 * * * * [points]: Setting MPFR precision to 64
0.471 * * * * [points]: Setting MPFR precision to 320
0.477 * * * * [points]: Computing exacts for 151 points
0.484 * * * * [points]: Setting MPFR precision to 64
0.502 * * * * [points]: Setting MPFR precision to 320
0.515 * * * * [points]: Filtering points with unrepresentable outputs
0.515 * * * * [points]: Sampling 125 additional inputs, on iter 5 have 131 / 256
0.516 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision
0.520 * * * * [points]: Setting MPFR precision to 64
0.522 * * * * [points]: Setting MPFR precision to 320
0.523 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision
0.527 * * * * [points]: Setting MPFR precision to 64
0.529 * * * * [points]: Setting MPFR precision to 320
0.532 * * * * [points]: Computing exacts for 125 points
0.536 * * * * [points]: Setting MPFR precision to 64
0.546 * * * * [points]: Setting MPFR precision to 320
0.573 * * * * [points]: Filtering points with unrepresentable outputs
0.573 * * * * [points]: Sampling 107 additional inputs, on iter 6 have 149 / 256
0.574 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
0.580 * * * * [points]: Setting MPFR precision to 64
0.582 * * * * [points]: Setting MPFR precision to 320
0.583 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
0.587 * * * * [points]: Setting MPFR precision to 64
0.589 * * * * [points]: Setting MPFR precision to 320
0.591 * * * * [points]: Computing exacts for 107 points
0.596 * * * * [points]: Setting MPFR precision to 64
0.603 * * * * [points]: Setting MPFR precision to 320
0.611 * * * * [points]: Filtering points with unrepresentable outputs
0.611 * * * * [points]: Sampling 94 additional inputs, on iter 7 have 162 / 256
0.612 * * * * [points]: Computing exacts on every 5 of 94 points to ramp up precision
0.616 * * * * [points]: Setting MPFR precision to 64
0.618 * * * * [points]: Setting MPFR precision to 320
0.619 * * * * [points]: Computing exacts on every 2 of 94 points to ramp up precision
0.623 * * * * [points]: Setting MPFR precision to 64
0.626 * * * * [points]: Setting MPFR precision to 320
0.628 * * * * [points]: Computing exacts for 94 points
0.632 * * * * [points]: Setting MPFR precision to 64
0.639 * * * * [points]: Setting MPFR precision to 320
0.646 * * * * [points]: Filtering points with unrepresentable outputs
0.646 * * * * [points]: Sampling 82 additional inputs, on iter 8 have 174 / 256
0.646 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
0.651 * * * * [points]: Setting MPFR precision to 64
0.652 * * * * [points]: Setting MPFR precision to 320
0.654 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
0.675 * * * * [points]: Setting MPFR precision to 64
0.677 * * * * [points]: Setting MPFR precision to 320
0.679 * * * * [points]: Computing exacts for 82 points
0.685 * * * * [points]: Setting MPFR precision to 64
0.692 * * * * [points]: Setting MPFR precision to 320
0.701 * * * * [points]: Filtering points with unrepresentable outputs
0.701 * * * * [points]: Sampling 71 additional inputs, on iter 9 have 185 / 256
0.701 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
0.709 * * * * [points]: Setting MPFR precision to 64
0.712 * * * * [points]: Setting MPFR precision to 320
0.713 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
0.722 * * * * [points]: Setting MPFR precision to 64
0.725 * * * * [points]: Setting MPFR precision to 320
0.729 * * * * [points]: Computing exacts for 71 points
0.737 * * * * [points]: Setting MPFR precision to 64
0.747 * * * * [points]: Setting MPFR precision to 320
0.756 * * * * [points]: Filtering points with unrepresentable outputs
0.757 * * * * [points]: Sampling 65 additional inputs, on iter 10 have 191 / 256
0.757 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.765 * * * * [points]: Setting MPFR precision to 64
0.767 * * * * [points]: Setting MPFR precision to 320
0.769 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.777 * * * * [points]: Setting MPFR precision to 64
0.779 * * * * [points]: Setting MPFR precision to 320
0.781 * * * * [points]: Computing exacts for 65 points
0.785 * * * * [points]: Setting MPFR precision to 64
0.790 * * * * [points]: Setting MPFR precision to 320
0.818 * * * * [points]: Filtering points with unrepresentable outputs
0.818 * * * * [points]: Sampling 56 additional inputs, on iter 11 have 200 / 256
0.818 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
0.826 * * * * [points]: Setting MPFR precision to 64
0.827 * * * * [points]: Setting MPFR precision to 320
0.828 * * * * [points]: Computing exacts for 56 points
0.832 * * * * [points]: Setting MPFR precision to 64
0.837 * * * * [points]: Setting MPFR precision to 320
0.841 * * * * [points]: Filtering points with unrepresentable outputs
0.841 * * * * [points]: Sampling 48 additional inputs, on iter 12 have 208 / 256
0.841 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
0.846 * * * * [points]: Setting MPFR precision to 64
0.847 * * * * [points]: Setting MPFR precision to 320
0.848 * * * * [points]: Computing exacts for 48 points
0.856 * * * * [points]: Setting MPFR precision to 64
0.863 * * * * [points]: Setting MPFR precision to 320
0.869 * * * * [points]: Filtering points with unrepresentable outputs
0.869 * * * * [points]: Sampling 42 additional inputs, on iter 13 have 214 / 256
0.869 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
0.877 * * * * [points]: Setting MPFR precision to 64
0.879 * * * * [points]: Setting MPFR precision to 320
0.881 * * * * [points]: Computing exacts for 42 points
0.888 * * * * [points]: Setting MPFR precision to 64
0.894 * * * * [points]: Setting MPFR precision to 320
0.900 * * * * [points]: Filtering points with unrepresentable outputs
0.900 * * * * [points]: Sampling 38 additional inputs, on iter 14 have 218 / 256
0.900 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.908 * * * * [points]: Setting MPFR precision to 64
0.909 * * * * [points]: Setting MPFR precision to 320
0.911 * * * * [points]: Computing exacts for 38 points
0.918 * * * * [points]: Setting MPFR precision to 64
0.923 * * * * [points]: Setting MPFR precision to 320
0.928 * * * * [points]: Filtering points with unrepresentable outputs
0.928 * * * * [points]: Sampling 34 additional inputs, on iter 15 have 222 / 256
0.928 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
0.954 * * * * [points]: Setting MPFR precision to 64
0.955 * * * * [points]: Setting MPFR precision to 320
0.956 * * * * [points]: Computing exacts for 34 points
0.960 * * * * [points]: Setting MPFR precision to 64
0.964 * * * * [points]: Setting MPFR precision to 320
0.968 * * * * [points]: Filtering points with unrepresentable outputs
0.968 * * * * [points]: Sampling 30 additional inputs, on iter 16 have 226 / 256
0.969 * * * * [points]: Computing exacts for 30 points
0.977 * * * * [points]: Setting MPFR precision to 64
0.981 * * * * [points]: Setting MPFR precision to 320
0.983 * * * * [points]: Filtering points with unrepresentable outputs
0.983 * * * * [points]: Sampling 27 additional inputs, on iter 17 have 229 / 256
0.983 * * * * [points]: Computing exacts for 27 points
0.987 * * * * [points]: Setting MPFR precision to 64
0.989 * * * * [points]: Setting MPFR precision to 320
0.991 * * * * [points]: Filtering points with unrepresentable outputs
0.991 * * * * [points]: Sampling 23 additional inputs, on iter 18 have 233 / 256
0.991 * * * * [points]: Computing exacts for 23 points
0.996 * * * * [points]: Setting MPFR precision to 64
0.998 * * * * [points]: Setting MPFR precision to 320
1.000 * * * * [points]: Filtering points with unrepresentable outputs
1.000 * * * * [points]: Sampling 23 additional inputs, on iter 19 have 233 / 256
1.000 * * * * [points]: Computing exacts for 23 points
1.005 * * * * [points]: Setting MPFR precision to 64
1.006 * * * * [points]: Setting MPFR precision to 320
1.008 * * * * [points]: Filtering points with unrepresentable outputs
1.008 * * * * [points]: Sampling 18 additional inputs, on iter 20 have 238 / 256
1.008 * * * * [points]: Computing exacts for 18 points
1.017 * * * * [points]: Setting MPFR precision to 64
1.019 * * * * [points]: Setting MPFR precision to 320
1.021 * * * * [points]: Filtering points with unrepresentable outputs
1.022 * * * * [points]: Sampling 16 additional inputs, on iter 21 have 240 / 256
1.022 * * * * [points]: Computing exacts for 16 points
1.030 * * * * [points]: Setting MPFR precision to 64
1.032 * * * * [points]: Setting MPFR precision to 320
1.035 * * * * [points]: Filtering points with unrepresentable outputs
1.035 * * * * [points]: Sampling 14 additional inputs, on iter 22 have 242 / 256
1.035 * * * * [points]: Computing exacts for 14 points
1.040 * * * * [points]: Setting MPFR precision to 64
1.041 * * * * [points]: Setting MPFR precision to 320
1.042 * * * * [points]: Filtering points with unrepresentable outputs
1.043 * * * * [points]: Sampling 14 additional inputs, on iter 23 have 242 / 256
1.043 * * * * [points]: Computing exacts for 14 points
1.047 * * * * [points]: Setting MPFR precision to 64
1.064 * * * * [points]: Setting MPFR precision to 320
1.066 * * * * [points]: Filtering points with unrepresentable outputs
1.066 * * * * [points]: Sampling 12 additional inputs, on iter 24 have 244 / 256
1.066 * * * * [points]: Computing exacts for 12 points
1.074 * * * * [points]: Setting MPFR precision to 64
1.076 * * * * [points]: Setting MPFR precision to 320
1.078 * * * * [points]: Filtering points with unrepresentable outputs
1.078 * * * * [points]: Sampling 11 additional inputs, on iter 25 have 245 / 256
1.078 * * * * [points]: Computing exacts for 11 points
1.087 * * * * [points]: Setting MPFR precision to 64
1.088 * * * * [points]: Setting MPFR precision to 320
1.090 * * * * [points]: Filtering points with unrepresentable outputs
1.090 * * * * [points]: Sampling 10 additional inputs, on iter 26 have 246 / 256
1.090 * * * * [points]: Computing exacts for 10 points
1.097 * * * * [points]: Setting MPFR precision to 64
1.098 * * * * [points]: Setting MPFR precision to 320
1.099 * * * * [points]: Filtering points with unrepresentable outputs
1.099 * * * * [points]: Sampling 7 additional inputs, on iter 27 have 249 / 256
1.099 * * * * [points]: Computing exacts for 7 points
1.103 * * * * [points]: Setting MPFR precision to 64
1.104 * * * * [points]: Setting MPFR precision to 320
1.105 * * * * [points]: Filtering points with unrepresentable outputs
1.105 * * * * [points]: Sampling 6 additional inputs, on iter 28 have 250 / 256
1.105 * * * * [points]: Computing exacts for 6 points
1.109 * * * * [points]: Setting MPFR precision to 64
1.110 * * * * [points]: Setting MPFR precision to 320
1.110 * * * * [points]: Filtering points with unrepresentable outputs
1.110 * * * * [points]: Sampling 6 additional inputs, on iter 29 have 250 / 256
1.110 * * * * [points]: Computing exacts for 6 points
1.115 * * * * [points]: Setting MPFR precision to 64
1.115 * * * * [points]: Setting MPFR precision to 320
1.116 * * * * [points]: Filtering points with unrepresentable outputs
1.116 * * * * [points]: Sampling 6 additional inputs, on iter 30 have 250 / 256
1.116 * * * * [points]: Computing exacts for 6 points
1.120 * * * * [points]: Setting MPFR precision to 64
1.121 * * * * [points]: Setting MPFR precision to 320
1.121 * * * * [points]: Filtering points with unrepresentable outputs
1.121 * * * * [points]: Sampling 6 additional inputs, on iter 31 have 250 / 256
1.121 * * * * [points]: Computing exacts for 6 points
1.125 * * * * [points]: Setting MPFR precision to 64
1.126 * * * * [points]: Setting MPFR precision to 320
1.126 * * * * [points]: Filtering points with unrepresentable outputs
1.127 * * * * [points]: Sampling 6 additional inputs, on iter 32 have 250 / 256
1.127 * * * * [points]: Computing exacts for 6 points
1.131 * * * * [points]: Setting MPFR precision to 64
1.132 * * * * [points]: Setting MPFR precision to 320
1.132 * * * * [points]: Filtering points with unrepresentable outputs
1.133 * * * * [points]: Sampling 6 additional inputs, on iter 33 have 250 / 256
1.133 * * * * [points]: Computing exacts for 6 points
1.137 * * * * [points]: Setting MPFR precision to 64
1.138 * * * * [points]: Setting MPFR precision to 320
1.138 * * * * [points]: Filtering points with unrepresentable outputs
1.138 * * * * [points]: Sampling 6 additional inputs, on iter 34 have 250 / 256
1.138 * * * * [points]: Computing exacts for 6 points
1.144 * * * * [points]: Setting MPFR precision to 64
1.145 * * * * [points]: Setting MPFR precision to 320
1.146 * * * * [points]: Filtering points with unrepresentable outputs
1.146 * * * * [points]: Sampling 6 additional inputs, on iter 35 have 250 / 256
1.146 * * * * [points]: Computing exacts for 6 points
1.169 * * * * [points]: Setting MPFR precision to 64
1.171 * * * * [points]: Setting MPFR precision to 320
1.172 * * * * [points]: Filtering points with unrepresentable outputs
1.172 * * * * [points]: Sampling 5 additional inputs, on iter 36 have 251 / 256
1.172 * * * * [points]: Computing exacts for 5 points
1.180 * * * * [points]: Setting MPFR precision to 64
1.181 * * * * [points]: Setting MPFR precision to 320
1.182 * * * * [points]: Filtering points with unrepresentable outputs
1.182 * * * * [points]: Sampling 5 additional inputs, on iter 37 have 251 / 256
1.182 * * * * [points]: Computing exacts for 5 points
1.190 * * * * [points]: Setting MPFR precision to 64
1.190 * * * * [points]: Setting MPFR precision to 320
1.191 * * * * [points]: Filtering points with unrepresentable outputs
1.191 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 252 / 256
1.191 * * * * [points]: Computing exacts for 4 points
1.195 * * * * [points]: Setting MPFR precision to 64
1.195 * * * * [points]: Setting MPFR precision to 320
1.196 * * * * [points]: Filtering points with unrepresentable outputs
1.196 * * * * [points]: Sampling 4 additional inputs, on iter 39 have 252 / 256
1.196 * * * * [points]: Computing exacts for 4 points
1.200 * * * * [points]: Setting MPFR precision to 64
1.200 * * * * [points]: Setting MPFR precision to 320
1.201 * * * * [points]: Filtering points with unrepresentable outputs
1.201 * * * * [points]: Sampling 4 additional inputs, on iter 40 have 252 / 256
1.201 * * * * [points]: Computing exacts for 4 points
1.205 * * * * [points]: Setting MPFR precision to 64
1.206 * * * * [points]: Setting MPFR precision to 320
1.206 * * * * [points]: Filtering points with unrepresentable outputs
1.206 * * * * [points]: Sampling 4 additional inputs, on iter 41 have 254 / 256
1.206 * * * * [points]: Computing exacts for 4 points
1.210 * * * * [points]: Setting MPFR precision to 64
1.211 * * * * [points]: Setting MPFR precision to 320
1.211 * * * * [points]: Filtering points with unrepresentable outputs
1.211 * * * * [points]: Sampling 4 additional inputs, on iter 42 have 254 / 256
1.211 * * * * [points]: Computing exacts for 4 points
1.215 * * * * [points]: Setting MPFR precision to 64
1.216 * * * * [points]: Setting MPFR precision to 320
1.216 * * * * [points]: Filtering points with unrepresentable outputs
1.216 * * * * [points]: Sampling 4 additional inputs, on iter 43 have 254 / 256
1.216 * * * * [points]: Computing exacts for 4 points
1.220 * * * * [points]: Setting MPFR precision to 64
1.221 * * * * [points]: Setting MPFR precision to 320
1.222 * * * * [points]: Filtering points with unrepresentable outputs
1.222 * * * * [points]: Sampling 4 additional inputs, on iter 44 have 254 / 256
1.222 * * * * [points]: Computing exacts for 4 points
1.230 * * * * [points]: Setting MPFR precision to 64
1.231 * * * * [points]: Setting MPFR precision to 320
1.232 * * * * [points]: Filtering points with unrepresentable outputs
1.232 * * * * [points]: Sampling 4 additional inputs, on iter 45 have 254 / 256
1.232 * * * * [points]: Computing exacts for 4 points
1.240 * * * * [points]: Setting MPFR precision to 64
1.241 * * * * [points]: Setting MPFR precision to 320
1.242 * * * * [points]: Filtering points with unrepresentable outputs
1.242 * * * * [points]: Sampling 4 additional inputs, on iter 46 have 255 / 256
1.242 * * * * [points]: Computing exacts for 4 points
1.250 * * * * [points]: Setting MPFR precision to 64
1.250 * * * * [points]: Setting MPFR precision to 320
1.251 * * * * [points]: Filtering points with unrepresentable outputs
1.251 * * * * [points]: Sampling 4 additional inputs, on iter 47 have 255 / 256
1.251 * * * * [points]: Computing exacts for 4 points
1.264 * * * * [points]: Setting MPFR precision to 64
1.265 * * * * [points]: Setting MPFR precision to 320
1.265 * * * * [points]: Filtering points with unrepresentable outputs
1.265 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 255 / 256
1.265 * * * * [points]: Computing exacts for 4 points
1.270 * * * * [points]: Setting MPFR precision to 64
1.271 * * * * [points]: Setting MPFR precision to 320
1.271 * * * * [points]: Filtering points with unrepresentable outputs
1.271 * * * * [points]: Sampled 256 points with exact outputs
1.271 * * * [progress]: [2/2] Setting up program.
1.293 * [progress]: [Phase 2 of 3] Improving.
1.293 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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))))>
1.294 * [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)))
1.294 * * [simplify]: iters left: 6 (19 enodes)
1.304 * * [simplify]: iters left: 5 (76 enodes)
1.345 * * [simplify]: iters left: 4 (344 enodes)
1.601 * * [simplify]: Extracting #0: cost 1 inf + 0
1.601 * * [simplify]: Extracting #1: cost 75 inf + 0
1.603 * * [simplify]: Extracting #2: cost 474 inf + 1
1.608 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.621 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.638 * * [simplify]: Extracting #5: cost 611 inf + 190357
1.656 * * [simplify]: Extracting #6: cost 583 inf + 205484
1.688 * * [simplify]: Extracting #7: cost 359 inf + 460450
1.743 * * [simplify]: Extracting #8: cost 52 inf + 927410
1.832 * * [simplify]: Extracting #9: cost 0 inf + 1029213
1.922 * * [simplify]: Extracting #10: cost 0 inf + 1027693
2.009 * [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))))
2.009 * [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)))))
2.054 * * [progress]: iteration 1 / 4
2.054 * * * [progress]: picking best candidate
2.107 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.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))))>
2.107 * * * [progress]: localizing error
2.527 * * * [progress]: generating rewritten candidates
2.527 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.534 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.544 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.550 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.570 * * * [progress]: generating series expansions
2.570 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.571 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.571 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.571 * * * [progress]: simplifying candidates
2.571 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (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 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))))>
2.571 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
2.571 * * [simplify]: iters left: 3 (8 enodes)
2.575 * * [simplify]: iters left: 2 (20 enodes)
2.580 * * [simplify]: iters left: 1 (26 enodes)
2.586 * * [simplify]: Extracting #0: cost 1 inf + 0
2.586 * * [simplify]: Extracting #1: cost 7 inf + 0
2.586 * * [simplify]: Extracting #2: cost 7 inf + 2
2.586 * * [simplify]: Extracting #3: cost 6 inf + 45
2.587 * * [simplify]: Extracting #4: cost 4 inf + 47
2.587 * * [simplify]: Extracting #5: cost 1 inf + 1136
2.587 * * [simplify]: Extracting #6: cost 0 inf + 1499
2.587 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
2.587 * [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))))
2.587 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.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))) (+.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))))>
2.588 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
2.588 * * [simplify]: iters left: 3 (6 enodes)
2.590 * * [simplify]: iters left: 2 (22 enodes)
2.594 * * [simplify]: iters left: 1 (42 enodes)
2.601 * * [simplify]: Extracting #0: cost 1 inf + 0
2.601 * * [simplify]: Extracting #1: cost 12 inf + 0
2.601 * * [simplify]: Extracting #2: cost 16 inf + 1
2.604 * * [simplify]: Extracting #3: cost 9 inf + 1412
2.605 * * [simplify]: Extracting #4: cost 0 inf + 4393
2.605 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
2.605 * [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))))
2.605 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (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 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))))>
2.605 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.605 * * [simplify]: iters left: 4 (11 enodes)
2.608 * * [simplify]: iters left: 3 (34 enodes)
2.615 * * [simplify]: iters left: 2 (62 enodes)
2.626 * * [simplify]: iters left: 1 (116 enodes)
2.652 * * [simplify]: Extracting #0: cost 1 inf + 0
2.652 * * [simplify]: Extracting #1: cost 18 inf + 0
2.652 * * [simplify]: Extracting #2: cost 32 inf + 1
2.652 * * [simplify]: Extracting #3: cost 28 inf + 688
2.653 * * [simplify]: Extracting #4: cost 20 inf + 2471
2.654 * * [simplify]: Extracting #5: cost 11 inf + 5213
2.655 * * [simplify]: Extracting #6: cost 0 inf + 16616
2.657 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
2.657 * [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))))
2.658 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.658 * * [simplify]: iters left: 5 (13 enodes)
2.663 * * [simplify]: iters left: 4 (36 enodes)
2.674 * * [simplify]: iters left: 3 (69 enodes)
2.693 * * [simplify]: iters left: 2 (108 enodes)
2.721 * * [simplify]: iters left: 1 (142 enodes)
2.740 * * [simplify]: Extracting #0: cost 1 inf + 0
2.740 * * [simplify]: Extracting #1: cost 3 inf + 0
2.740 * * [simplify]: Extracting #2: cost 25 inf + 0
2.740 * * [simplify]: Extracting #3: cost 26 inf + 2
2.741 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.741 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.742 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.743 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.743 * [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))))
2.743 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
2.743 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
2.743 * * [simplify]: iters left: 4 (11 enodes)
2.746 * * [simplify]: iters left: 3 (33 enodes)
2.754 * * [simplify]: iters left: 2 (87 enodes)
2.782 * * [simplify]: iters left: 1 (455 enodes)
3.270 * * [simplify]: Extracting #0: cost 1 inf + 0
3.270 * * [simplify]: Extracting #1: cost 38 inf + 0
3.271 * * [simplify]: Extracting #2: cost 349 inf + 2
3.276 * * [simplify]: Extracting #3: cost 1015 inf + 2069
3.293 * * [simplify]: Extracting #4: cost 974 inf + 36877
3.320 * * [simplify]: Extracting #5: cost 686 inf + 251010
3.394 * * [simplify]: Extracting #6: cost 123 inf + 839954
3.504 * * [simplify]: Extracting #7: cost 0 inf + 991791
3.618 * * [simplify]: Extracting #8: cost 0 inf + 989631
3.706 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
3.706 * [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))))
3.706 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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))) (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))))))>
3.706 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.706 * * [simplify]: iters left: 4 (11 enodes)
3.709 * * [simplify]: iters left: 3 (34 enodes)
3.716 * * [simplify]: iters left: 2 (62 enodes)
3.727 * * [simplify]: iters left: 1 (116 enodes)
3.751 * * [simplify]: Extracting #0: cost 1 inf + 0
3.751 * * [simplify]: Extracting #1: cost 18 inf + 0
3.752 * * [simplify]: Extracting #2: cost 32 inf + 1
3.752 * * [simplify]: Extracting #3: cost 28 inf + 688
3.753 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.753 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.755 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.756 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.756 * [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))))))
3.756 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
3.756 * [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))
3.757 * * [simplify]: iters left: 5 (12 enodes)
3.760 * * [simplify]: iters left: 4 (32 enodes)
3.766 * * [simplify]: iters left: 3 (90 enodes)
3.794 * * [simplify]: iters left: 2 (378 enodes)
4.109 * * [simplify]: Extracting #0: cost 1 inf + 0
4.110 * * [simplify]: Extracting #1: cost 90 inf + 0
4.111 * * [simplify]: Extracting #2: cost 388 inf + 0
4.113 * * [simplify]: Extracting #3: cost 380 inf + 3950
4.118 * * [simplify]: Extracting #4: cost 272 inf + 84531
4.139 * * [simplify]: Extracting #5: cost 20 inf + 357988
4.184 * * [simplify]: Extracting #6: cost 0 inf + 384165
4.224 * [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))))
4.224 * [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))))))
4.224 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
4.224 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
4.224 * * [simplify]: iters left: 5 (9 enodes)
4.226 * * [simplify]: iters left: 4 (35 enodes)
4.236 * * [simplify]: iters left: 3 (128 enodes)
4.299 * * [simplify]: Extracting #0: cost 1 inf + 0
4.299 * * [simplify]: Extracting #1: cost 39 inf + 0
4.299 * * [simplify]: Extracting #2: cost 167 inf + 1
4.301 * * [simplify]: Extracting #3: cost 185 inf + 9642
4.305 * * [simplify]: Extracting #4: cost 54 inf + 131260
4.313 * * [simplify]: Extracting #5: cost 0 inf + 183768
4.321 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
4.321 * [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))))))
4.321 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (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 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)))))>
4.321 * [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)))
4.322 * * [simplify]: iters left: 5 (15 enodes)
4.328 * * [simplify]: iters left: 4 (44 enodes)
4.337 * * [simplify]: iters left: 3 (112 enodes)
4.373 * * [simplify]: iters left: 2 (473 enodes)
4.733 * * [simplify]: Extracting #0: cost 1 inf + 0
4.733 * * [simplify]: Extracting #1: cost 35 inf + 0
4.734 * * [simplify]: Extracting #2: cost 286 inf + 1
4.738 * * [simplify]: Extracting #3: cost 529 inf + 4158
4.742 * * [simplify]: Extracting #4: cost 531 inf + 7620
4.746 * * [simplify]: Extracting #5: cost 474 inf + 34154
4.770 * * [simplify]: Extracting #6: cost 203 inf + 247830
4.827 * * [simplify]: Extracting #7: cost 17 inf + 434257
4.876 * * [simplify]: Extracting #8: cost 0 inf + 455708
4.940 * [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))))
4.941 * [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)))))
4.941 * [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)))
4.941 * * [simplify]: iters left: 6 (17 enodes)
4.948 * * [simplify]: iters left: 5 (52 enodes)
4.967 * * [simplify]: iters left: 4 (154 enodes)
5.053 * * [simplify]: Extracting #0: cost 1 inf + 0
5.053 * * [simplify]: Extracting #1: cost 27 inf + 0
5.053 * * [simplify]: Extracting #2: cost 137 inf + 0
5.055 * * [simplify]: Extracting #3: cost 277 inf + 366
5.056 * * [simplify]: Extracting #4: cost 285 inf + 5479
5.059 * * [simplify]: Extracting #5: cost 253 inf + 13586
5.063 * * [simplify]: Extracting #6: cost 206 inf + 39659
5.081 * * [simplify]: Extracting #7: cost 38 inf + 215233
5.107 * * [simplify]: Extracting #8: cost 0 inf + 248609
5.133 * * [simplify]: Extracting #9: cost 0 inf + 244529
5.149 * * [simplify]: Extracting #10: cost 0 inf + 244169
5.166 * [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)))))
5.166 * [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)))))))
5.166 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (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))))>
5.167 * [simplify]: Simplifying (*.p16 i i)
5.167 * * [simplify]: iters left: 1 (2 enodes)
5.167 * * [simplify]: Extracting #0: cost 1 inf + 0
5.167 * * [simplify]: Extracting #1: cost 2 inf + 0
5.167 * * [simplify]: Extracting #2: cost 1 inf + 1
5.167 * * [simplify]: Extracting #3: cost 0 inf + 322
5.167 * [simplify]: Simplified to (*.p16 i i)
5.167 * [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))))
5.167 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (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))))>
5.168 * [simplify]: Simplifying (*.p16 i i)
5.168 * * [simplify]: iters left: 1 (2 enodes)
5.168 * * [simplify]: Extracting #0: cost 1 inf + 0
5.168 * * [simplify]: Extracting #1: cost 2 inf + 0
5.168 * * [simplify]: Extracting #2: cost 1 inf + 1
5.168 * * [simplify]: Extracting #3: cost 0 inf + 322
5.168 * [simplify]: Simplified to (*.p16 i i)
5.168 * [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))))
5.168 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 beta alpha))) (*.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))))>
5.168 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.169 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))
5.169 * * [simplify]: iters left: 4 (9 enodes)
5.171 * * [simplify]: iters left: 3 (24 enodes)
5.175 * * [simplify]: iters left: 2 (49 enodes)
5.190 * * [simplify]: iters left: 1 (143 enodes)
5.269 * * [simplify]: Extracting #0: cost 1 inf + 0
5.269 * * [simplify]: Extracting #1: cost 22 inf + 0
5.269 * * [simplify]: Extracting #2: cost 47 inf + 1
5.270 * * [simplify]: Extracting #3: cost 41 inf + 1654
5.272 * * [simplify]: Extracting #4: cost 15 inf + 14850
5.275 * * [simplify]: Extracting #5: cost 0 inf + 23265
5.278 * * [simplify]: Extracting #6: cost 0 inf + 22945
5.282 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
5.282 * [simplify]: Simplified (2 2 1 2) to (λ (alpha beta i) (/.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 alpha beta)) (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))
5.282 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
5.283 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
5.283 * * [simplify]: iters left: 4 (9 enodes)
5.287 * * [simplify]: iters left: 3 (29 enodes)
5.298 * * [simplify]: iters left: 2 (81 enodes)
5.336 * * [simplify]: iters left: 1 (197 enodes)
5.438 * * [simplify]: Extracting #0: cost 1 inf + 0
5.439 * * [simplify]: Extracting #1: cost 23 inf + 0
5.439 * * [simplify]: Extracting #2: cost 60 inf + 1
5.439 * * [simplify]: Extracting #3: cost 53 inf + 690
5.441 * * [simplify]: Extracting #4: cost 24 inf + 17061
5.446 * * [simplify]: Extracting #5: cost 0 inf + 36858
5.450 * [simplify]: Simplified to (*.p16 (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))) (*.p16 i (real->posit16 2)))
5.450 * [simplify]: Simplified (2 2 1 2) to (λ (alpha beta i) (/.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))
5.450 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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))))>
5.450 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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))))>
5.451 * [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)))
5.451 * * [simplify]: iters left: 6 (19 enodes)
5.460 * * [simplify]: iters left: 5 (76 enodes)
5.502 * * [simplify]: iters left: 4 (344 enodes)
5.704 * * [simplify]: Extracting #0: cost 1 inf + 0
5.704 * * [simplify]: Extracting #1: cost 75 inf + 0
5.705 * * [simplify]: Extracting #2: cost 474 inf + 1
5.708 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.718 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.744 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.765 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.806 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.861 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.924 * * [simplify]: Extracting #9: cost 0 inf + 1029213
5.987 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.045 * [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))))
6.045 * [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)))))
6.045 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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))))>
6.045 * [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)))
6.045 * * [simplify]: iters left: 6 (19 enodes)
6.051 * * [simplify]: iters left: 5 (76 enodes)
6.087 * * [simplify]: iters left: 4 (344 enodes)
6.344 * * [simplify]: Extracting #0: cost 1 inf + 0
6.344 * * [simplify]: Extracting #1: cost 75 inf + 0
6.345 * * [simplify]: Extracting #2: cost 474 inf + 1
6.355 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.370 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.391 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.414 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.457 * * [simplify]: Extracting #7: cost 359 inf + 460450
6.541 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.619 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.680 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.767 * [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))))
6.767 * [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)))))
6.767 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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))))>
6.768 * [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)))
6.768 * * [simplify]: iters left: 6 (19 enodes)
6.776 * * [simplify]: iters left: 5 (76 enodes)
6.813 * * [simplify]: iters left: 4 (344 enodes)
7.027 * * [simplify]: Extracting #0: cost 1 inf + 0
7.027 * * [simplify]: Extracting #1: cost 75 inf + 0
7.028 * * [simplify]: Extracting #2: cost 474 inf + 1
7.032 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.041 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.051 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.063 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.099 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.185 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.267 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.343 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.407 * [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))))
7.407 * [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)))))
7.408 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.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))))>
7.408 * [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)))
7.408 * * [simplify]: iters left: 6 (19 enodes)
7.418 * * [simplify]: iters left: 5 (76 enodes)
7.459 * * [simplify]: iters left: 4 (344 enodes)
7.694 * * [simplify]: Extracting #0: cost 1 inf + 0
7.694 * * [simplify]: Extracting #1: cost 75 inf + 0
7.696 * * [simplify]: Extracting #2: cost 474 inf + 1
7.702 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.710 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.720 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.735 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.762 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.852 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.940 * * [simplify]: Extracting #9: cost 0 inf + 1029213
8.011 * * [simplify]: Extracting #10: cost 0 inf + 1027693
8.084 * [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))))
8.084 * [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)))))
8.084 * * * [progress]: adding candidates to table
8.783 * * [progress]: iteration 2 / 4
8.783 * * * [progress]: picking best candidate
9.003 * * * * [pick]: Picked  #<alt (λ (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 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)))))>
9.003 * * * [progress]: localizing error
9.354 * * * [progress]: generating rewritten candidates
9.354 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
9.376 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
9.385 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.408 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.470 * * * [progress]: generating series expansions
9.470 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
9.470 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
9.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.470 * * * [progress]: simplifying candidates
9.471 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
9.471 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.471 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
9.471 * * [simplify]: iters left: 4 (11 enodes)
9.477 * * [simplify]: iters left: 3 (27 enodes)
9.486 * * [simplify]: iters left: 2 (47 enodes)
9.497 * * [simplify]: iters left: 1 (76 enodes)
9.509 * * [simplify]: Extracting #0: cost 1 inf + 0
9.509 * * [simplify]: Extracting #1: cost 16 inf + 0
9.509 * * [simplify]: Extracting #2: cost 17 inf + 2
9.510 * * [simplify]: Extracting #3: cost 13 inf + 89
9.510 * * [simplify]: Extracting #4: cost 9 inf + 298
9.510 * * [simplify]: Extracting #5: cost 1 inf + 2963
9.511 * * [simplify]: Extracting #6: cost 0 inf + 3367
9.511 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
9.511 * [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)))))
9.512 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (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 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))))))>
9.512 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
9.512 * * [simplify]: iters left: 4 (8 enodes)
9.514 * * [simplify]: iters left: 3 (26 enodes)
9.519 * * [simplify]: iters left: 2 (53 enodes)
9.530 * * [simplify]: iters left: 1 (91 enodes)
9.556 * * [simplify]: Extracting #0: cost 1 inf + 0
9.556 * * [simplify]: Extracting #1: cost 24 inf + 0
9.557 * * [simplify]: Extracting #2: cost 31 inf + 0
9.557 * * [simplify]: Extracting #3: cost 26 inf + 366
9.558 * * [simplify]: Extracting #4: cost 9 inf + 8250
9.559 * * [simplify]: Extracting #5: cost 0 inf + 15077
9.561 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
9.561 * [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))))))
9.561 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.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)))) (/.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)))))>
9.562 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
9.562 * * [simplify]: iters left: 3 (6 enodes)
9.565 * * [simplify]: iters left: 2 (22 enodes)
9.572 * * [simplify]: iters left: 1 (42 enodes)
9.585 * * [simplify]: Extracting #0: cost 1 inf + 0
9.586 * * [simplify]: Extracting #1: cost 12 inf + 0
9.586 * * [simplify]: Extracting #2: cost 16 inf + 1
9.586 * * [simplify]: Extracting #3: cost 9 inf + 1412
9.587 * * [simplify]: Extracting #4: cost 0 inf + 4393
9.587 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
9.587 * [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)))))
9.587 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
9.588 * [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)))
9.588 * * [simplify]: iters left: 5 (15 enodes)
9.595 * * [simplify]: iters left: 4 (44 enodes)
9.612 * * [simplify]: iters left: 3 (112 enodes)
9.655 * * [simplify]: iters left: 2 (473 enodes)
9.990 * * [simplify]: Extracting #0: cost 1 inf + 0
9.990 * * [simplify]: Extracting #1: cost 35 inf + 0
9.991 * * [simplify]: Extracting #2: cost 286 inf + 1
9.994 * * [simplify]: Extracting #3: cost 529 inf + 4158
9.999 * * [simplify]: Extracting #4: cost 531 inf + 7620
10.006 * * [simplify]: Extracting #5: cost 474 inf + 34154
10.031 * * [simplify]: Extracting #6: cost 203 inf + 247830
10.077 * * [simplify]: Extracting #7: cost 17 inf + 434257
10.123 * * [simplify]: Extracting #8: cost 0 inf + 455708
10.165 * [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))))
10.165 * [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)))))
10.165 * [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)))
10.165 * * [simplify]: iters left: 6 (17 enodes)
10.170 * * [simplify]: iters left: 5 (52 enodes)
10.181 * * [simplify]: iters left: 4 (154 enodes)
10.235 * * [simplify]: Extracting #0: cost 1 inf + 0
10.235 * * [simplify]: Extracting #1: cost 27 inf + 0
10.235 * * [simplify]: Extracting #2: cost 137 inf + 0
10.236 * * [simplify]: Extracting #3: cost 277 inf + 366
10.237 * * [simplify]: Extracting #4: cost 285 inf + 5479
10.239 * * [simplify]: Extracting #5: cost 253 inf + 13586
10.241 * * [simplify]: Extracting #6: cost 206 inf + 39659
10.252 * * [simplify]: Extracting #7: cost 38 inf + 215233
10.270 * * [simplify]: Extracting #8: cost 0 inf + 248609
10.287 * * [simplify]: Extracting #9: cost 0 inf + 244529
10.303 * * [simplify]: Extracting #10: cost 0 inf + 244169
10.320 * [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)))))
10.320 * [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)))))))
10.320 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
10.320 * [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)))
10.320 * * [simplify]: iters left: 5 (15 enodes)
10.324 * * [simplify]: iters left: 4 (44 enodes)
10.333 * * [simplify]: iters left: 3 (112 enodes)
10.368 * * [simplify]: iters left: 2 (473 enodes)
10.673 * * [simplify]: Extracting #0: cost 1 inf + 0
10.673 * * [simplify]: Extracting #1: cost 35 inf + 0
10.673 * * [simplify]: Extracting #2: cost 286 inf + 1
10.676 * * [simplify]: Extracting #3: cost 529 inf + 4158
10.678 * * [simplify]: Extracting #4: cost 531 inf + 7620
10.683 * * [simplify]: Extracting #5: cost 474 inf + 34154
10.960 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.000 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.048 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.089 * [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))))
11.089 * [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)))))
11.089 * [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)))
11.089 * * [simplify]: iters left: 6 (17 enodes)
11.095 * * [simplify]: iters left: 5 (52 enodes)
11.107 * * [simplify]: iters left: 4 (154 enodes)
11.159 * * [simplify]: Extracting #0: cost 1 inf + 0
11.159 * * [simplify]: Extracting #1: cost 27 inf + 0
11.160 * * [simplify]: Extracting #2: cost 137 inf + 0
11.160 * * [simplify]: Extracting #3: cost 277 inf + 366
11.162 * * [simplify]: Extracting #4: cost 285 inf + 5479
11.163 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.168 * * [simplify]: Extracting #6: cost 206 inf + 39659
11.180 * * [simplify]: Extracting #7: cost 38 inf + 215233
11.207 * * [simplify]: Extracting #8: cost 0 inf + 248609
11.223 * * [simplify]: Extracting #9: cost 0 inf + 244529
11.239 * * [simplify]: Extracting #10: cost 0 inf + 244169
11.255 * [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)))))
11.255 * [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)))))))
11.255 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
11.255 * [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)))
11.255 * * [simplify]: iters left: 5 (15 enodes)
11.259 * * [simplify]: iters left: 4 (44 enodes)
11.268 * * [simplify]: iters left: 3 (112 enodes)
11.298 * * [simplify]: iters left: 2 (473 enodes)
11.659 * * [simplify]: Extracting #0: cost 1 inf + 0
11.659 * * [simplify]: Extracting #1: cost 35 inf + 0
11.660 * * [simplify]: Extracting #2: cost 286 inf + 1
11.665 * * [simplify]: Extracting #3: cost 529 inf + 4158
11.670 * * [simplify]: Extracting #4: cost 531 inf + 7620
11.678 * * [simplify]: Extracting #5: cost 474 inf + 34154
11.694 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.738 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.807 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.887 * [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))))
11.887 * [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)))))
11.887 * [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)))
11.888 * * [simplify]: iters left: 6 (17 enodes)
11.896 * * [simplify]: iters left: 5 (52 enodes)
11.919 * * [simplify]: iters left: 4 (154 enodes)
12.006 * * [simplify]: Extracting #0: cost 1 inf + 0
12.006 * * [simplify]: Extracting #1: cost 27 inf + 0
12.006 * * [simplify]: Extracting #2: cost 137 inf + 0
12.007 * * [simplify]: Extracting #3: cost 277 inf + 366
12.008 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.010 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.012 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.023 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.050 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.075 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.091 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.113 * [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)))))
12.113 * [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)))))))
12.114 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
12.114 * [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)))
12.114 * * [simplify]: iters left: 5 (15 enodes)
12.118 * * [simplify]: iters left: 4 (44 enodes)
12.130 * * [simplify]: iters left: 3 (112 enodes)
12.171 * * [simplify]: iters left: 2 (473 enodes)
12.537 * * [simplify]: Extracting #0: cost 1 inf + 0
12.537 * * [simplify]: Extracting #1: cost 35 inf + 0
12.538 * * [simplify]: Extracting #2: cost 286 inf + 1
12.542 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.547 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.556 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.577 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.616 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.689 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.753 * [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))))
12.753 * [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)))))
12.754 * [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)))
12.754 * * [simplify]: iters left: 6 (17 enodes)
12.759 * * [simplify]: iters left: 5 (52 enodes)
12.771 * * [simplify]: iters left: 4 (154 enodes)
12.834 * * [simplify]: Extracting #0: cost 1 inf + 0
12.835 * * [simplify]: Extracting #1: cost 27 inf + 0
12.835 * * [simplify]: Extracting #2: cost 137 inf + 0
12.836 * * [simplify]: Extracting #3: cost 277 inf + 366
12.838 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.839 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.842 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.854 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.884 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.903 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.931 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.953 * [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)))))
12.953 * [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)))))))
12.953 * * * [progress]: adding candidates to table
13.198 * * [progress]: iteration 3 / 4
13.198 * * * [progress]: picking best candidate
13.517 * * * * [pick]: Picked  #<alt (λ (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 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)))))>
13.517 * * * [progress]: localizing error
14.184 * * * [progress]: generating rewritten candidates
14.184 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
14.209 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
14.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
14.285 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
14.392 * * * [progress]: generating series expansions
14.392 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
14.392 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
14.392 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
14.392 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
14.392 * * * [progress]: simplifying candidates
14.393 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
14.393 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
14.393 * * [simplify]: iters left: 4 (11 enodes)
14.399 * * [simplify]: iters left: 3 (27 enodes)
14.408 * * [simplify]: iters left: 2 (47 enodes)
14.425 * * [simplify]: iters left: 1 (76 enodes)
14.450 * * [simplify]: Extracting #0: cost 1 inf + 0
14.450 * * [simplify]: Extracting #1: cost 16 inf + 0
14.450 * * [simplify]: Extracting #2: cost 17 inf + 2
14.450 * * [simplify]: Extracting #3: cost 13 inf + 89
14.451 * * [simplify]: Extracting #4: cost 9 inf + 298
14.452 * * [simplify]: Extracting #5: cost 1 inf + 2963
14.453 * * [simplify]: Extracting #6: cost 0 inf + 3367
14.454 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
14.454 * [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)))))
14.454 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (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 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))))))>
14.455 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
14.455 * * [simplify]: iters left: 4 (8 enodes)
14.458 * * [simplify]: iters left: 3 (26 enodes)
14.469 * * [simplify]: iters left: 2 (53 enodes)
14.487 * * [simplify]: iters left: 1 (91 enodes)
14.515 * * [simplify]: Extracting #0: cost 1 inf + 0
14.515 * * [simplify]: Extracting #1: cost 24 inf + 0
14.515 * * [simplify]: Extracting #2: cost 31 inf + 0
14.515 * * [simplify]: Extracting #3: cost 26 inf + 366
14.516 * * [simplify]: Extracting #4: cost 9 inf + 8250
14.518 * * [simplify]: Extracting #5: cost 0 inf + 15077
14.519 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
14.519 * [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))))))
14.520 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))>
14.520 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
14.520 * * [simplify]: iters left: 4 (9 enodes)
14.524 * * [simplify]: iters left: 3 (21 enodes)
14.531 * * [simplify]: iters left: 2 (27 enodes)
14.539 * * [simplify]: iters left: 1 (28 enodes)
14.547 * * [simplify]: Extracting #0: cost 1 inf + 0
14.547 * * [simplify]: Extracting #1: cost 3 inf + 0
14.547 * * [simplify]: Extracting #2: cost 8 inf + 1
14.547 * * [simplify]: Extracting #3: cost 6 inf + 45
14.547 * * [simplify]: Extracting #4: cost 7 inf + 45
14.548 * * [simplify]: Extracting #5: cost 1 inf + 1499
14.548 * * [simplify]: Extracting #6: cost 0 inf + 2343
14.548 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
14.548 * [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)))))
14.549 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
14.549 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
14.549 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
14.549 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
14.549 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (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 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)))))>
14.549 * * * [progress]: adding candidates to table
14.952 * * [progress]: iteration 4 / 4
14.952 * * * [progress]: picking best candidate
15.446 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))>
15.446 * * * [progress]: localizing error
16.020 * * * [progress]: generating rewritten candidates
16.020 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
16.034 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
16.151 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
16.158 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
16.181 * * * [progress]: generating series expansions
16.181 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
16.181 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
16.181 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
16.181 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
16.181 * * * [progress]: simplifying candidates
16.181 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 (*.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)))))>
16.181 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
16.182 * * [simplify]: iters left: 4 (11 enodes)
16.185 * * [simplify]: iters left: 3 (27 enodes)
16.190 * * [simplify]: iters left: 2 (47 enodes)
16.200 * * [simplify]: iters left: 1 (76 enodes)
16.213 * * [simplify]: Extracting #0: cost 1 inf + 0
16.213 * * [simplify]: Extracting #1: cost 16 inf + 0
16.213 * * [simplify]: Extracting #2: cost 17 inf + 2
16.214 * * [simplify]: Extracting #3: cost 13 inf + 89
16.214 * * [simplify]: Extracting #4: cost 9 inf + 298
16.214 * * [simplify]: Extracting #5: cost 1 inf + 2963
16.215 * * [simplify]: Extracting #6: cost 0 inf + 3367
16.215 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
16.215 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 (*.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)))))
16.216 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 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))))))>
16.216 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
16.216 * * [simplify]: iters left: 4 (8 enodes)
16.218 * * [simplify]: iters left: 3 (26 enodes)
16.223 * * [simplify]: iters left: 2 (53 enodes)
16.241 * * [simplify]: iters left: 1 (91 enodes)
16.268 * * [simplify]: Extracting #0: cost 1 inf + 0
16.268 * * [simplify]: Extracting #1: cost 24 inf + 0
16.269 * * [simplify]: Extracting #2: cost 31 inf + 0
16.269 * * [simplify]: Extracting #3: cost 26 inf + 366
16.270 * * [simplify]: Extracting #4: cost 9 inf + 8250
16.271 * * [simplify]: Extracting #5: cost 0 inf + 15077
16.273 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
16.273 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 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))))))
16.273 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))>
16.274 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.274 * * [simplify]: iters left: 4 (9 enodes)
16.278 * * [simplify]: iters left: 3 (21 enodes)
16.285 * * [simplify]: iters left: 2 (27 enodes)
16.294 * * [simplify]: iters left: 1 (28 enodes)
16.306 * * [simplify]: Extracting #0: cost 1 inf + 0
16.306 * * [simplify]: Extracting #1: cost 3 inf + 0
16.306 * * [simplify]: Extracting #2: cost 8 inf + 1
16.306 * * [simplify]: Extracting #3: cost 6 inf + 45
16.306 * * [simplify]: Extracting #4: cost 7 inf + 45
16.306 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.307 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.307 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.307 * [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)))))
16.307 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))>
16.308 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.308 * * [simplify]: iters left: 4 (9 enodes)
16.312 * * [simplify]: iters left: 3 (21 enodes)
16.319 * * [simplify]: iters left: 2 (27 enodes)
16.327 * * [simplify]: iters left: 1 (28 enodes)
16.335 * * [simplify]: Extracting #0: cost 1 inf + 0
16.335 * * [simplify]: Extracting #1: cost 3 inf + 0
16.335 * * [simplify]: Extracting #2: cost 8 inf + 1
16.335 * * [simplify]: Extracting #3: cost 6 inf + 45
16.335 * * [simplify]: Extracting #4: cost 7 inf + 45
16.336 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.336 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.336 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.337 * [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)))))
16.337 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))>
16.337 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.337 * * [simplify]: iters left: 4 (9 enodes)
16.341 * * [simplify]: iters left: 3 (21 enodes)
16.348 * * [simplify]: iters left: 2 (27 enodes)
16.356 * * [simplify]: iters left: 1 (28 enodes)
16.364 * * [simplify]: Extracting #0: cost 1 inf + 0
16.364 * * [simplify]: Extracting #1: cost 3 inf + 0
16.364 * * [simplify]: Extracting #2: cost 8 inf + 1
16.364 * * [simplify]: Extracting #3: cost 6 inf + 45
16.364 * * [simplify]: Extracting #4: cost 7 inf + 45
16.364 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.365 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.365 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.365 * [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)))))
16.365 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))>
16.366 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.366 * * [simplify]: iters left: 4 (9 enodes)
16.370 * * [simplify]: iters left: 3 (21 enodes)
16.377 * * [simplify]: iters left: 2 (27 enodes)
16.384 * * [simplify]: iters left: 1 (28 enodes)
16.392 * * [simplify]: Extracting #0: cost 1 inf + 0
16.392 * * [simplify]: Extracting #1: cost 3 inf + 0
16.392 * * [simplify]: Extracting #2: cost 8 inf + 1
16.392 * * [simplify]: Extracting #3: cost 6 inf + 45
16.392 * * [simplify]: Extracting #4: cost 7 inf + 45
16.393 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.393 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.393 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.393 * [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)))))
16.395 * * * [progress]: adding candidates to table
16.577 * [progress]: [Phase 3 of 3] Extracting.
16.577 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (/.p16 (*.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)))) (/.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)))))> #<alt (λ (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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 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))))))> #<alt (λ (alpha beta i) (/.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 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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))) (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))))))> #<alt (λ (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 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)))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))> #<alt (λ (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 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)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.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))) (+.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))))> #<alt (λ (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 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))))> #<alt (λ (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 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))))> #<alt (λ (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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (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 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))))))> #<alt (λ (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))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (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 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))))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (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 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)))))>)
16.591 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
16.591 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (*.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)))) (/.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)))))> #<alt (λ (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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 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))))))> #<alt (λ (alpha beta i) (/.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 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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))) (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))))))> #<alt (λ (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 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)))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))> #<alt (λ (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 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)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.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))) (+.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))))> #<alt (λ (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 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))))> #<alt (λ (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 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))))> #<alt (λ (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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (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 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))))))> #<alt (λ (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))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (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 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))))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (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 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)))))>)
17.073 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (*.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)))) (/.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)))))> #<alt (λ (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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 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))))))> #<alt (λ (alpha beta i) (/.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 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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))) (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))))))> #<alt (λ (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 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)))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))> #<alt (λ (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 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)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.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))) (+.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))))> #<alt (λ (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 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))))> #<alt (λ (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 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))))> #<alt (λ (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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (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 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))))))> #<alt (λ (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))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (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 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))))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (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 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)))))>)
17.455 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (*.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)))) (/.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)))))> #<alt (λ (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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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 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))))))> #<alt (λ (alpha beta i) (/.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 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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))) (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))))))> #<alt (λ (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 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)))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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)))))> #<alt (λ (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 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)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.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))) (+.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))))> #<alt (λ (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 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))))> #<alt (λ (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 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))))> #<alt (λ (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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (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 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))))))> #<alt (λ (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))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (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 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))))))> #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (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 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)))))>)
18.107 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
18.107 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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))))
18.107 * * [simplify]: iters left: 6 (22 enodes)
18.109 * * [simplify]: Extracting #0: cost 1 inf + 0
18.109 * * [simplify]: Extracting #1: cost 3 inf + 0
18.109 * * [simplify]: Extracting #2: cost 7 inf + 0
18.109 * * [simplify]: Extracting #3: cost 13 inf + 0
18.109 * * [simplify]: Extracting #4: cost 17 inf + 1
18.109 * * [simplify]: Extracting #5: cost 19 inf + 2
18.109 * * [simplify]: Extracting #6: cost 15 inf + 369
18.109 * * [simplify]: Extracting #7: cost 11 inf + 857
18.109 * * [simplify]: Extracting #8: cost 6 inf + 3716
18.110 * * [simplify]: Extracting #9: cost 1 inf + 10499
18.110 * * [simplify]: Extracting #10: cost 0 inf + 14264
18.111 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->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))))
18.111 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
18.173 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
18.182 * * * * [points]: Setting MPFR precision to 64
18.185 * * * * [points]: Setting MPFR precision to 320
18.187 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
18.196 * * * * [points]: Setting MPFR precision to 64
18.200 * * * * [points]: Setting MPFR precision to 320
18.205 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
18.214 * * * * [points]: Setting MPFR precision to 64
18.223 * * * * [points]: Setting MPFR precision to 320
18.233 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
18.242 * * * * [points]: Setting MPFR precision to 64
18.259 * * * * [points]: Setting MPFR precision to 320
18.277 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
18.286 * * * * [points]: Setting MPFR precision to 64
18.352 * * * * [points]: Setting MPFR precision to 320
18.391 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.401 * * * * [points]: Setting MPFR precision to 64
18.471 * * * * [points]: Setting MPFR precision to 320
18.543 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
18.552 * * * * [points]: Setting MPFR precision to 64
18.743 * * * * [points]: Setting MPFR precision to 320
18.919 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
18.929 * * * * [points]: Setting MPFR precision to 64
19.268 * * * * [points]: Setting MPFR precision to 320
19.667 * * * * [points]: Computing exacts for 8000 points
19.677 * * * * [points]: Setting MPFR precision to 64
21.482 * * * * [points]: Setting MPFR precision to 320
22.939 * * * * [points]: Filtering points with unrepresentable outputs
22.947 * * * * [points]: Sampling 6895 additional inputs, on iter 1 have 1105 / 8000
23.002 * * * * [points]: Computing exacts on every 430 of 6895 points to ramp up precision
23.011 * * * * [points]: Setting MPFR precision to 64
23.051 * * * * [points]: Setting MPFR precision to 320
23.054 * * * * [points]: Computing exacts on every 215 of 6895 points to ramp up precision
23.064 * * * * [points]: Setting MPFR precision to 64
23.069 * * * * [points]: Setting MPFR precision to 320
23.073 * * * * [points]: Computing exacts on every 107 of 6895 points to ramp up precision
23.082 * * * * [points]: Setting MPFR precision to 64
23.091 * * * * [points]: Setting MPFR precision to 320
23.101 * * * * [points]: Computing exacts on every 53 of 6895 points to ramp up precision
23.110 * * * * [points]: Setting MPFR precision to 64
23.127 * * * * [points]: Setting MPFR precision to 320
23.144 * * * * [points]: Computing exacts on every 26 of 6895 points to ramp up precision
23.153 * * * * [points]: Setting MPFR precision to 64
23.187 * * * * [points]: Setting MPFR precision to 320
23.222 * * * * [points]: Computing exacts on every 13 of 6895 points to ramp up precision
23.268 * * * * [points]: Setting MPFR precision to 64
23.343 * * * * [points]: Setting MPFR precision to 320
23.415 * * * * [points]: Computing exacts on every 6 of 6895 points to ramp up precision
23.424 * * * * [points]: Setting MPFR precision to 64
23.619 * * * * [points]: Setting MPFR precision to 320
23.816 * * * * [points]: Computing exacts on every 3 of 6895 points to ramp up precision
23.825 * * * * [points]: Setting MPFR precision to 64
24.079 * * * * [points]: Setting MPFR precision to 320
24.372 * * * * [points]: Computing exacts for 6895 points
24.381 * * * * [points]: Setting MPFR precision to 64
25.940 * * * * [points]: Setting MPFR precision to 320
26.928 * * * * [points]: Filtering points with unrepresentable outputs
26.935 * * * * [points]: Sampling 5926 additional inputs, on iter 2 have 2074 / 8000
26.978 * * * * [points]: Computing exacts on every 370 of 5926 points to ramp up precision
26.986 * * * * [points]: Setting MPFR precision to 64
26.988 * * * * [points]: Setting MPFR precision to 320
26.990 * * * * [points]: Computing exacts on every 185 of 5926 points to ramp up precision
26.998 * * * * [points]: Setting MPFR precision to 64
27.000 * * * * [points]: Setting MPFR precision to 320
27.003 * * * * [points]: Computing exacts on every 92 of 5926 points to ramp up precision
27.007 * * * * [points]: Setting MPFR precision to 64
27.012 * * * * [points]: Setting MPFR precision to 320
27.017 * * * * [points]: Computing exacts on every 46 of 5926 points to ramp up precision
27.022 * * * * [points]: Setting MPFR precision to 64
27.039 * * * * [points]: Setting MPFR precision to 320
27.092 * * * * [points]: Computing exacts on every 23 of 5926 points to ramp up precision
27.102 * * * * [points]: Setting MPFR precision to 64
27.138 * * * * [points]: Setting MPFR precision to 320
27.173 * * * * [points]: Computing exacts on every 11 of 5926 points to ramp up precision
27.182 * * * * [points]: Setting MPFR precision to 64
27.251 * * * * [points]: Setting MPFR precision to 320
27.366 * * * * [points]: Computing exacts on every 5 of 5926 points to ramp up precision
27.376 * * * * [points]: Setting MPFR precision to 64
27.516 * * * * [points]: Setting MPFR precision to 320
27.709 * * * * [points]: Computing exacts on every 2 of 5926 points to ramp up precision
27.718 * * * * [points]: Setting MPFR precision to 64
28.043 * * * * [points]: Setting MPFR precision to 320
28.405 * * * * [points]: Computing exacts for 5926 points
28.410 * * * * [points]: Setting MPFR precision to 64
29.477 * * * * [points]: Setting MPFR precision to 320
30.118 * * * * [points]: Filtering points with unrepresentable outputs
30.124 * * * * [points]: Sampling 5091 additional inputs, on iter 3 have 2909 / 8000
30.147 * * * * [points]: Computing exacts on every 318 of 5091 points to ramp up precision
30.153 * * * * [points]: Setting MPFR precision to 64
30.154 * * * * [points]: Setting MPFR precision to 320
30.155 * * * * [points]: Computing exacts on every 159 of 5091 points to ramp up precision
30.160 * * * * [points]: Setting MPFR precision to 64
30.163 * * * * [points]: Setting MPFR precision to 320
30.191 * * * * [points]: Computing exacts on every 79 of 5091 points to ramp up precision
30.202 * * * * [points]: Setting MPFR precision to 64
30.212 * * * * [points]: Setting MPFR precision to 320
30.221 * * * * [points]: Computing exacts on every 39 of 5091 points to ramp up precision
30.226 * * * * [points]: Setting MPFR precision to 64
30.235 * * * * [points]: Setting MPFR precision to 320
30.245 * * * * [points]: Computing exacts on every 19 of 5091 points to ramp up precision
30.250 * * * * [points]: Setting MPFR precision to 64
30.269 * * * * [points]: Setting MPFR precision to 320
30.288 * * * * [points]: Computing exacts on every 9 of 5091 points to ramp up precision
30.297 * * * * [points]: Setting MPFR precision to 64
30.409 * * * * [points]: Setting MPFR precision to 320
30.478 * * * * [points]: Computing exacts on every 4 of 5091 points to ramp up precision
30.486 * * * * [points]: Setting MPFR precision to 64
30.681 * * * * [points]: Setting MPFR precision to 320
30.875 * * * * [points]: Computing exacts on every 2 of 5091 points to ramp up precision
30.888 * * * * [points]: Setting MPFR precision to 64
31.157 * * * * [points]: Setting MPFR precision to 320
31.429 * * * * [points]: Computing exacts for 5091 points
31.438 * * * * [points]: Setting MPFR precision to 64
32.711 * * * * [points]: Setting MPFR precision to 320
33.674 * * * * [points]: Filtering points with unrepresentable outputs
33.680 * * * * [points]: Sampling 4348 additional inputs, on iter 4 have 3652 / 8000
33.714 * * * * [points]: Computing exacts on every 271 of 4348 points to ramp up precision
33.723 * * * * [points]: Setting MPFR precision to 64
33.726 * * * * [points]: Setting MPFR precision to 320
33.728 * * * * [points]: Computing exacts on every 135 of 4348 points to ramp up precision
33.738 * * * * [points]: Setting MPFR precision to 64
33.743 * * * * [points]: Setting MPFR precision to 320
33.748 * * * * [points]: Computing exacts on every 67 of 4348 points to ramp up precision
33.757 * * * * [points]: Setting MPFR precision to 64
33.766 * * * * [points]: Setting MPFR precision to 320
33.809 * * * * [points]: Computing exacts on every 33 of 4348 points to ramp up precision
33.821 * * * * [points]: Setting MPFR precision to 64
33.840 * * * * [points]: Setting MPFR precision to 320
33.858 * * * * [points]: Computing exacts on every 16 of 4348 points to ramp up precision
33.867 * * * * [points]: Setting MPFR precision to 64
33.905 * * * * [points]: Setting MPFR precision to 320
33.942 * * * * [points]: Computing exacts on every 8 of 4348 points to ramp up precision
33.952 * * * * [points]: Setting MPFR precision to 64
34.073 * * * * [points]: Setting MPFR precision to 320
34.142 * * * * [points]: Computing exacts on every 4 of 4348 points to ramp up precision
34.151 * * * * [points]: Setting MPFR precision to 64
34.293 * * * * [points]: Setting MPFR precision to 320
34.418 * * * * [points]: Computing exacts on every 2 of 4348 points to ramp up precision
34.428 * * * * [points]: Setting MPFR precision to 64
34.688 * * * * [points]: Setting MPFR precision to 320
34.953 * * * * [points]: Computing exacts for 4348 points
34.962 * * * * [points]: Setting MPFR precision to 64
35.700 * * * * [points]: Setting MPFR precision to 320
36.588 * * * * [points]: Filtering points with unrepresentable outputs
36.593 * * * * [points]: Sampling 3739 additional inputs, on iter 5 have 4261 / 8000
36.621 * * * * [points]: Computing exacts on every 233 of 3739 points to ramp up precision
36.631 * * * * [points]: Setting MPFR precision to 64
36.633 * * * * [points]: Setting MPFR precision to 320
36.636 * * * * [points]: Computing exacts on every 116 of 3739 points to ramp up precision
36.645 * * * * [points]: Setting MPFR precision to 64
36.684 * * * * [points]: Setting MPFR precision to 320
36.688 * * * * [points]: Computing exacts on every 58 of 3739 points to ramp up precision
36.700 * * * * [points]: Setting MPFR precision to 64
36.710 * * * * [points]: Setting MPFR precision to 320
36.719 * * * * [points]: Computing exacts on every 29 of 3739 points to ramp up precision
36.728 * * * * [points]: Setting MPFR precision to 64
36.746 * * * * [points]: Setting MPFR precision to 320
36.764 * * * * [points]: Computing exacts on every 14 of 3739 points to ramp up precision
36.773 * * * * [points]: Setting MPFR precision to 64
36.808 * * * * [points]: Setting MPFR precision to 320
36.844 * * * * [points]: Computing exacts on every 7 of 3739 points to ramp up precision
36.853 * * * * [points]: Setting MPFR precision to 64
36.960 * * * * [points]: Setting MPFR precision to 320
37.027 * * * * [points]: Computing exacts on every 3 of 3739 points to ramp up precision
37.036 * * * * [points]: Setting MPFR precision to 64
37.217 * * * * [points]: Setting MPFR precision to 320
37.350 * * * * [points]: Computing exacts for 3739 points
37.360 * * * * [points]: Setting MPFR precision to 64
38.040 * * * * [points]: Setting MPFR precision to 320
38.459 * * * * [points]: Filtering points with unrepresentable outputs
38.461 * * * * [points]: Sampling 3230 additional inputs, on iter 6 have 4770 / 8000
38.476 * * * * [points]: Computing exacts on every 201 of 3230 points to ramp up precision
38.481 * * * * [points]: Setting MPFR precision to 64
38.482 * * * * [points]: Setting MPFR precision to 320
38.483 * * * * [points]: Computing exacts on every 100 of 3230 points to ramp up precision
38.488 * * * * [points]: Setting MPFR precision to 64
38.490 * * * * [points]: Setting MPFR precision to 320
38.493 * * * * [points]: Computing exacts on every 50 of 3230 points to ramp up precision
38.497 * * * * [points]: Setting MPFR precision to 64
38.502 * * * * [points]: Setting MPFR precision to 320
38.507 * * * * [points]: Computing exacts on every 25 of 3230 points to ramp up precision
38.512 * * * * [points]: Setting MPFR precision to 64
38.522 * * * * [points]: Setting MPFR precision to 320
38.536 * * * * [points]: Computing exacts on every 12 of 3230 points to ramp up precision
38.541 * * * * [points]: Setting MPFR precision to 64
38.560 * * * * [points]: Setting MPFR precision to 320
38.602 * * * * [points]: Computing exacts on every 6 of 3230 points to ramp up precision
38.607 * * * * [points]: Setting MPFR precision to 64
38.644 * * * * [points]: Setting MPFR precision to 320
38.680 * * * * [points]: Computing exacts on every 3 of 3230 points to ramp up precision
38.685 * * * * [points]: Setting MPFR precision to 64
38.782 * * * * [points]: Setting MPFR precision to 320
38.843 * * * * [points]: Computing exacts for 3230 points
38.879 * * * * [points]: Setting MPFR precision to 64
39.205 * * * * [points]: Setting MPFR precision to 320
39.924 * * * * [points]: Filtering points with unrepresentable outputs
39.927 * * * * [points]: Sampling 2776 additional inputs, on iter 7 have 5224 / 8000
39.948 * * * * [points]: Computing exacts on every 173 of 2776 points to ramp up precision
39.957 * * * * [points]: Setting MPFR precision to 64
39.959 * * * * [points]: Setting MPFR precision to 320
39.962 * * * * [points]: Computing exacts on every 86 of 2776 points to ramp up precision
39.971 * * * * [points]: Setting MPFR precision to 64
39.975 * * * * [points]: Setting MPFR precision to 320
39.980 * * * * [points]: Computing exacts on every 43 of 2776 points to ramp up precision
39.990 * * * * [points]: Setting MPFR precision to 64
39.999 * * * * [points]: Setting MPFR precision to 320
40.008 * * * * [points]: Computing exacts on every 21 of 2776 points to ramp up precision
40.017 * * * * [points]: Setting MPFR precision to 64
40.068 * * * * [points]: Setting MPFR precision to 320
40.085 * * * * [points]: Computing exacts on every 10 of 2776 points to ramp up precision
40.090 * * * * [points]: Setting MPFR precision to 64
40.109 * * * * [points]: Setting MPFR precision to 320
40.128 * * * * [points]: Computing exacts on every 5 of 2776 points to ramp up precision
40.133 * * * * [points]: Setting MPFR precision to 64
40.179 * * * * [points]: Setting MPFR precision to 320
40.291 * * * * [points]: Computing exacts on every 2 of 2776 points to ramp up precision
40.299 * * * * [points]: Setting MPFR precision to 64
40.431 * * * * [points]: Setting MPFR precision to 320
40.614 * * * * [points]: Computing exacts for 2776 points
40.624 * * * * [points]: Setting MPFR precision to 64
41.097 * * * * [points]: Setting MPFR precision to 320
41.495 * * * * [points]: Filtering points with unrepresentable outputs
41.498 * * * * [points]: Sampling 2404 additional inputs, on iter 8 have 5596 / 8000
41.518 * * * * [points]: Computing exacts on every 150 of 2404 points to ramp up precision
41.527 * * * * [points]: Setting MPFR precision to 64
41.529 * * * * [points]: Setting MPFR precision to 320
41.532 * * * * [points]: Computing exacts on every 75 of 2404 points to ramp up precision
41.537 * * * * [points]: Setting MPFR precision to 64
41.539 * * * * [points]: Setting MPFR precision to 320
41.542 * * * * [points]: Computing exacts on every 37 of 2404 points to ramp up precision
41.546 * * * * [points]: Setting MPFR precision to 64
41.551 * * * * [points]: Setting MPFR precision to 320
41.557 * * * * [points]: Computing exacts on every 18 of 2404 points to ramp up precision
41.561 * * * * [points]: Setting MPFR precision to 64
41.571 * * * * [points]: Setting MPFR precision to 320
41.604 * * * * [points]: Computing exacts on every 9 of 2404 points to ramp up precision
41.610 * * * * [points]: Setting MPFR precision to 64
41.642 * * * * [points]: Setting MPFR precision to 320
41.660 * * * * [points]: Computing exacts on every 4 of 2404 points to ramp up precision
41.665 * * * * [points]: Setting MPFR precision to 64
41.701 * * * * [points]: Setting MPFR precision to 320
41.797 * * * * [points]: Computing exacts on every 2 of 2404 points to ramp up precision
41.804 * * * * [points]: Setting MPFR precision to 64
41.864 * * * * [points]: Setting MPFR precision to 320
41.959 * * * * [points]: Computing exacts for 2404 points
41.963 * * * * [points]: Setting MPFR precision to 64
42.237 * * * * [points]: Setting MPFR precision to 320
42.564 * * * * [points]: Filtering points with unrepresentable outputs
42.567 * * * * [points]: Sampling 2057 additional inputs, on iter 9 have 5943 / 8000
42.583 * * * * [points]: Computing exacts on every 128 of 2057 points to ramp up precision
42.592 * * * * [points]: Setting MPFR precision to 64
42.595 * * * * [points]: Setting MPFR precision to 320
42.597 * * * * [points]: Computing exacts on every 64 of 2057 points to ramp up precision
42.605 * * * * [points]: Setting MPFR precision to 64
42.609 * * * * [points]: Setting MPFR precision to 320
42.614 * * * * [points]: Computing exacts on every 32 of 2057 points to ramp up precision
42.623 * * * * [points]: Setting MPFR precision to 64
42.666 * * * * [points]: Setting MPFR precision to 320
42.672 * * * * [points]: Computing exacts on every 16 of 2057 points to ramp up precision
42.677 * * * * [points]: Setting MPFR precision to 64
42.686 * * * * [points]: Setting MPFR precision to 320
42.695 * * * * [points]: Computing exacts on every 8 of 2057 points to ramp up precision
42.699 * * * * [points]: Setting MPFR precision to 64
42.717 * * * * [points]: Setting MPFR precision to 320
42.734 * * * * [points]: Computing exacts on every 4 of 2057 points to ramp up precision
42.739 * * * * [points]: Setting MPFR precision to 64
43.122 * * * * [points]: Setting MPFR precision to 320
43.180 * * * * [points]: Computing exacts on every 2 of 2057 points to ramp up precision
43.188 * * * * [points]: Setting MPFR precision to 64
43.274 * * * * [points]: Setting MPFR precision to 320
43.403 * * * * [points]: Computing exacts for 2057 points
43.412 * * * * [points]: Setting MPFR precision to 64
43.623 * * * * [points]: Setting MPFR precision to 320
43.849 * * * * [points]: Filtering points with unrepresentable outputs
43.850 * * * * [points]: Sampling 1745 additional inputs, on iter 10 have 6255 / 8000
43.858 * * * * [points]: Computing exacts on every 109 of 1745 points to ramp up precision
43.862 * * * * [points]: Setting MPFR precision to 64
43.864 * * * * [points]: Setting MPFR precision to 320
43.865 * * * * [points]: Computing exacts on every 54 of 1745 points to ramp up precision
43.869 * * * * [points]: Setting MPFR precision to 64
43.872 * * * * [points]: Setting MPFR precision to 320
43.874 * * * * [points]: Computing exacts on every 27 of 1745 points to ramp up precision
43.878 * * * * [points]: Setting MPFR precision to 64
43.883 * * * * [points]: Setting MPFR precision to 320
43.888 * * * * [points]: Computing exacts on every 13 of 1745 points to ramp up precision
43.892 * * * * [points]: Setting MPFR precision to 64
43.902 * * * * [points]: Setting MPFR precision to 320
43.911 * * * * [points]: Computing exacts on every 6 of 1745 points to ramp up precision
43.916 * * * * [points]: Setting MPFR precision to 64
43.955 * * * * [points]: Setting MPFR precision to 320
43.975 * * * * [points]: Computing exacts on every 3 of 1745 points to ramp up precision
43.983 * * * * [points]: Setting MPFR precision to 64
44.036 * * * * [points]: Setting MPFR precision to 320
44.068 * * * * [points]: Computing exacts for 1745 points
44.072 * * * * [points]: Setting MPFR precision to 64
44.315 * * * * [points]: Setting MPFR precision to 320
44.479 * * * * [points]: Filtering points with unrepresentable outputs
44.480 * * * * [points]: Sampling 1477 additional inputs, on iter 11 have 6523 / 8000
44.486 * * * * [points]: Computing exacts on every 92 of 1477 points to ramp up precision
44.491 * * * * [points]: Setting MPFR precision to 64
44.492 * * * * [points]: Setting MPFR precision to 320
44.493 * * * * [points]: Computing exacts on every 46 of 1477 points to ramp up precision
44.498 * * * * [points]: Setting MPFR precision to 64
44.500 * * * * [points]: Setting MPFR precision to 320
44.503 * * * * [points]: Computing exacts on every 23 of 1477 points to ramp up precision
44.508 * * * * [points]: Setting MPFR precision to 64
44.513 * * * * [points]: Setting MPFR precision to 320
44.517 * * * * [points]: Computing exacts on every 11 of 1477 points to ramp up precision
44.522 * * * * [points]: Setting MPFR precision to 64
44.531 * * * * [points]: Setting MPFR precision to 320
44.540 * * * * [points]: Computing exacts on every 5 of 1477 points to ramp up precision
44.569 * * * * [points]: Setting MPFR precision to 64
44.589 * * * * [points]: Setting MPFR precision to 320
44.607 * * * * [points]: Computing exacts on every 2 of 1477 points to ramp up precision
44.611 * * * * [points]: Setting MPFR precision to 64
44.649 * * * * [points]: Setting MPFR precision to 320
44.718 * * * * [points]: Computing exacts for 1477 points
44.723 * * * * [points]: Setting MPFR precision to 64
44.868 * * * * [points]: Setting MPFR precision to 320
45.015 * * * * [points]: Filtering points with unrepresentable outputs
45.016 * * * * [points]: Sampling 1249 additional inputs, on iter 12 have 6751 / 8000
45.022 * * * * [points]: Computing exacts on every 78 of 1249 points to ramp up precision
45.026 * * * * [points]: Setting MPFR precision to 64
45.028 * * * * [points]: Setting MPFR precision to 320
45.029 * * * * [points]: Computing exacts on every 39 of 1249 points to ramp up precision
45.033 * * * * [points]: Setting MPFR precision to 64
45.036 * * * * [points]: Setting MPFR precision to 320
45.038 * * * * [points]: Computing exacts on every 19 of 1249 points to ramp up precision
45.043 * * * * [points]: Setting MPFR precision to 64
45.047 * * * * [points]: Setting MPFR precision to 320
45.052 * * * * [points]: Computing exacts on every 9 of 1249 points to ramp up precision
45.057 * * * * [points]: Setting MPFR precision to 64
45.069 * * * * [points]: Setting MPFR precision to 320
45.079 * * * * [points]: Computing exacts on every 4 of 1249 points to ramp up precision
45.083 * * * * [points]: Setting MPFR precision to 64
45.128 * * * * [points]: Setting MPFR precision to 320
45.147 * * * * [points]: Computing exacts on every 2 of 1249 points to ramp up precision
45.152 * * * * [points]: Setting MPFR precision to 64
45.190 * * * * [points]: Setting MPFR precision to 320
45.233 * * * * [points]: Computing exacts for 1249 points
45.240 * * * * [points]: Setting MPFR precision to 64
45.371 * * * * [points]: Setting MPFR precision to 320
45.495 * * * * [points]: Filtering points with unrepresentable outputs
45.496 * * * * [points]: Sampling 1063 additional inputs, on iter 13 have 6937 / 8000
45.501 * * * * [points]: Computing exacts on every 66 of 1063 points to ramp up precision
45.506 * * * * [points]: Setting MPFR precision to 64
45.507 * * * * [points]: Setting MPFR precision to 320
45.508 * * * * [points]: Computing exacts on every 33 of 1063 points to ramp up precision
45.513 * * * * [points]: Setting MPFR precision to 64
45.515 * * * * [points]: Setting MPFR precision to 320
45.518 * * * * [points]: Computing exacts on every 16 of 1063 points to ramp up precision
45.522 * * * * [points]: Setting MPFR precision to 64
45.528 * * * * [points]: Setting MPFR precision to 320
45.889 * * * * [points]: Computing exacts on every 8 of 1063 points to ramp up precision
45.901 * * * * [points]: Setting MPFR precision to 64
45.917 * * * * [points]: Setting MPFR precision to 320
45.933 * * * * [points]: Computing exacts on every 4 of 1063 points to ramp up precision
45.942 * * * * [points]: Setting MPFR precision to 64
45.963 * * * * [points]: Setting MPFR precision to 320
45.980 * * * * [points]: Computing exacts on every 2 of 1063 points to ramp up precision
45.987 * * * * [points]: Setting MPFR precision to 64
46.014 * * * * [points]: Setting MPFR precision to 320
46.085 * * * * [points]: Computing exacts for 1063 points
46.093 * * * * [points]: Setting MPFR precision to 64
46.202 * * * * [points]: Setting MPFR precision to 320
46.364 * * * * [points]: Filtering points with unrepresentable outputs
46.365 * * * * [points]: Sampling 908 additional inputs, on iter 14 have 7092 / 8000
46.369 * * * * [points]: Computing exacts on every 56 of 908 points to ramp up precision
46.374 * * * * [points]: Setting MPFR precision to 64
46.375 * * * * [points]: Setting MPFR precision to 320
46.377 * * * * [points]: Computing exacts on every 28 of 908 points to ramp up precision
46.381 * * * * [points]: Setting MPFR precision to 64
46.384 * * * * [points]: Setting MPFR precision to 320
46.387 * * * * [points]: Computing exacts on every 14 of 908 points to ramp up precision
46.395 * * * * [points]: Setting MPFR precision to 64
46.433 * * * * [points]: Setting MPFR precision to 320
46.438 * * * * [points]: Computing exacts on every 7 of 908 points to ramp up precision
46.450 * * * * [points]: Setting MPFR precision to 64
46.466 * * * * [points]: Setting MPFR precision to 320
46.482 * * * * [points]: Computing exacts on every 3 of 908 points to ramp up precision
46.492 * * * * [points]: Setting MPFR precision to 64
46.513 * * * * [points]: Setting MPFR precision to 320
46.530 * * * * [points]: Computing exacts for 908 points
46.538 * * * * [points]: Setting MPFR precision to 64
46.648 * * * * [points]: Setting MPFR precision to 320
46.731 * * * * [points]: Filtering points with unrepresentable outputs
46.732 * * * * [points]: Sampling 770 additional inputs, on iter 15 have 7230 / 8000
46.735 * * * * [points]: Computing exacts on every 48 of 770 points to ramp up precision
46.776 * * * * [points]: Setting MPFR precision to 64
46.778 * * * * [points]: Setting MPFR precision to 320
46.779 * * * * [points]: Computing exacts on every 24 of 770 points to ramp up precision
46.784 * * * * [points]: Setting MPFR precision to 64
46.788 * * * * [points]: Setting MPFR precision to 320
46.790 * * * * [points]: Computing exacts on every 12 of 770 points to ramp up precision
46.795 * * * * [points]: Setting MPFR precision to 64
46.803 * * * * [points]: Setting MPFR precision to 320
46.811 * * * * [points]: Computing exacts on every 6 of 770 points to ramp up precision
46.821 * * * * [points]: Setting MPFR precision to 64
46.836 * * * * [points]: Setting MPFR precision to 320
46.851 * * * * [points]: Computing exacts on every 3 of 770 points to ramp up precision
46.858 * * * * [points]: Setting MPFR precision to 64
46.872 * * * * [points]: Setting MPFR precision to 320
46.896 * * * * [points]: Computing exacts for 770 points
46.904 * * * * [points]: Setting MPFR precision to 64
47.029 * * * * [points]: Setting MPFR precision to 320
47.110 * * * * [points]: Filtering points with unrepresentable outputs
47.111 * * * * [points]: Sampling 666 additional inputs, on iter 16 have 7334 / 8000
47.114 * * * * [points]: Computing exacts on every 41 of 666 points to ramp up precision
47.159 * * * * [points]: Setting MPFR precision to 64
47.165 * * * * [points]: Setting MPFR precision to 320
47.167 * * * * [points]: Computing exacts on every 20 of 666 points to ramp up precision
47.176 * * * * [points]: Setting MPFR precision to 64
47.180 * * * * [points]: Setting MPFR precision to 320
47.184 * * * * [points]: Computing exacts on every 10 of 666 points to ramp up precision
47.194 * * * * [points]: Setting MPFR precision to 64
47.200 * * * * [points]: Setting MPFR precision to 320
47.204 * * * * [points]: Computing exacts on every 5 of 666 points to ramp up precision
47.209 * * * * [points]: Setting MPFR precision to 64
47.218 * * * * [points]: Setting MPFR precision to 320
47.226 * * * * [points]: Computing exacts on every 2 of 666 points to ramp up precision
47.233 * * * * [points]: Setting MPFR precision to 64
47.250 * * * * [points]: Setting MPFR precision to 320
47.269 * * * * [points]: Computing exacts for 666 points
47.302 * * * * [points]: Setting MPFR precision to 64
47.369 * * * * [points]: Setting MPFR precision to 320
47.434 * * * * [points]: Filtering points with unrepresentable outputs
47.435 * * * * [points]: Sampling 576 additional inputs, on iter 17 have 7424 / 8000
47.437 * * * * [points]: Computing exacts on every 36 of 576 points to ramp up precision
47.478 * * * * [points]: Setting MPFR precision to 64
47.479 * * * * [points]: Setting MPFR precision to 320
47.481 * * * * [points]: Computing exacts on every 18 of 576 points to ramp up precision
47.485 * * * * [points]: Setting MPFR precision to 64
47.489 * * * * [points]: Setting MPFR precision to 320
47.492 * * * * [points]: Computing exacts on every 9 of 576 points to ramp up precision
47.497 * * * * [points]: Setting MPFR precision to 64
47.501 * * * * [points]: Setting MPFR precision to 320
47.506 * * * * [points]: Computing exacts on every 4 of 576 points to ramp up precision
47.514 * * * * [points]: Setting MPFR precision to 64
47.526 * * * * [points]: Setting MPFR precision to 320
47.534 * * * * [points]: Computing exacts on every 2 of 576 points to ramp up precision
47.539 * * * * [points]: Setting MPFR precision to 64
47.558 * * * * [points]: Setting MPFR precision to 320
47.584 * * * * [points]: Computing exacts for 576 points
47.591 * * * * [points]: Setting MPFR precision to 64
47.665 * * * * [points]: Setting MPFR precision to 320
47.744 * * * * [points]: Filtering points with unrepresentable outputs
47.745 * * * * [points]: Sampling 488 additional inputs, on iter 18 have 7512 / 8000
47.748 * * * * [points]: Computing exacts on every 30 of 488 points to ramp up precision
47.757 * * * * [points]: Setting MPFR precision to 64
47.760 * * * * [points]: Setting MPFR precision to 320
47.762 * * * * [points]: Computing exacts on every 15 of 488 points to ramp up precision
47.771 * * * * [points]: Setting MPFR precision to 64
47.775 * * * * [points]: Setting MPFR precision to 320
47.780 * * * * [points]: Computing exacts on every 7 of 488 points to ramp up precision
47.815 * * * * [points]: Setting MPFR precision to 64
47.820 * * * * [points]: Setting MPFR precision to 320
47.827 * * * * [points]: Computing exacts on every 3 of 488 points to ramp up precision
47.831 * * * * [points]: Setting MPFR precision to 64
47.847 * * * * [points]: Setting MPFR precision to 320
47.864 * * * * [points]: Computing exacts for 488 points
47.873 * * * * [points]: Setting MPFR precision to 64
47.913 * * * * [points]: Setting MPFR precision to 320
47.999 * * * * [points]: Filtering points with unrepresentable outputs
48.000 * * * * [points]: Sampling 419 additional inputs, on iter 19 have 7581 / 8000
48.004 * * * * [points]: Computing exacts on every 26 of 419 points to ramp up precision
48.014 * * * * [points]: Setting MPFR precision to 64
48.017 * * * * [points]: Setting MPFR precision to 320
48.019 * * * * [points]: Computing exacts on every 13 of 419 points to ramp up precision
48.028 * * * * [points]: Setting MPFR precision to 64
48.033 * * * * [points]: Setting MPFR precision to 320
48.037 * * * * [points]: Computing exacts on every 6 of 419 points to ramp up precision
48.046 * * * * [points]: Setting MPFR precision to 64
48.054 * * * * [points]: Setting MPFR precision to 320
48.062 * * * * [points]: Computing exacts on every 3 of 419 points to ramp up precision
48.072 * * * * [points]: Setting MPFR precision to 64
48.086 * * * * [points]: Setting MPFR precision to 320
48.100 * * * * [points]: Computing exacts for 419 points
48.110 * * * * [points]: Setting MPFR precision to 64
48.180 * * * * [points]: Setting MPFR precision to 320
48.240 * * * * [points]: Filtering points with unrepresentable outputs
48.240 * * * * [points]: Sampling 370 additional inputs, on iter 20 have 7630 / 8000
48.243 * * * * [points]: Computing exacts on every 23 of 370 points to ramp up precision
48.252 * * * * [points]: Setting MPFR precision to 64
48.254 * * * * [points]: Setting MPFR precision to 320
48.255 * * * * [points]: Computing exacts on every 11 of 370 points to ramp up precision
48.259 * * * * [points]: Setting MPFR precision to 64
48.261 * * * * [points]: Setting MPFR precision to 320
48.264 * * * * [points]: Computing exacts on every 5 of 370 points to ramp up precision
48.268 * * * * [points]: Setting MPFR precision to 64
48.273 * * * * [points]: Setting MPFR precision to 320
48.277 * * * * [points]: Computing exacts on every 2 of 370 points to ramp up precision
48.282 * * * * [points]: Setting MPFR precision to 64
48.291 * * * * [points]: Setting MPFR precision to 320
48.307 * * * * [points]: Computing exacts for 370 points
48.316 * * * * [points]: Setting MPFR precision to 64
48.369 * * * * [points]: Setting MPFR precision to 320
48.409 * * * * [points]: Filtering points with unrepresentable outputs
48.410 * * * * [points]: Sampling 330 additional inputs, on iter 21 have 7670 / 8000
48.411 * * * * [points]: Computing exacts on every 20 of 330 points to ramp up precision
48.416 * * * * [points]: Setting MPFR precision to 64
48.417 * * * * [points]: Setting MPFR precision to 320
48.418 * * * * [points]: Computing exacts on every 10 of 330 points to ramp up precision
48.423 * * * * [points]: Setting MPFR precision to 64
48.425 * * * * [points]: Setting MPFR precision to 320
48.428 * * * * [points]: Computing exacts on every 5 of 330 points to ramp up precision
48.432 * * * * [points]: Setting MPFR precision to 64
48.436 * * * * [points]: Setting MPFR precision to 320
48.440 * * * * [points]: Computing exacts on every 2 of 330 points to ramp up precision
48.445 * * * * [points]: Setting MPFR precision to 64
48.480 * * * * [points]: Setting MPFR precision to 320
48.490 * * * * [points]: Computing exacts for 330 points
48.495 * * * * [points]: Setting MPFR precision to 64
48.522 * * * * [points]: Setting MPFR precision to 320
48.569 * * * * [points]: Filtering points with unrepresentable outputs
48.569 * * * * [points]: Sampling 292 additional inputs, on iter 22 have 7708 / 8000
48.571 * * * * [points]: Computing exacts on every 18 of 292 points to ramp up precision
48.577 * * * * [points]: Setting MPFR precision to 64
48.578 * * * * [points]: Setting MPFR precision to 320
48.580 * * * * [points]: Computing exacts on every 9 of 292 points to ramp up precision
48.584 * * * * [points]: Setting MPFR precision to 64
48.587 * * * * [points]: Setting MPFR precision to 320
48.589 * * * * [points]: Computing exacts on every 4 of 292 points to ramp up precision
48.594 * * * * [points]: Setting MPFR precision to 64
48.598 * * * * [points]: Setting MPFR precision to 320
48.603 * * * * [points]: Computing exacts on every 2 of 292 points to ramp up precision
48.644 * * * * [points]: Setting MPFR precision to 64
48.660 * * * * [points]: Setting MPFR precision to 320
48.673 * * * * [points]: Computing exacts for 292 points
48.681 * * * * [points]: Setting MPFR precision to 64
48.723 * * * * [points]: Setting MPFR precision to 320
48.749 * * * * [points]: Filtering points with unrepresentable outputs
48.749 * * * * [points]: Sampling 250 additional inputs, on iter 23 have 7750 / 8000
48.750 * * * * [points]: Computing exacts on every 15 of 250 points to ramp up precision
48.755 * * * * [points]: Setting MPFR precision to 64
48.756 * * * * [points]: Setting MPFR precision to 320
48.757 * * * * [points]: Computing exacts on every 7 of 250 points to ramp up precision
48.762 * * * * [points]: Setting MPFR precision to 64
48.764 * * * * [points]: Setting MPFR precision to 320
48.767 * * * * [points]: Computing exacts on every 3 of 250 points to ramp up precision
48.773 * * * * [points]: Setting MPFR precision to 64
48.809 * * * * [points]: Setting MPFR precision to 320
48.819 * * * * [points]: Computing exacts for 250 points
48.824 * * * * [points]: Setting MPFR precision to 64
48.842 * * * * [points]: Setting MPFR precision to 320
48.860 * * * * [points]: Filtering points with unrepresentable outputs
48.860 * * * * [points]: Sampling 207 additional inputs, on iter 24 have 7793 / 8000
48.861 * * * * [points]: Computing exacts on every 12 of 207 points to ramp up precision
48.866 * * * * [points]: Setting MPFR precision to 64
48.867 * * * * [points]: Setting MPFR precision to 320
48.869 * * * * [points]: Computing exacts on every 6 of 207 points to ramp up precision
48.873 * * * * [points]: Setting MPFR precision to 64
48.875 * * * * [points]: Setting MPFR precision to 320
48.877 * * * * [points]: Computing exacts on every 3 of 207 points to ramp up precision
48.883 * * * * [points]: Setting MPFR precision to 64
48.890 * * * * [points]: Setting MPFR precision to 320
48.897 * * * * [points]: Computing exacts for 207 points
48.905 * * * * [points]: Setting MPFR precision to 64
49.372 * * * * [points]: Setting MPFR precision to 320
49.391 * * * * [points]: Filtering points with unrepresentable outputs
49.391 * * * * [points]: Sampling 181 additional inputs, on iter 25 have 7819 / 8000
49.392 * * * * [points]: Computing exacts on every 11 of 181 points to ramp up precision
49.397 * * * * [points]: Setting MPFR precision to 64
49.399 * * * * [points]: Setting MPFR precision to 320
49.400 * * * * [points]: Computing exacts on every 5 of 181 points to ramp up precision
49.404 * * * * [points]: Setting MPFR precision to 64
49.407 * * * * [points]: Setting MPFR precision to 320
49.409 * * * * [points]: Computing exacts on every 2 of 181 points to ramp up precision
49.415 * * * * [points]: Setting MPFR precision to 64
49.420 * * * * [points]: Setting MPFR precision to 320
49.425 * * * * [points]: Computing exacts for 181 points
49.429 * * * * [points]: Setting MPFR precision to 64
49.448 * * * * [points]: Setting MPFR precision to 320
49.461 * * * * [points]: Filtering points with unrepresentable outputs
49.461 * * * * [points]: Sampling 157 additional inputs, on iter 26 have 7843 / 8000
49.462 * * * * [points]: Computing exacts on every 9 of 157 points to ramp up precision
49.467 * * * * [points]: Setting MPFR precision to 64
49.468 * * * * [points]: Setting MPFR precision to 320
49.491 * * * * [points]: Computing exacts on every 4 of 157 points to ramp up precision
49.498 * * * * [points]: Setting MPFR precision to 64
49.502 * * * * [points]: Setting MPFR precision to 320
49.505 * * * * [points]: Computing exacts on every 2 of 157 points to ramp up precision
49.509 * * * * [points]: Setting MPFR precision to 64
49.513 * * * * [points]: Setting MPFR precision to 320
49.517 * * * * [points]: Computing exacts for 157 points
49.522 * * * * [points]: Setting MPFR precision to 64
49.533 * * * * [points]: Setting MPFR precision to 320
49.545 * * * * [points]: Filtering points with unrepresentable outputs
49.545 * * * * [points]: Sampling 133 additional inputs, on iter 27 have 7867 / 8000
49.546 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
49.552 * * * * [points]: Setting MPFR precision to 64
49.553 * * * * [points]: Setting MPFR precision to 320
49.555 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
49.559 * * * * [points]: Setting MPFR precision to 64
49.562 * * * * [points]: Setting MPFR precision to 320
49.564 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
49.568 * * * * [points]: Setting MPFR precision to 64
49.572 * * * * [points]: Setting MPFR precision to 320
49.575 * * * * [points]: Computing exacts for 133 points
49.581 * * * * [points]: Setting MPFR precision to 64
49.627 * * * * [points]: Setting MPFR precision to 320
49.637 * * * * [points]: Filtering points with unrepresentable outputs
49.637 * * * * [points]: Sampling 114 additional inputs, on iter 28 have 7886 / 8000
49.638 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
49.642 * * * * [points]: Setting MPFR precision to 64
49.643 * * * * [points]: Setting MPFR precision to 320
49.645 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
49.649 * * * * [points]: Setting MPFR precision to 64
49.651 * * * * [points]: Setting MPFR precision to 320
49.654 * * * * [points]: Computing exacts for 114 points
49.663 * * * * [points]: Setting MPFR precision to 64
49.678 * * * * [points]: Setting MPFR precision to 320
49.694 * * * * [points]: Filtering points with unrepresentable outputs
49.694 * * * * [points]: Sampling 91 additional inputs, on iter 29 have 7909 / 8000
49.695 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
49.704 * * * * [points]: Setting MPFR precision to 64
49.706 * * * * [points]: Setting MPFR precision to 320
49.708 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
49.718 * * * * [points]: Setting MPFR precision to 64
49.722 * * * * [points]: Setting MPFR precision to 320
49.726 * * * * [points]: Computing exacts for 91 points
49.735 * * * * [points]: Setting MPFR precision to 64
49.747 * * * * [points]: Setting MPFR precision to 320
49.792 * * * * [points]: Filtering points with unrepresentable outputs
49.792 * * * * [points]: Sampling 79 additional inputs, on iter 30 have 7921 / 8000
49.793 * * * * [points]: Computing exacts on every 4 of 79 points to ramp up precision
49.805 * * * * [points]: Setting MPFR precision to 64
49.807 * * * * [points]: Setting MPFR precision to 320
49.809 * * * * [points]: Computing exacts on every 2 of 79 points to ramp up precision
49.819 * * * * [points]: Setting MPFR precision to 64
49.823 * * * * [points]: Setting MPFR precision to 320
49.826 * * * * [points]: Computing exacts for 79 points
49.836 * * * * [points]: Setting MPFR precision to 64
49.850 * * * * [points]: Setting MPFR precision to 320
49.861 * * * * [points]: Filtering points with unrepresentable outputs
49.861 * * * * [points]: Sampling 66 additional inputs, on iter 31 have 7934 / 8000
49.861 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
49.866 * * * * [points]: Setting MPFR precision to 64
49.867 * * * * [points]: Setting MPFR precision to 320
49.868 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
49.872 * * * * [points]: Setting MPFR precision to 64
49.874 * * * * [points]: Setting MPFR precision to 320
49.875 * * * * [points]: Computing exacts for 66 points
49.880 * * * * [points]: Setting MPFR precision to 64
49.885 * * * * [points]: Setting MPFR precision to 320
49.890 * * * * [points]: Filtering points with unrepresentable outputs
49.890 * * * * [points]: Sampling 61 additional inputs, on iter 32 have 7939 / 8000
49.890 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
49.894 * * * * [points]: Setting MPFR precision to 64
49.896 * * * * [points]: Setting MPFR precision to 320
49.897 * * * * [points]: Computing exacts for 61 points
49.901 * * * * [points]: Setting MPFR precision to 64
49.906 * * * * [points]: Setting MPFR precision to 320
49.934 * * * * [points]: Filtering points with unrepresentable outputs
49.935 * * * * [points]: Sampling 51 additional inputs, on iter 33 have 7949 / 8000
49.935 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
49.947 * * * * [points]: Setting MPFR precision to 64
49.949 * * * * [points]: Setting MPFR precision to 320
49.951 * * * * [points]: Computing exacts for 51 points
49.960 * * * * [points]: Setting MPFR precision to 64
49.968 * * * * [points]: Setting MPFR precision to 320
49.976 * * * * [points]: Filtering points with unrepresentable outputs
49.976 * * * * [points]: Sampling 44 additional inputs, on iter 34 have 7956 / 8000
49.977 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
49.986 * * * * [points]: Setting MPFR precision to 64
49.988 * * * * [points]: Setting MPFR precision to 320
49.990 * * * * [points]: Computing exacts for 44 points
49.999 * * * * [points]: Setting MPFR precision to 64
50.005 * * * * [points]: Setting MPFR precision to 320
50.011 * * * * [points]: Filtering points with unrepresentable outputs
50.011 * * * * [points]: Sampling 38 additional inputs, on iter 35 have 7962 / 8000
50.011 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
50.020 * * * * [points]: Setting MPFR precision to 64
50.022 * * * * [points]: Setting MPFR precision to 320
50.024 * * * * [points]: Computing exacts for 38 points
50.033 * * * * [points]: Setting MPFR precision to 64
50.039 * * * * [points]: Setting MPFR precision to 320
50.044 * * * * [points]: Filtering points with unrepresentable outputs
50.044 * * * * [points]: Sampling 32 additional inputs, on iter 36 have 7968 / 8000
50.045 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
50.055 * * * * [points]: Setting MPFR precision to 64
50.057 * * * * [points]: Setting MPFR precision to 320
50.058 * * * * [points]: Computing exacts for 32 points
50.067 * * * * [points]: Setting MPFR precision to 64
50.071 * * * * [points]: Setting MPFR precision to 320
50.076 * * * * [points]: Filtering points with unrepresentable outputs
50.076 * * * * [points]: Sampling 29 additional inputs, on iter 37 have 7971 / 8000
50.076 * * * * [points]: Computing exacts for 29 points
50.101 * * * * [points]: Setting MPFR precision to 64
50.104 * * * * [points]: Setting MPFR precision to 320
50.106 * * * * [points]: Filtering points with unrepresentable outputs
50.106 * * * * [points]: Sampling 27 additional inputs, on iter 38 have 7973 / 8000
50.106 * * * * [points]: Computing exacts for 27 points
50.111 * * * * [points]: Setting MPFR precision to 64
50.113 * * * * [points]: Setting MPFR precision to 320
50.117 * * * * [points]: Filtering points with unrepresentable outputs
50.117 * * * * [points]: Sampling 23 additional inputs, on iter 39 have 7977 / 8000
50.117 * * * * [points]: Computing exacts for 23 points
50.122 * * * * [points]: Setting MPFR precision to 64
50.124 * * * * [points]: Setting MPFR precision to 320
50.126 * * * * [points]: Filtering points with unrepresentable outputs
50.126 * * * * [points]: Sampling 18 additional inputs, on iter 40 have 7982 / 8000
50.126 * * * * [points]: Computing exacts for 18 points
50.130 * * * * [points]: Setting MPFR precision to 64
50.132 * * * * [points]: Setting MPFR precision to 320
50.133 * * * * [points]: Filtering points with unrepresentable outputs
50.133 * * * * [points]: Sampling 16 additional inputs, on iter 41 have 7984 / 8000
50.133 * * * * [points]: Computing exacts for 16 points
50.138 * * * * [points]: Setting MPFR precision to 64
50.139 * * * * [points]: Setting MPFR precision to 320
50.140 * * * * [points]: Filtering points with unrepresentable outputs
50.140 * * * * [points]: Sampling 13 additional inputs, on iter 42 have 7987 / 8000
50.141 * * * * [points]: Computing exacts for 13 points
50.145 * * * * [points]: Setting MPFR precision to 64
50.146 * * * * [points]: Setting MPFR precision to 320
50.147 * * * * [points]: Filtering points with unrepresentable outputs
50.147 * * * * [points]: Sampling 12 additional inputs, on iter 43 have 7988 / 8000
50.147 * * * * [points]: Computing exacts for 12 points
50.152 * * * * [points]: Setting MPFR precision to 64
50.153 * * * * [points]: Setting MPFR precision to 320
50.154 * * * * [points]: Filtering points with unrepresentable outputs
50.154 * * * * [points]: Sampling 10 additional inputs, on iter 44 have 7990 / 8000
50.154 * * * * [points]: Computing exacts for 10 points
50.159 * * * * [points]: Setting MPFR precision to 64
50.160 * * * * [points]: Setting MPFR precision to 320
50.161 * * * * [points]: Filtering points with unrepresentable outputs
50.161 * * * * [points]: Sampling 7 additional inputs, on iter 45 have 7993 / 8000
50.161 * * * * [points]: Computing exacts for 7 points
50.170 * * * * [points]: Setting MPFR precision to 64
50.171 * * * * [points]: Setting MPFR precision to 320
50.172 * * * * [points]: Filtering points with unrepresentable outputs
50.172 * * * * [points]: Sampling 5 additional inputs, on iter 46 have 7995 / 8000
50.173 * * * * [points]: Computing exacts for 5 points
50.181 * * * * [points]: Setting MPFR precision to 64
50.182 * * * * [points]: Setting MPFR precision to 320
50.183 * * * * [points]: Filtering points with unrepresentable outputs
50.183 * * * * [points]: Sampling 5 additional inputs, on iter 47 have 7995 / 8000
50.183 * * * * [points]: Computing exacts for 5 points
50.208 * * * * [points]: Setting MPFR precision to 64
50.209 * * * * [points]: Setting MPFR precision to 320
50.212 * * * * [points]: Filtering points with unrepresentable outputs
50.212 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 7996 / 8000
50.212 * * * * [points]: Computing exacts for 4 points
50.221 * * * * [points]: Setting MPFR precision to 64
50.222 * * * * [points]: Setting MPFR precision to 320
50.222 * * * * [points]: Filtering points with unrepresentable outputs
50.222 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7996 / 8000
50.223 * * * * [points]: Computing exacts for 4 points
50.231 * * * * [points]: Setting MPFR precision to 64
50.232 * * * * [points]: Setting MPFR precision to 320
50.233 * * * * [points]: Filtering points with unrepresentable outputs
50.233 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7996 / 8000
50.233 * * * * [points]: Computing exacts for 4 points
50.241 * * * * [points]: Setting MPFR precision to 64
50.242 * * * * [points]: Setting MPFR precision to 320
50.243 * * * * [points]: Filtering points with unrepresentable outputs
50.243 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7997 / 8000
50.243 * * * * [points]: Computing exacts for 4 points
50.252 * * * * [points]: Setting MPFR precision to 64
50.253 * * * * [points]: Setting MPFR precision to 320
50.254 * * * * [points]: Filtering points with unrepresentable outputs
50.254 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7997 / 8000
50.254 * * * * [points]: Computing exacts for 4 points
50.263 * * * * [points]: Setting MPFR precision to 64
50.263 * * * * [points]: Setting MPFR precision to 320
50.264 * * * * [points]: Filtering points with unrepresentable outputs
50.264 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7998 / 8000
50.264 * * * * [points]: Computing exacts for 4 points
50.273 * * * * [points]: Setting MPFR precision to 64
50.274 * * * * [points]: Setting MPFR precision to 320
50.274 * * * * [points]: Filtering points with unrepresentable outputs
50.274 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7999 / 8000
50.275 * * * * [points]: Computing exacts for 4 points
50.283 * * * * [points]: Setting MPFR precision to 64
50.284 * * * * [points]: Setting MPFR precision to 320
50.284 * * * * [points]: Filtering points with unrepresentable outputs
50.284 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7999 / 8000
50.284 * * * * [points]: Computing exacts for 4 points
50.292 * * * * [points]: Setting MPFR precision to 64
50.293 * * * * [points]: Setting MPFR precision to 320
50.294 * * * * [points]: Filtering points with unrepresentable outputs
50.294 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7999 / 8000
50.294 * * * * [points]: Computing exacts for 4 points
50.303 * * * * [points]: Setting MPFR precision to 64
50.304 * * * * [points]: Setting MPFR precision to 320
50.305 * * * * [points]: Filtering points with unrepresentable outputs
50.305 * * * * [points]: Sampled 8000 points with exact outputs
62.970 * [regime-testing]: Baseline error score: 64.0
62.977 * [regime-testing]: Oracle error score: 64.0
62.989 * [regime-testing]: End program error score: 1.4672643131334502