0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.038 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.047 * * * * [points]: Setting MPFR precision to 64
0.053 * * * * [points]: Setting MPFR precision to 320
0.059 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.068 * * * * [points]: Setting MPFR precision to 64
0.079 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Computing exacts for 256 points
0.099 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.168 * * * * [points]: Filtering points with unrepresentable outputs
0.168 * * * * [points]: Sampling 222 additional inputs, on iter 1 have 34 / 256
0.170 * * * * [points]: Computing exacts on every 13 of 222 points to ramp up precision
0.179 * * * * [points]: Setting MPFR precision to 64
0.182 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Computing exacts on every 6 of 222 points to ramp up precision
0.193 * * * * [points]: Setting MPFR precision to 64
0.197 * * * * [points]: Setting MPFR precision to 320
0.223 * * * * [points]: Computing exacts on every 3 of 222 points to ramp up precision
0.228 * * * * [points]: Setting MPFR precision to 64
0.234 * * * * [points]: Setting MPFR precision to 320
0.238 * * * * [points]: Computing exacts for 222 points
0.243 * * * * [points]: Setting MPFR precision to 64
0.258 * * * * [points]: Setting MPFR precision to 320
0.275 * * * * [points]: Filtering points with unrepresentable outputs
0.275 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.276 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.280 * * * * [points]: Setting MPFR precision to 64
0.282 * * * * [points]: Setting MPFR precision to 320
0.283 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.288 * * * * [points]: Setting MPFR precision to 64
0.290 * * * * [points]: Setting MPFR precision to 320
0.293 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.298 * * * * [points]: Setting MPFR precision to 64
0.301 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Computing exacts for 194 points
0.311 * * * * [points]: Setting MPFR precision to 64
0.345 * * * * [points]: Setting MPFR precision to 320
0.364 * * * * [points]: Filtering points with unrepresentable outputs
0.365 * * * * [points]: Sampling 171 additional inputs, on iter 3 have 85 / 256
0.366 * * * * [points]: Computing exacts on every 10 of 171 points to ramp up precision
0.374 * * * * [points]: Setting MPFR precision to 64
0.377 * * * * [points]: Setting MPFR precision to 320
0.379 * * * * [points]: Computing exacts on every 5 of 171 points to ramp up precision
0.387 * * * * [points]: Setting MPFR precision to 64
0.391 * * * * [points]: Setting MPFR precision to 320
0.394 * * * * [points]: Computing exacts on every 2 of 171 points to ramp up precision
0.402 * * * * [points]: Setting MPFR precision to 64
0.409 * * * * [points]: Setting MPFR precision to 320
0.416 * * * * [points]: Computing exacts for 171 points
0.425 * * * * [points]: Setting MPFR precision to 64
0.445 * * * * [points]: Setting MPFR precision to 320
0.466 * * * * [points]: Filtering points with unrepresentable outputs
0.466 * * * * [points]: Sampling 153 additional inputs, on iter 4 have 103 / 256
0.467 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.504 * * * * [points]: Setting MPFR precision to 64
0.506 * * * * [points]: Setting MPFR precision to 320
0.508 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.520 * * * * [points]: Setting MPFR precision to 64
0.524 * * * * [points]: Setting MPFR precision to 320
0.527 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.535 * * * * [points]: Setting MPFR precision to 64
0.541 * * * * [points]: Setting MPFR precision to 320
0.547 * * * * [points]: Computing exacts for 153 points
0.556 * * * * [points]: Setting MPFR precision to 64
0.574 * * * * [points]: Setting MPFR precision to 320
0.592 * * * * [points]: Filtering points with unrepresentable outputs
0.592 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 130 / 256
0.593 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.601 * * * * [points]: Setting MPFR precision to 64
0.603 * * * * [points]: Setting MPFR precision to 320
0.605 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.614 * * * * [points]: Setting MPFR precision to 64
0.618 * * * * [points]: Setting MPFR precision to 320
0.622 * * * * [points]: Computing exacts for 126 points
0.630 * * * * [points]: Setting MPFR precision to 64
0.645 * * * * [points]: Setting MPFR precision to 320
0.692 * * * * [points]: Filtering points with unrepresentable outputs
0.693 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 145 / 256
0.697 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.706 * * * * [points]: Setting MPFR precision to 64
0.708 * * * * [points]: Setting MPFR precision to 320
0.710 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.719 * * * * [points]: Setting MPFR precision to 64
0.724 * * * * [points]: Setting MPFR precision to 320
0.728 * * * * [points]: Computing exacts for 111 points
0.737 * * * * [points]: Setting MPFR precision to 64
0.752 * * * * [points]: Setting MPFR precision to 320
0.767 * * * * [points]: Filtering points with unrepresentable outputs
0.767 * * * * [points]: Sampling 102 additional inputs, on iter 7 have 154 / 256
0.768 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
0.776 * * * * [points]: Setting MPFR precision to 64
0.777 * * * * [points]: Setting MPFR precision to 320
0.778 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
0.783 * * * * [points]: Setting MPFR precision to 64
0.785 * * * * [points]: Setting MPFR precision to 320
0.787 * * * * [points]: Computing exacts for 102 points
0.791 * * * * [points]: Setting MPFR precision to 64
0.799 * * * * [points]: Setting MPFR precision to 320
0.807 * * * * [points]: Filtering points with unrepresentable outputs
0.807 * * * * [points]: Sampling 91 additional inputs, on iter 8 have 165 / 256
0.807 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
0.835 * * * * [points]: Setting MPFR precision to 64
0.837 * * * * [points]: Setting MPFR precision to 320
0.839 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
0.849 * * * * [points]: Setting MPFR precision to 64
0.852 * * * * [points]: Setting MPFR precision to 320
0.854 * * * * [points]: Computing exacts for 91 points
0.859 * * * * [points]: Setting MPFR precision to 64
0.866 * * * * [points]: Setting MPFR precision to 320
0.872 * * * * [points]: Filtering points with unrepresentable outputs
0.873 * * * * [points]: Sampling 83 additional inputs, on iter 9 have 173 / 256
0.873 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.881 * * * * [points]: Setting MPFR precision to 64
0.883 * * * * [points]: Setting MPFR precision to 320
0.885 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.893 * * * * [points]: Setting MPFR precision to 64
0.897 * * * * [points]: Setting MPFR precision to 320
0.900 * * * * [points]: Computing exacts for 83 points
0.909 * * * * [points]: Setting MPFR precision to 64
0.917 * * * * [points]: Setting MPFR precision to 320
0.923 * * * * [points]: Filtering points with unrepresentable outputs
0.923 * * * * [points]: Sampling 65 additional inputs, on iter 10 have 191 / 256
0.923 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.929 * * * * [points]: Setting MPFR precision to 64
0.931 * * * * [points]: Setting MPFR precision to 320
0.933 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.941 * * * * [points]: Setting MPFR precision to 64
0.944 * * * * [points]: Setting MPFR precision to 320
0.946 * * * * [points]: Computing exacts for 65 points
0.979 * * * * [points]: Setting MPFR precision to 64
0.989 * * * * [points]: Setting MPFR precision to 320
0.996 * * * * [points]: Filtering points with unrepresentable outputs
0.997 * * * * [points]: Sampling 58 additional inputs, on iter 11 have 198 / 256
0.997 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
1.005 * * * * [points]: Setting MPFR precision to 64
1.007 * * * * [points]: Setting MPFR precision to 320
1.009 * * * * [points]: Computing exacts for 58 points
1.016 * * * * [points]: Setting MPFR precision to 64
1.023 * * * * [points]: Setting MPFR precision to 320
1.029 * * * * [points]: Filtering points with unrepresentable outputs
1.030 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256
1.030 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
1.038 * * * * [points]: Setting MPFR precision to 64
1.040 * * * * [points]: Setting MPFR precision to 320
1.042 * * * * [points]: Computing exacts for 47 points
1.050 * * * * [points]: Setting MPFR precision to 64
1.055 * * * * [points]: Setting MPFR precision to 320
1.059 * * * * [points]: Filtering points with unrepresentable outputs
1.059 * * * * [points]: Sampling 39 additional inputs, on iter 13 have 217 / 256
1.060 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
1.064 * * * * [points]: Setting MPFR precision to 64
1.065 * * * * [points]: Setting MPFR precision to 320
1.066 * * * * [points]: Computing exacts for 39 points
1.071 * * * * [points]: Setting MPFR precision to 64
1.074 * * * * [points]: Setting MPFR precision to 320
1.077 * * * * [points]: Filtering points with unrepresentable outputs
1.077 * * * * [points]: Sampling 36 additional inputs, on iter 14 have 220 / 256
1.077 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1.082 * * * * [points]: Setting MPFR precision to 64
1.083 * * * * [points]: Setting MPFR precision to 320
1.085 * * * * [points]: Computing exacts for 36 points
1.116 * * * * [points]: Setting MPFR precision to 64
1.121 * * * * [points]: Setting MPFR precision to 320
1.129 * * * * [points]: Filtering points with unrepresentable outputs
1.129 * * * * [points]: Sampling 32 additional inputs, on iter 15 have 224 / 256
1.129 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.137 * * * * [points]: Setting MPFR precision to 64
1.138 * * * * [points]: Setting MPFR precision to 320
1.139 * * * * [points]: Computing exacts for 32 points
1.144 * * * * [points]: Setting MPFR precision to 64
1.146 * * * * [points]: Setting MPFR precision to 320
1.148 * * * * [points]: Filtering points with unrepresentable outputs
1.149 * * * * [points]: Sampling 30 additional inputs, on iter 16 have 226 / 256
1.149 * * * * [points]: Computing exacts for 30 points
1.157 * * * * [points]: Setting MPFR precision to 64
1.161 * * * * [points]: Setting MPFR precision to 320
1.164 * * * * [points]: Filtering points with unrepresentable outputs
1.164 * * * * [points]: Sampling 26 additional inputs, on iter 17 have 230 / 256
1.164 * * * * [points]: Computing exacts for 26 points
1.168 * * * * [points]: Setting MPFR precision to 64
1.170 * * * * [points]: Setting MPFR precision to 320
1.172 * * * * [points]: Filtering points with unrepresentable outputs
1.172 * * * * [points]: Sampling 20 additional inputs, on iter 18 have 236 / 256
1.172 * * * * [points]: Computing exacts for 20 points
1.177 * * * * [points]: Setting MPFR precision to 64
1.178 * * * * [points]: Setting MPFR precision to 320
1.180 * * * * [points]: Filtering points with unrepresentable outputs
1.180 * * * * [points]: Sampling 17 additional inputs, on iter 19 have 239 / 256
1.180 * * * * [points]: Computing exacts for 17 points
1.185 * * * * [points]: Setting MPFR precision to 64
1.186 * * * * [points]: Setting MPFR precision to 320
1.187 * * * * [points]: Filtering points with unrepresentable outputs
1.187 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
1.187 * * * * [points]: Computing exacts for 15 points
1.192 * * * * [points]: Setting MPFR precision to 64
1.193 * * * * [points]: Setting MPFR precision to 320
1.194 * * * * [points]: Filtering points with unrepresentable outputs
1.194 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.194 * * * * [points]: Computing exacts for 12 points
1.200 * * * * [points]: Setting MPFR precision to 64
1.201 * * * * [points]: Setting MPFR precision to 320
1.203 * * * * [points]: Filtering points with unrepresentable outputs
1.203 * * * * [points]: Sampling 9 additional inputs, on iter 22 have 247 / 256
1.203 * * * * [points]: Computing exacts for 9 points
1.227 * * * * [points]: Setting MPFR precision to 64
1.228 * * * * [points]: Setting MPFR precision to 320
1.229 * * * * [points]: Filtering points with unrepresentable outputs
1.229 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
1.229 * * * * [points]: Computing exacts for 7 points
1.233 * * * * [points]: Setting MPFR precision to 64
1.234 * * * * [points]: Setting MPFR precision to 320
1.234 * * * * [points]: Filtering points with unrepresentable outputs
1.234 * * * * [points]: Sampling 6 additional inputs, on iter 24 have 250 / 256
1.234 * * * * [points]: Computing exacts for 6 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 6 additional inputs, on iter 25 have 250 / 256
1.242 * * * * [points]: Computing exacts for 6 points
1.246 * * * * [points]: Setting MPFR precision to 64
1.247 * * * * [points]: Setting MPFR precision to 320
1.247 * * * * [points]: Filtering points with unrepresentable outputs
1.247 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 252 / 256
1.248 * * * * [points]: Computing exacts for 4 points
1.252 * * * * [points]: Setting MPFR precision to 64
1.253 * * * * [points]: Setting MPFR precision to 320
1.253 * * * * [points]: Filtering points with unrepresentable outputs
1.253 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 253 / 256
1.253 * * * * [points]: Computing exacts for 4 points
1.258 * * * * [points]: Setting MPFR precision to 64
1.258 * * * * [points]: Setting MPFR precision to 320
1.259 * * * * [points]: Filtering points with unrepresentable outputs
1.259 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 253 / 256
1.259 * * * * [points]: Computing exacts for 4 points
1.263 * * * * [points]: Setting MPFR precision to 64
1.264 * * * * [points]: Setting MPFR precision to 320
1.264 * * * * [points]: Filtering points with unrepresentable outputs
1.264 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
1.264 * * * * [points]: Computing exacts for 4 points
1.272 * * * * [points]: Setting MPFR precision to 64
1.272 * * * * [points]: Setting MPFR precision to 320
1.273 * * * * [points]: Filtering points with unrepresentable outputs
1.273 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.273 * * * * [points]: Computing exacts for 4 points
1.281 * * * * [points]: Setting MPFR precision to 64
1.282 * * * * [points]: Setting MPFR precision to 320
1.282 * * * * [points]: Filtering points with unrepresentable outputs
1.282 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
1.282 * * * * [points]: Computing exacts for 4 points
1.287 * * * * [points]: Setting MPFR precision to 64
1.287 * * * * [points]: Setting MPFR precision to 320
1.288 * * * * [points]: Filtering points with unrepresentable outputs
1.288 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
1.288 * * * * [points]: Computing exacts for 4 points
1.292 * * * * [points]: Setting MPFR precision to 64
1.293 * * * * [points]: Setting MPFR precision to 320
1.293 * * * * [points]: Filtering points with unrepresentable outputs
1.293 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 255 / 256
1.293 * * * * [points]: Computing exacts for 4 points
1.307 * * * * [points]: Setting MPFR precision to 64
1.308 * * * * [points]: Setting MPFR precision to 320
1.308 * * * * [points]: Filtering points with unrepresentable outputs
1.309 * * * * [points]: Sampled 256 points with exact outputs
1.309 * * * [progress]: [2/2] Setting up program.
1.325 * [progress]: [Phase 2 of 3] Improving.
1.325 * * * * [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.325 * [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.325 * * [simplify]: iteration 1: (19 enodes)
1.330 * * [simplify]: iteration 2: (76 enodes)
1.352 * * [simplify]: iteration 3: (344 enodes)
1.558 * * [simplify]: Extracting #0: cost 1 inf + 0
1.558 * * [simplify]: Extracting #1: cost 76 inf + 0
1.565 * * [simplify]: Extracting #2: cost 476 inf + 1
1.571 * * [simplify]: Extracting #3: cost 744 inf + 23847
1.584 * * [simplify]: Extracting #4: cost 692 inf + 133920
1.603 * * [simplify]: Extracting #5: cost 616 inf + 187628
1.621 * * [simplify]: Extracting #6: cost 579 inf + 209025
1.643 * * [simplify]: Extracting #7: cost 351 inf + 483855
1.722 * * [simplify]: Extracting #8: cost 57 inf + 913475
1.829 * * [simplify]: Extracting #9: cost 4 inf + 1018528
1.941 * * [simplify]: Extracting #10: cost 0 inf + 1031988
2.033 * [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 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
2.033 * * * * [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))))>
2.033 * [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 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))
2.069 * * [progress]: iteration 1 / 4
2.069 * * * [progress]: picking best candidate
2.100 * * * * [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.100 * * * [progress]: localizing error
2.394 * * * [progress]: generating rewritten candidates
2.394 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.407 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.414 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.418 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.427 * * * [progress]: generating series expansions
2.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.427 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.427 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.427 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.427 * * * [progress]: simplifying candidates
2.427 * * * * [progress]: [ 1 / 17 ] 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.427 * * * * [progress]: [ 2 / 17 ] 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.427 * * * * [progress]: [ 3 / 17 ] 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.427 * * * * [progress]: [ 4 / 17 ] 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.427 * * * * [progress]: [ 5 / 17 ] 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))))))>
2.427 * * * * [progress]: [ 6 / 17 ] 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))))>
2.427 * * * * [progress]: [ 7 / 17 ] 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))))))>
2.427 * * * * [progress]: [ 8 / 17 ] 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)))))>
2.427 * * * * [progress]: [ 9 / 17 ] 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))))>
2.427 * * * * [progress]: [ 10 / 17 ] 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))))>
2.428 * * * * [progress]: [ 11 / 17 ] 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))))>
2.428 * * * * [progress]: [ 12 / 17 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
2.428 * * * * [progress]: [ 13 / 17 ] 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 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0))))>
2.428 * * * * [progress]: [ 14 / 17 ] 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))))>
2.428 * * * * [progress]: [ 15 / 17 ] 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))))>
2.428 * * * * [progress]: [ 16 / 17 ] 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))))>
2.428 * * * * [progress]: [ 17 / 17 ] 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))))>
2.428 * [simplify]: Simplifying (/.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 (+.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 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 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 (+.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)))), (/.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 (+.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)))), (/.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))), (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))), (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)), (+.p16 beta (*.p16 (real->posit16 2) 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))), (/.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))), (/.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))), (/.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.429 * * [simplify]: iteration 1: (39 enodes)
2.439 * * [simplify]: iteration 2: (130 enodes)
2.474 * * [simplify]: iteration 3: (650 enodes)
3.462 * * [simplify]: Extracting #0: cost 13 inf + 0
3.463 * * [simplify]: Extracting #1: cost 388 inf + 0
3.469 * * [simplify]: Extracting #2: cost 1202 inf + 2
3.483 * * [simplify]: Extracting #3: cost 1864 inf + 2822
3.493 * * [simplify]: Extracting #4: cost 1789 inf + 91763
3.516 * * [simplify]: Extracting #5: cost 1499 inf + 433959
3.641 * * [simplify]: Extracting #6: cost 544 inf + 1755650
3.856 * * [simplify]: Extracting #7: cost 46 inf + 2604132
4.076 * * [simplify]: Extracting #8: cost 0 inf + 2692002
4.343 * * [simplify]: Extracting #9: cost 0 inf + 2691722
4.567 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))), (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))), (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (*.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (*.p16 (+.p16 (real->posit16 1.0) (+.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 (/.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (*.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)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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)))), (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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 alpha (+.p16 beta i)) (*.p16 i beta)), (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i beta)), (+.p16 (*.p16 (real->posit16 2) i) beta), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i))))
4.567 * * * * [progress]: [ 1 / 17 ] 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))))>
4.567 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.567 * * * * [progress]: [ 2 / 17 ] 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))))>
4.567 * [simplify]: Simplified (2 1 2) to (λ (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 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.567 * * * * [progress]: [ 3 / 17 ] 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))))>
4.567 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 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))))
4.568 * [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 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.568 * * * * [progress]: [ 4 / 17 ] 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))))>
4.568 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (*.p16 (+.p16 (real->posit16 1.0) (+.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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
4.568 * * * * [progress]: [ 5 / 17 ] 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))))))>
4.568 * [simplify]: Simplified (2 2) to (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))
4.568 * * * * [progress]: [ 6 / 17 ] 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))))>
4.568 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (*.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)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.569 * * * * [progress]: [ 7 / 17 ] 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.569 * [simplify]: Simplified (2 2) to (λ (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.569 * * * * [progress]: [ 8 / 17 ] 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.569 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (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)))))
4.569 * [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 (+.p16 beta i)) (*.p16 i (+.p16 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))))))
4.570 * * * * [progress]: [ 9 / 17 ] 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))))>
4.570 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i 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))))
4.570 * * * * [progress]: [ 10 / 17 ] 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))))>
4.570 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i 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))))
4.570 * * * * [progress]: [ 11 / 17 ] 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))))>
4.570 * * * * [progress]: [ 12 / 17 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
4.570 * [simplify]: Simplified (2 2 1 2 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 (real->posit16 2) i)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (real->posit16 1.0))))
4.570 * * * * [progress]: [ 13 / 17 ] 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 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0))))>
4.571 * * * * [progress]: [ 14 / 17 ] 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))))>
4.571 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.571 * * * * [progress]: [ 15 / 17 ] 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))))>
4.571 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.571 * * * * [progress]: [ 16 / 17 ] 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))))>
4.571 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.571 * * * * [progress]: [ 17 / 17 ] 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))))>
4.571 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.572 * * * [progress]: adding candidates to table
5.143 * * [progress]: iteration 2 / 4
5.143 * * * [progress]: picking best candidate
5.286 * * * * [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)))))>
5.286 * * * [progress]: localizing error
5.665 * * * [progress]: generating rewritten candidates
5.665 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
5.672 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
5.692 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.729 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.796 * * * [progress]: generating series expansions
5.796 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
5.796 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
5.796 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.796 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.796 * * * [progress]: simplifying candidates
5.796 * * * * [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)))))>
5.797 * * * * [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)))))>
5.797 * * * * [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))))))>
5.797 * * * * [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)))))>
5.797 * * * * [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)))))>
5.797 * * * * [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)))))>
5.797 * * * * [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)))))>
5.797 * * * * [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)))))>
5.797 * [simplify]: Simplifying (/.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 (+.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)) (real->posit16 1.0)) (+.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) (*.p16 (real->posit16 2) i))), (/.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))), (/.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))), (/.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))), (/.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)))
5.798 * * [simplify]: iteration 1: (27 enodes)
5.808 * * [simplify]: iteration 2: (92 enodes)
5.847 * * [simplify]: iteration 3: (412 enodes)
6.278 * * [simplify]: Extracting #0: cost 6 inf + 0
6.279 * * [simplify]: Extracting #1: cost 241 inf + 0
6.283 * * [simplify]: Extracting #2: cost 854 inf + 1
6.291 * * [simplify]: Extracting #3: cost 1166 inf + 2458
6.301 * * [simplify]: Extracting #4: cost 1160 inf + 12452
6.326 * * [simplify]: Extracting #5: cost 853 inf + 229639
6.416 * * [simplify]: Extracting #6: cost 150 inf + 982526
6.535 * * [simplify]: Extracting #7: cost 3 inf + 1196851
6.656 * * [simplify]: Extracting #8: cost 0 inf + 1190506
6.757 * * [simplify]: Extracting #9: cost 0 inf + 1188466
6.874 * * [simplify]: Extracting #10: cost 0 inf + 1188346
6.994 * [simplify]: Simplified to (/.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha i))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
6.994 * * * * [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)))))>
6.995 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha 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)))))
6.995 * * * * [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)))))>
6.995 * [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 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
6.995 * * * * [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))))))>
6.995 * [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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
6.996 * * * * [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)))))>
6.996 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.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)))))
6.996 * * * * [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)))))>
6.996 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.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)))))
6.996 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
6.996 * * * * [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)))))>
6.996 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.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)))))
6.997 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
6.997 * * * * [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)))))>
6.997 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.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)))))
6.997 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
6.997 * * * * [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)))))>
6.997 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.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)))))
6.998 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
6.998 * * * [progress]: adding candidates to table
7.305 * * [progress]: iteration 3 / 4
7.305 * * * [progress]: picking best candidate
7.564 * * * * [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)))))>
7.564 * * * [progress]: localizing error
7.957 * * * [progress]: generating rewritten candidates
7.957 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
7.964 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
7.982 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
8.100 * * * [progress]: generating series expansions
8.100 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
8.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
8.100 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.100 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
8.100 * * * [progress]: simplifying candidates
8.100 * * * * [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)))))>
8.100 * * * * [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))))))>
8.100 * * * * [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)))))>
8.101 * * * * [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)))))>
8.101 * * * * [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)))))>
8.101 * * * * [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)))))>
8.101 * * * * [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)))))>
8.101 * * * * [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)))))>
8.101 * [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 (+.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)) (real->posit16 1.0)) (+.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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) 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)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
8.102 * * [simplify]: iteration 1: (25 enodes)
8.108 * * [simplify]: iteration 2: (83 enodes)
8.129 * * [simplify]: iteration 3: (361 enodes)
8.453 * * [simplify]: Extracting #0: cost 5 inf + 0
8.453 * * [simplify]: Extracting #1: cost 112 inf + 0
8.454 * * [simplify]: Extracting #2: cost 485 inf + 0
8.457 * * [simplify]: Extracting #3: cost 741 inf + 7180
8.462 * * [simplify]: Extracting #4: cost 686 inf + 36178
8.474 * * [simplify]: Extracting #5: cost 526 inf + 186777
8.519 * * [simplify]: Extracting #6: cost 78 inf + 661222
8.573 * * [simplify]: Extracting #7: cost 0 inf + 759583
8.629 * * [simplify]: Extracting #8: cost 0 inf + 759023
8.684 * * [simplify]: Extracting #9: cost 0 inf + 758823
8.778 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))), (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) (-.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))), (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
8.778 * * * * [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)))))>
8.778 * [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 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
8.778 * * * * [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))))))>
8.778 * [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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) (-.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))))
8.779 * * * * [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)))))>
8.779 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.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)))))
8.779 * * * * [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)))))>
8.779 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.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)))))
8.779 * * * * [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)))))>
8.779 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.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)))))
8.780 * * * * [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)))))>
8.780 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.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)))))
8.780 * * * * [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)))))>
8.780 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.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)))))
8.780 * * * * [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)))))>
8.780 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.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)))))
8.781 * * * [progress]: adding candidates to table
9.149 * * [progress]: iteration 4 / 4
9.149 * * * [progress]: picking best candidate
9.589 * * * * [pick]: Picked  #<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)))))>
9.589 * * * [progress]: localizing error
10.187 * * * [progress]: generating rewritten candidates
10.187 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.195 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
10.212 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
10.214 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
10.250 * * * [progress]: generating series expansions
10.250 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.251 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
10.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
10.251 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
10.251 * * * [progress]: simplifying candidates
10.251 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.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)))))>
10.251 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.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)))))>
10.251 * * * * [progress]: [ 3 / 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 (*.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)))))>
10.251 * * * * [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 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))))))>
10.251 * * * * [progress]: [ 5 / 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)))))>
10.251 * * * * [progress]: [ 6 / 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)))))>
10.251 * * * * [progress]: [ 7 / 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)))))>
10.251 * * * * [progress]: [ 8 / 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)))))>
10.251 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))), (/.p16 (/.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 (+.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 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 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 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 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)))
10.252 * * [simplify]: iteration 1: (27 enodes)
10.258 * * [simplify]: iteration 2: (92 enodes)
10.281 * * [simplify]: iteration 3: (412 enodes)
10.758 * * [simplify]: Extracting #0: cost 5 inf + 0
10.759 * * [simplify]: Extracting #1: cost 154 inf + 0
10.762 * * [simplify]: Extracting #2: cost 697 inf + 1
10.770 * * [simplify]: Extracting #3: cost 1097 inf + 3504
10.781 * * [simplify]: Extracting #4: cost 1108 inf + 22201
10.806 * * [simplify]: Extracting #5: cost 898 inf + 205688
10.919 * * [simplify]: Extracting #6: cost 214 inf + 1005116
11.068 * * [simplify]: Extracting #7: cost 1 inf + 1155632
11.179 * * [simplify]: Extracting #8: cost 0 inf + 1113592
11.294 * * [simplify]: Extracting #9: cost 0 inf + 1112872
11.401 * * [simplify]: Extracting #10: cost 0 inf + 1112552
11.508 * [simplify]: Simplified to (/.p16 i (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))), (/.p16 i (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))) (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (-.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (real->posit16 1.0)))), (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
11.508 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.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)))))>
11.508 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.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)))))
11.508 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.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)))))>
11.508 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))) (+.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)))))
11.509 * * * * [progress]: [ 3 / 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 (*.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)))))>
11.509 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))) (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (-.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.509 * * * * [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 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))))))>
11.509 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)))))
11.510 * * * * [progress]: [ 5 / 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)))))>
11.510 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))) (/.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.510 * * * * [progress]: [ 6 / 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)))))>
11.510 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))) (/.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.510 * * * * [progress]: [ 7 / 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)))))>
11.510 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))) (/.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.511 * * * * [progress]: [ 8 / 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)))))>
11.511 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))) (/.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.511 * * * [progress]: adding candidates to table
11.872 * [progress]: [Phase 3 of 3] Extracting.
11.873 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.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 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 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 alpha (+.p16 beta i))) (*.p16 (*.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)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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 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 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 (+.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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.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)) (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 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)) (+.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 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 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 (*.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 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 (*.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)))))> #<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 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)))))>)
11.899 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
11.899 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.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 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 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 alpha (+.p16 beta i))) (*.p16 (*.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)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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 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 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 (+.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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.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)) (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 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)) (+.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 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 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 (*.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 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 (*.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)))))> #<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 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)))))>)
12.546 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.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 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 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 alpha (+.p16 beta i))) (*.p16 (*.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)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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 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 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 (+.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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.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)) (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 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)) (+.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 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 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 (*.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 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 (*.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)))))> #<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 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)))))>)
13.203 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.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 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 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 alpha (+.p16 beta i))) (*.p16 (*.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)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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 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 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 (+.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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.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)) (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 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)) (+.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 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 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 (*.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 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 (*.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)))))> #<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 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)))))>)
13.819 * * * [regime]: Found split indices: #<option (#s(si 9 256))>
13.819 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 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)) (+.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))))
13.819 * * [simplify]: iteration 1: (22 enodes)
13.821 * * [simplify]: Extracting #0: cost 1 inf + 0
13.821 * * [simplify]: Extracting #1: cost 3 inf + 0
13.821 * * [simplify]: Extracting #2: cost 7 inf + 0
13.821 * * [simplify]: Extracting #3: cost 13 inf + 0
13.821 * * [simplify]: Extracting #4: cost 17 inf + 1
13.821 * * [simplify]: Extracting #5: cost 18 inf + 3
13.821 * * [simplify]: Extracting #6: cost 15 inf + 369
13.821 * * [simplify]: Extracting #7: cost 11 inf + 857
13.821 * * [simplify]: Extracting #8: cost 7 inf + 3230
13.822 * * [simplify]: Extracting #9: cost 2 inf + 8694
13.822 * * [simplify]: Extracting #10: cost 1 inf + 10499
13.822 * * [simplify]: Extracting #11: cost 0 inf + 14264
13.823 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 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)) (+.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))))
13.823 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.857 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.865 * * * * [points]: Setting MPFR precision to 64
13.868 * * * * [points]: Setting MPFR precision to 320
13.870 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
13.879 * * * * [points]: Setting MPFR precision to 64
13.884 * * * * [points]: Setting MPFR precision to 320
13.887 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
13.891 * * * * [points]: Setting MPFR precision to 64
13.896 * * * * [points]: Setting MPFR precision to 320
13.901 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
13.906 * * * * [points]: Setting MPFR precision to 64
13.928 * * * * [points]: Setting MPFR precision to 320
13.937 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
13.942 * * * * [points]: Setting MPFR precision to 64
13.962 * * * * [points]: Setting MPFR precision to 320
13.981 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
13.986 * * * * [points]: Setting MPFR precision to 64
14.028 * * * * [points]: Setting MPFR precision to 320
14.095 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.101 * * * * [points]: Setting MPFR precision to 64
14.244 * * * * [points]: Setting MPFR precision to 320
14.329 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.334 * * * * [points]: Setting MPFR precision to 64
14.545 * * * * [points]: Setting MPFR precision to 320
14.729 * * * * [points]: Computing exacts for 8000 points
14.734 * * * * [points]: Setting MPFR precision to 64
16.196 * * * * [points]: Setting MPFR precision to 320
17.525 * * * * [points]: Filtering points with unrepresentable outputs
17.573 * * * * [points]: Sampling 6911 additional inputs, on iter 1 have 1089 / 8000
17.610 * * * * [points]: Computing exacts on every 431 of 6911 points to ramp up precision
17.617 * * * * [points]: Setting MPFR precision to 64
17.620 * * * * [points]: Setting MPFR precision to 320
17.622 * * * * [points]: Computing exacts on every 215 of 6911 points to ramp up precision
17.631 * * * * [points]: Setting MPFR precision to 64
17.636 * * * * [points]: Setting MPFR precision to 320
17.641 * * * * [points]: Computing exacts on every 107 of 6911 points to ramp up precision
17.650 * * * * [points]: Setting MPFR precision to 64
17.658 * * * * [points]: Setting MPFR precision to 320
17.667 * * * * [points]: Computing exacts on every 53 of 6911 points to ramp up precision
17.677 * * * * [points]: Setting MPFR precision to 64
17.695 * * * * [points]: Setting MPFR precision to 320
17.713 * * * * [points]: Computing exacts on every 26 of 6911 points to ramp up precision
17.723 * * * * [points]: Setting MPFR precision to 64
17.792 * * * * [points]: Setting MPFR precision to 320
17.813 * * * * [points]: Computing exacts on every 13 of 6911 points to ramp up precision
17.818 * * * * [points]: Setting MPFR precision to 64
17.879 * * * * [points]: Setting MPFR precision to 320
17.945 * * * * [points]: Computing exacts on every 6 of 6911 points to ramp up precision
17.955 * * * * [points]: Setting MPFR precision to 64
18.139 * * * * [points]: Setting MPFR precision to 320
18.336 * * * * [points]: Computing exacts on every 3 of 6911 points to ramp up precision
18.346 * * * * [points]: Setting MPFR precision to 64
18.635 * * * * [points]: Setting MPFR precision to 320
19.174 * * * * [points]: Computing exacts for 6911 points
19.179 * * * * [points]: Setting MPFR precision to 64
19.937 * * * * [points]: Setting MPFR precision to 320
20.807 * * * * [points]: Filtering points with unrepresentable outputs
20.810 * * * * [points]: Sampling 5930 additional inputs, on iter 2 have 2070 / 8000
20.836 * * * * [points]: Computing exacts on every 370 of 5930 points to ramp up precision
20.841 * * * * [points]: Setting MPFR precision to 64
20.843 * * * * [points]: Setting MPFR precision to 320
20.844 * * * * [points]: Computing exacts on every 185 of 5930 points to ramp up precision
20.848 * * * * [points]: Setting MPFR precision to 64
20.851 * * * * [points]: Setting MPFR precision to 320
20.853 * * * * [points]: Computing exacts on every 92 of 5930 points to ramp up precision
20.858 * * * * [points]: Setting MPFR precision to 64
20.862 * * * * [points]: Setting MPFR precision to 320
20.867 * * * * [points]: Computing exacts on every 46 of 5930 points to ramp up precision
20.872 * * * * [points]: Setting MPFR precision to 64
20.900 * * * * [points]: Setting MPFR precision to 320
20.910 * * * * [points]: Computing exacts on every 23 of 5930 points to ramp up precision
20.915 * * * * [points]: Setting MPFR precision to 64
20.935 * * * * [points]: Setting MPFR precision to 320
20.965 * * * * [points]: Computing exacts on every 11 of 5930 points to ramp up precision
20.974 * * * * [points]: Setting MPFR precision to 64
21.043 * * * * [points]: Setting MPFR precision to 320
21.142 * * * * [points]: Computing exacts on every 5 of 5930 points to ramp up precision
21.147 * * * * [points]: Setting MPFR precision to 64
21.254 * * * * [points]: Setting MPFR precision to 320
21.384 * * * * [points]: Computing exacts on every 2 of 5930 points to ramp up precision
21.396 * * * * [points]: Setting MPFR precision to 64
22.158 * * * * [points]: Setting MPFR precision to 320
22.396 * * * * [points]: Computing exacts for 5930 points
22.401 * * * * [points]: Setting MPFR precision to 64
22.979 * * * * [points]: Setting MPFR precision to 320
23.717 * * * * [points]: Filtering points with unrepresentable outputs
23.724 * * * * [points]: Sampling 5121 additional inputs, on iter 3 have 2879 / 8000
23.767 * * * * [points]: Computing exacts on every 320 of 5121 points to ramp up precision
23.776 * * * * [points]: Setting MPFR precision to 64
23.778 * * * * [points]: Setting MPFR precision to 320
23.780 * * * * [points]: Computing exacts on every 160 of 5121 points to ramp up precision
23.789 * * * * [points]: Setting MPFR precision to 64
23.794 * * * * [points]: Setting MPFR precision to 320
23.835 * * * * [points]: Computing exacts on every 80 of 5121 points to ramp up precision
23.847 * * * * [points]: Setting MPFR precision to 64
23.856 * * * * [points]: Setting MPFR precision to 320
23.866 * * * * [points]: Computing exacts on every 40 of 5121 points to ramp up precision
23.875 * * * * [points]: Setting MPFR precision to 64
23.895 * * * * [points]: Setting MPFR precision to 320
23.913 * * * * [points]: Computing exacts on every 20 of 5121 points to ramp up precision
23.924 * * * * [points]: Setting MPFR precision to 64
23.958 * * * * [points]: Setting MPFR precision to 320
23.991 * * * * [points]: Computing exacts on every 10 of 5121 points to ramp up precision
24.000 * * * * [points]: Setting MPFR precision to 64
24.107 * * * * [points]: Setting MPFR precision to 320
24.166 * * * * [points]: Computing exacts on every 5 of 5121 points to ramp up precision
24.177 * * * * [points]: Setting MPFR precision to 64
24.345 * * * * [points]: Setting MPFR precision to 320
24.461 * * * * [points]: Computing exacts on every 2 of 5121 points to ramp up precision
24.471 * * * * [points]: Setting MPFR precision to 64
24.762 * * * * [points]: Setting MPFR precision to 320
25.553 * * * * [points]: Computing exacts for 5121 points
25.563 * * * * [points]: Setting MPFR precision to 64
26.336 * * * * [points]: Setting MPFR precision to 320
26.916 * * * * [points]: Filtering points with unrepresentable outputs
26.918 * * * * [points]: Sampling 4392 additional inputs, on iter 4 have 3608 / 8000
26.937 * * * * [points]: Computing exacts on every 274 of 4392 points to ramp up precision
26.941 * * * * [points]: Setting MPFR precision to 64
26.943 * * * * [points]: Setting MPFR precision to 320
26.944 * * * * [points]: Computing exacts on every 137 of 4392 points to ramp up precision
26.948 * * * * [points]: Setting MPFR precision to 64
26.951 * * * * [points]: Setting MPFR precision to 320
26.953 * * * * [points]: Computing exacts on every 68 of 4392 points to ramp up precision
26.958 * * * * [points]: Setting MPFR precision to 64
26.963 * * * * [points]: Setting MPFR precision to 320
26.967 * * * * [points]: Computing exacts on every 34 of 4392 points to ramp up precision
26.972 * * * * [points]: Setting MPFR precision to 64
26.981 * * * * [points]: Setting MPFR precision to 320
26.990 * * * * [points]: Computing exacts on every 17 of 4392 points to ramp up precision
27.014 * * * * [points]: Setting MPFR precision to 64
27.034 * * * * [points]: Setting MPFR precision to 320
27.053 * * * * [points]: Computing exacts on every 8 of 4392 points to ramp up precision
27.057 * * * * [points]: Setting MPFR precision to 64
27.095 * * * * [points]: Setting MPFR precision to 320
27.162 * * * * [points]: Computing exacts on every 4 of 4392 points to ramp up precision
27.169 * * * * [points]: Setting MPFR precision to 64
27.236 * * * * [points]: Setting MPFR precision to 320
27.332 * * * * [points]: Computing exacts on every 2 of 4392 points to ramp up precision
27.337 * * * * [points]: Setting MPFR precision to 64
27.480 * * * * [points]: Setting MPFR precision to 320
27.623 * * * * [points]: Computing exacts for 4392 points
27.628 * * * * [points]: Setting MPFR precision to 64
28.353 * * * * [points]: Setting MPFR precision to 320
28.774 * * * * [points]: Filtering points with unrepresentable outputs
28.776 * * * * [points]: Sampling 3759 additional inputs, on iter 5 have 4241 / 8000
28.792 * * * * [points]: Computing exacts on every 234 of 3759 points to ramp up precision
28.797 * * * * [points]: Setting MPFR precision to 64
28.798 * * * * [points]: Setting MPFR precision to 320
28.799 * * * * [points]: Computing exacts on every 117 of 3759 points to ramp up precision
28.804 * * * * [points]: Setting MPFR precision to 64
28.807 * * * * [points]: Setting MPFR precision to 320
28.812 * * * * [points]: Computing exacts on every 58 of 3759 points to ramp up precision
28.821 * * * * [points]: Setting MPFR precision to 64
28.830 * * * * [points]: Setting MPFR precision to 320
28.836 * * * * [points]: Computing exacts on every 29 of 3759 points to ramp up precision
28.841 * * * * [points]: Setting MPFR precision to 64
28.871 * * * * [points]: Setting MPFR precision to 320
28.888 * * * * [points]: Computing exacts on every 14 of 3759 points to ramp up precision
28.898 * * * * [points]: Setting MPFR precision to 64
28.933 * * * * [points]: Setting MPFR precision to 320
28.968 * * * * [points]: Computing exacts on every 7 of 3759 points to ramp up precision
28.979 * * * * [points]: Setting MPFR precision to 64
29.025 * * * * [points]: Setting MPFR precision to 320
29.112 * * * * [points]: Computing exacts on every 3 of 3759 points to ramp up precision
29.117 * * * * [points]: Setting MPFR precision to 64
29.190 * * * * [points]: Setting MPFR precision to 320
29.326 * * * * [points]: Computing exacts for 3759 points
29.335 * * * * [points]: Setting MPFR precision to 64
30.027 * * * * [points]: Setting MPFR precision to 320
30.627 * * * * [points]: Filtering points with unrepresentable outputs
30.630 * * * * [points]: Sampling 3249 additional inputs, on iter 6 have 4751 / 8000
30.655 * * * * [points]: Computing exacts on every 203 of 3249 points to ramp up precision
30.664 * * * * [points]: Setting MPFR precision to 64
30.666 * * * * [points]: Setting MPFR precision to 320
30.668 * * * * [points]: Computing exacts on every 101 of 3249 points to ramp up precision
30.715 * * * * [points]: Setting MPFR precision to 64
30.722 * * * * [points]: Setting MPFR precision to 320
30.726 * * * * [points]: Computing exacts on every 50 of 3249 points to ramp up precision
30.735 * * * * [points]: Setting MPFR precision to 64
30.743 * * * * [points]: Setting MPFR precision to 320
30.751 * * * * [points]: Computing exacts on every 25 of 3249 points to ramp up precision
30.759 * * * * [points]: Setting MPFR precision to 64
30.774 * * * * [points]: Setting MPFR precision to 320
30.789 * * * * [points]: Computing exacts on every 12 of 3249 points to ramp up precision
30.798 * * * * [points]: Setting MPFR precision to 64
30.828 * * * * [points]: Setting MPFR precision to 320
30.858 * * * * [points]: Computing exacts on every 6 of 3249 points to ramp up precision
30.900 * * * * [points]: Setting MPFR precision to 64
30.963 * * * * [points]: Setting MPFR precision to 320
31.021 * * * * [points]: Computing exacts on every 3 of 3249 points to ramp up precision
31.029 * * * * [points]: Setting MPFR precision to 64
31.188 * * * * [points]: Setting MPFR precision to 320
31.276 * * * * [points]: Computing exacts for 3249 points
31.286 * * * * [points]: Setting MPFR precision to 64
32.265 * * * * [points]: Setting MPFR precision to 320
32.828 * * * * [points]: Filtering points with unrepresentable outputs
32.831 * * * * [points]: Sampling 2805 additional inputs, on iter 7 have 5195 / 8000
32.852 * * * * [points]: Computing exacts on every 175 of 2805 points to ramp up precision
32.860 * * * * [points]: Setting MPFR precision to 64
32.861 * * * * [points]: Setting MPFR precision to 320
32.862 * * * * [points]: Computing exacts on every 87 of 2805 points to ramp up precision
32.867 * * * * [points]: Setting MPFR precision to 64
32.869 * * * * [points]: Setting MPFR precision to 320
32.872 * * * * [points]: Computing exacts on every 43 of 2805 points to ramp up precision
32.876 * * * * [points]: Setting MPFR precision to 64
32.881 * * * * [points]: Setting MPFR precision to 320
32.886 * * * * [points]: Computing exacts on every 21 of 2805 points to ramp up precision
32.891 * * * * [points]: Setting MPFR precision to 64
32.900 * * * * [points]: Setting MPFR precision to 320
32.933 * * * * [points]: Computing exacts on every 10 of 2805 points to ramp up precision
32.938 * * * * [points]: Setting MPFR precision to 64
32.960 * * * * [points]: Setting MPFR precision to 320
32.979 * * * * [points]: Computing exacts on every 5 of 2805 points to ramp up precision
32.984 * * * * [points]: Setting MPFR precision to 64
33.017 * * * * [points]: Setting MPFR precision to 320
33.083 * * * * [points]: Computing exacts on every 2 of 2805 points to ramp up precision
33.087 * * * * [points]: Setting MPFR precision to 64
33.158 * * * * [points]: Setting MPFR precision to 320
33.260 * * * * [points]: Computing exacts for 2805 points
33.264 * * * * [points]: Setting MPFR precision to 64
33.544 * * * * [points]: Setting MPFR precision to 320
33.960 * * * * [points]: Filtering points with unrepresentable outputs
33.962 * * * * [points]: Sampling 2409 additional inputs, on iter 8 have 5591 / 8000
33.972 * * * * [points]: Computing exacts on every 150 of 2409 points to ramp up precision
33.977 * * * * [points]: Setting MPFR precision to 64
33.978 * * * * [points]: Setting MPFR precision to 320
33.980 * * * * [points]: Computing exacts on every 75 of 2409 points to ramp up precision
33.985 * * * * [points]: Setting MPFR precision to 64
33.987 * * * * [points]: Setting MPFR precision to 320
33.990 * * * * [points]: Computing exacts on every 37 of 2409 points to ramp up precision
33.995 * * * * [points]: Setting MPFR precision to 64
33.999 * * * * [points]: Setting MPFR precision to 320
34.004 * * * * [points]: Computing exacts on every 18 of 2409 points to ramp up precision
34.009 * * * * [points]: Setting MPFR precision to 64
34.018 * * * * [points]: Setting MPFR precision to 320
34.051 * * * * [points]: Computing exacts on every 9 of 2409 points to ramp up precision
34.056 * * * * [points]: Setting MPFR precision to 64
34.076 * * * * [points]: Setting MPFR precision to 320
34.099 * * * * [points]: Computing exacts on every 4 of 2409 points to ramp up precision
34.108 * * * * [points]: Setting MPFR precision to 64
34.174 * * * * [points]: Setting MPFR precision to 320
34.240 * * * * [points]: Computing exacts on every 2 of 2409 points to ramp up precision
34.244 * * * * [points]: Setting MPFR precision to 64
34.306 * * * * [points]: Setting MPFR precision to 320
34.401 * * * * [points]: Computing exacts for 2409 points
34.406 * * * * [points]: Setting MPFR precision to 64
34.883 * * * * [points]: Setting MPFR precision to 320
35.121 * * * * [points]: Filtering points with unrepresentable outputs
35.122 * * * * [points]: Sampling 2067 additional inputs, on iter 9 have 5933 / 8000
35.131 * * * * [points]: Computing exacts on every 129 of 2067 points to ramp up precision
35.135 * * * * [points]: Setting MPFR precision to 64
35.137 * * * * [points]: Setting MPFR precision to 320
35.138 * * * * [points]: Computing exacts on every 64 of 2067 points to ramp up precision
35.142 * * * * [points]: Setting MPFR precision to 64
35.145 * * * * [points]: Setting MPFR precision to 320
35.147 * * * * [points]: Computing exacts on every 32 of 2067 points to ramp up precision
35.152 * * * * [points]: Setting MPFR precision to 64
35.176 * * * * [points]: Setting MPFR precision to 320
35.181 * * * * [points]: Computing exacts on every 16 of 2067 points to ramp up precision
35.187 * * * * [points]: Setting MPFR precision to 64
35.196 * * * * [points]: Setting MPFR precision to 320
35.205 * * * * [points]: Computing exacts on every 8 of 2067 points to ramp up precision
35.209 * * * * [points]: Setting MPFR precision to 64
35.227 * * * * [points]: Setting MPFR precision to 320
35.244 * * * * [points]: Computing exacts on every 4 of 2067 points to ramp up precision
35.248 * * * * [points]: Setting MPFR precision to 64
35.321 * * * * [points]: Setting MPFR precision to 320
35.384 * * * * [points]: Computing exacts on every 2 of 2067 points to ramp up precision
35.394 * * * * [points]: Setting MPFR precision to 64
35.489 * * * * [points]: Setting MPFR precision to 320
35.640 * * * * [points]: Computing exacts for 2067 points
35.650 * * * * [points]: Setting MPFR precision to 64
35.990 * * * * [points]: Setting MPFR precision to 320
36.365 * * * * [points]: Filtering points with unrepresentable outputs
36.367 * * * * [points]: Sampling 1762 additional inputs, on iter 10 have 6238 / 8000
36.380 * * * * [points]: Computing exacts on every 110 of 1762 points to ramp up precision
36.390 * * * * [points]: Setting MPFR precision to 64
36.392 * * * * [points]: Setting MPFR precision to 320
36.394 * * * * [points]: Computing exacts on every 55 of 1762 points to ramp up precision
36.403 * * * * [points]: Setting MPFR precision to 64
36.408 * * * * [points]: Setting MPFR precision to 320
36.413 * * * * [points]: Computing exacts on every 27 of 1762 points to ramp up precision
36.422 * * * * [points]: Setting MPFR precision to 64
36.431 * * * * [points]: Setting MPFR precision to 320
36.440 * * * * [points]: Computing exacts on every 13 of 1762 points to ramp up precision
36.450 * * * * [points]: Setting MPFR precision to 64
36.466 * * * * [points]: Setting MPFR precision to 320
36.485 * * * * [points]: Computing exacts on every 6 of 1762 points to ramp up precision
36.495 * * * * [points]: Setting MPFR precision to 64
36.545 * * * * [points]: Setting MPFR precision to 320
36.567 * * * * [points]: Computing exacts on every 3 of 1762 points to ramp up precision
36.577 * * * * [points]: Setting MPFR precision to 64
36.638 * * * * [points]: Setting MPFR precision to 320
36.699 * * * * [points]: Computing exacts for 1762 points
36.755 * * * * [points]: Setting MPFR precision to 64
37.033 * * * * [points]: Setting MPFR precision to 320
37.282 * * * * [points]: Filtering points with unrepresentable outputs
37.283 * * * * [points]: Sampling 1523 additional inputs, on iter 11 have 6477 / 8000
37.290 * * * * [points]: Computing exacts on every 95 of 1523 points to ramp up precision
37.298 * * * * [points]: Setting MPFR precision to 64
37.301 * * * * [points]: Setting MPFR precision to 320
37.303 * * * * [points]: Computing exacts on every 47 of 1523 points to ramp up precision
37.311 * * * * [points]: Setting MPFR precision to 64
37.315 * * * * [points]: Setting MPFR precision to 320
37.319 * * * * [points]: Computing exacts on every 23 of 1523 points to ramp up precision
37.327 * * * * [points]: Setting MPFR precision to 64
37.335 * * * * [points]: Setting MPFR precision to 320
37.343 * * * * [points]: Computing exacts on every 11 of 1523 points to ramp up precision
37.352 * * * * [points]: Setting MPFR precision to 64
37.396 * * * * [points]: Setting MPFR precision to 320
37.407 * * * * [points]: Computing exacts on every 5 of 1523 points to ramp up precision
37.412 * * * * [points]: Setting MPFR precision to 64
37.432 * * * * [points]: Setting MPFR precision to 320
37.463 * * * * [points]: Computing exacts on every 2 of 1523 points to ramp up precision
37.471 * * * * [points]: Setting MPFR precision to 64
37.535 * * * * [points]: Setting MPFR precision to 320
37.622 * * * * [points]: Computing exacts for 1523 points
37.627 * * * * [points]: Setting MPFR precision to 64
37.857 * * * * [points]: Setting MPFR precision to 320
38.548 * * * * [points]: Filtering points with unrepresentable outputs
38.549 * * * * [points]: Sampling 1295 additional inputs, on iter 12 have 6705 / 8000
38.554 * * * * [points]: Computing exacts on every 80 of 1295 points to ramp up precision
38.559 * * * * [points]: Setting MPFR precision to 64
38.560 * * * * [points]: Setting MPFR precision to 320
38.561 * * * * [points]: Computing exacts on every 40 of 1295 points to ramp up precision
38.566 * * * * [points]: Setting MPFR precision to 64
38.569 * * * * [points]: Setting MPFR precision to 320
38.571 * * * * [points]: Computing exacts on every 20 of 1295 points to ramp up precision
38.576 * * * * [points]: Setting MPFR precision to 64
38.580 * * * * [points]: Setting MPFR precision to 320
38.585 * * * * [points]: Computing exacts on every 10 of 1295 points to ramp up precision
38.591 * * * * [points]: Setting MPFR precision to 64
38.600 * * * * [points]: Setting MPFR precision to 320
38.632 * * * * [points]: Computing exacts on every 5 of 1295 points to ramp up precision
38.639 * * * * [points]: Setting MPFR precision to 64
38.671 * * * * [points]: Setting MPFR precision to 320
38.701 * * * * [points]: Computing exacts on every 2 of 1295 points to ramp up precision
38.710 * * * * [points]: Setting MPFR precision to 64
38.771 * * * * [points]: Setting MPFR precision to 320
38.852 * * * * [points]: Computing exacts for 1295 points
38.859 * * * * [points]: Setting MPFR precision to 64
38.956 * * * * [points]: Setting MPFR precision to 320
39.084 * * * * [points]: Filtering points with unrepresentable outputs
39.085 * * * * [points]: Sampling 1091 additional inputs, on iter 13 have 6909 / 8000
39.089 * * * * [points]: Computing exacts on every 68 of 1091 points to ramp up precision
39.094 * * * * [points]: Setting MPFR precision to 64
39.126 * * * * [points]: Setting MPFR precision to 320
39.127 * * * * [points]: Computing exacts on every 34 of 1091 points to ramp up precision
39.132 * * * * [points]: Setting MPFR precision to 64
39.134 * * * * [points]: Setting MPFR precision to 320
39.139 * * * * [points]: Computing exacts on every 17 of 1091 points to ramp up precision
39.144 * * * * [points]: Setting MPFR precision to 64
39.149 * * * * [points]: Setting MPFR precision to 320
39.153 * * * * [points]: Computing exacts on every 8 of 1091 points to ramp up precision
39.158 * * * * [points]: Setting MPFR precision to 64
39.167 * * * * [points]: Setting MPFR precision to 320
39.175 * * * * [points]: Computing exacts on every 4 of 1091 points to ramp up precision
39.180 * * * * [points]: Setting MPFR precision to 64
39.196 * * * * [points]: Setting MPFR precision to 320
39.212 * * * * [points]: Computing exacts on every 2 of 1091 points to ramp up precision
39.241 * * * * [points]: Setting MPFR precision to 64
39.271 * * * * [points]: Setting MPFR precision to 320
39.298 * * * * [points]: Computing exacts for 1091 points
39.302 * * * * [points]: Setting MPFR precision to 64
39.413 * * * * [points]: Setting MPFR precision to 320
39.493 * * * * [points]: Filtering points with unrepresentable outputs
39.493 * * * * [points]: Sampling 943 additional inputs, on iter 14 have 7057 / 8000
39.525 * * * * [points]: Computing exacts on every 58 of 943 points to ramp up precision
39.533 * * * * [points]: Setting MPFR precision to 64
39.534 * * * * [points]: Setting MPFR precision to 320
39.535 * * * * [points]: Computing exacts on every 29 of 943 points to ramp up precision
39.541 * * * * [points]: Setting MPFR precision to 64
39.544 * * * * [points]: Setting MPFR precision to 320
39.547 * * * * [points]: Computing exacts on every 14 of 943 points to ramp up precision
39.552 * * * * [points]: Setting MPFR precision to 64
39.557 * * * * [points]: Setting MPFR precision to 320
39.562 * * * * [points]: Computing exacts on every 7 of 943 points to ramp up precision
39.567 * * * * [points]: Setting MPFR precision to 64
39.576 * * * * [points]: Setting MPFR precision to 320
39.584 * * * * [points]: Computing exacts on every 3 of 943 points to ramp up precision
39.589 * * * * [points]: Setting MPFR precision to 64
39.606 * * * * [points]: Setting MPFR precision to 320
39.645 * * * * [points]: Computing exacts for 943 points
39.651 * * * * [points]: Setting MPFR precision to 64
39.723 * * * * [points]: Setting MPFR precision to 320
39.826 * * * * [points]: Filtering points with unrepresentable outputs
39.827 * * * * [points]: Sampling 803 additional inputs, on iter 15 have 7197 / 8000
39.830 * * * * [points]: Computing exacts on every 50 of 803 points to ramp up precision
39.835 * * * * [points]: Setting MPFR precision to 64
39.837 * * * * [points]: Setting MPFR precision to 320
39.838 * * * * [points]: Computing exacts on every 25 of 803 points to ramp up precision
39.844 * * * * [points]: Setting MPFR precision to 64
39.846 * * * * [points]: Setting MPFR precision to 320
39.848 * * * * [points]: Computing exacts on every 12 of 803 points to ramp up precision
39.853 * * * * [points]: Setting MPFR precision to 64
39.858 * * * * [points]: Setting MPFR precision to 320
39.862 * * * * [points]: Computing exacts on every 6 of 803 points to ramp up precision
39.867 * * * * [points]: Setting MPFR precision to 64
39.875 * * * * [points]: Setting MPFR precision to 320
39.906 * * * * [points]: Computing exacts on every 3 of 803 points to ramp up precision
39.910 * * * * [points]: Setting MPFR precision to 64
39.927 * * * * [points]: Setting MPFR precision to 320
39.941 * * * * [points]: Computing exacts for 803 points
39.946 * * * * [points]: Setting MPFR precision to 64
40.007 * * * * [points]: Setting MPFR precision to 320
40.094 * * * * [points]: Filtering points with unrepresentable outputs
40.094 * * * * [points]: Sampling 693 additional inputs, on iter 16 have 7307 / 8000
40.098 * * * * [points]: Computing exacts on every 43 of 693 points to ramp up precision
40.103 * * * * [points]: Setting MPFR precision to 64
40.104 * * * * [points]: Setting MPFR precision to 320
40.105 * * * * [points]: Computing exacts on every 21 of 693 points to ramp up precision
40.110 * * * * [points]: Setting MPFR precision to 64
40.113 * * * * [points]: Setting MPFR precision to 320
40.115 * * * * [points]: Computing exacts on every 10 of 693 points to ramp up precision
40.120 * * * * [points]: Setting MPFR precision to 64
40.126 * * * * [points]: Setting MPFR precision to 320
40.131 * * * * [points]: Computing exacts on every 5 of 693 points to ramp up precision
40.162 * * * * [points]: Setting MPFR precision to 64
40.172 * * * * [points]: Setting MPFR precision to 320
40.181 * * * * [points]: Computing exacts on every 2 of 693 points to ramp up precision
40.186 * * * * [points]: Setting MPFR precision to 64
40.203 * * * * [points]: Setting MPFR precision to 320
40.220 * * * * [points]: Computing exacts for 693 points
40.225 * * * * [points]: Setting MPFR precision to 64
40.338 * * * * [points]: Setting MPFR precision to 320
40.409 * * * * [points]: Filtering points with unrepresentable outputs
40.409 * * * * [points]: Sampling 602 additional inputs, on iter 17 have 7398 / 8000
40.412 * * * * [points]: Computing exacts on every 37 of 602 points to ramp up precision
40.417 * * * * [points]: Setting MPFR precision to 64
40.418 * * * * [points]: Setting MPFR precision to 320
40.419 * * * * [points]: Computing exacts on every 18 of 602 points to ramp up precision
40.423 * * * * [points]: Setting MPFR precision to 64
40.426 * * * * [points]: Setting MPFR precision to 320
40.428 * * * * [points]: Computing exacts on every 9 of 602 points to ramp up precision
40.435 * * * * [points]: Setting MPFR precision to 64
40.441 * * * * [points]: Setting MPFR precision to 320
40.446 * * * * [points]: Computing exacts on every 4 of 602 points to ramp up precision
40.474 * * * * [points]: Setting MPFR precision to 64
40.485 * * * * [points]: Setting MPFR precision to 320
40.494 * * * * [points]: Computing exacts on every 2 of 602 points to ramp up precision
40.498 * * * * [points]: Setting MPFR precision to 64
40.513 * * * * [points]: Setting MPFR precision to 320
40.528 * * * * [points]: Computing exacts for 602 points
40.533 * * * * [points]: Setting MPFR precision to 64
40.600 * * * * [points]: Setting MPFR precision to 320
40.647 * * * * [points]: Filtering points with unrepresentable outputs
40.647 * * * * [points]: Sampling 528 additional inputs, on iter 18 have 7472 / 8000
40.650 * * * * [points]: Computing exacts on every 33 of 528 points to ramp up precision
40.654 * * * * [points]: Setting MPFR precision to 64
40.656 * * * * [points]: Setting MPFR precision to 320
40.657 * * * * [points]: Computing exacts on every 16 of 528 points to ramp up precision
40.661 * * * * [points]: Setting MPFR precision to 64
40.664 * * * * [points]: Setting MPFR precision to 320
40.666 * * * * [points]: Computing exacts on every 8 of 528 points to ramp up precision
40.671 * * * * [points]: Setting MPFR precision to 64
40.675 * * * * [points]: Setting MPFR precision to 320
40.681 * * * * [points]: Computing exacts on every 4 of 528 points to ramp up precision
40.686 * * * * [points]: Setting MPFR precision to 64
40.694 * * * * [points]: Setting MPFR precision to 320
40.726 * * * * [points]: Computing exacts on every 2 of 528 points to ramp up precision
40.733 * * * * [points]: Setting MPFR precision to 64
40.747 * * * * [points]: Setting MPFR precision to 320
40.760 * * * * [points]: Computing exacts for 528 points
40.765 * * * * [points]: Setting MPFR precision to 64
40.802 * * * * [points]: Setting MPFR precision to 320
41.207 * * * * [points]: Filtering points with unrepresentable outputs
41.207 * * * * [points]: Sampling 455 additional inputs, on iter 19 have 7545 / 8000
41.211 * * * * [points]: Computing exacts on every 28 of 455 points to ramp up precision
41.220 * * * * [points]: Setting MPFR precision to 64
41.223 * * * * [points]: Setting MPFR precision to 320
41.225 * * * * [points]: Computing exacts on every 14 of 455 points to ramp up precision
41.235 * * * * [points]: Setting MPFR precision to 64
41.237 * * * * [points]: Setting MPFR precision to 320
41.239 * * * * [points]: Computing exacts on every 7 of 455 points to ramp up precision
41.244 * * * * [points]: Setting MPFR precision to 64
41.248 * * * * [points]: Setting MPFR precision to 320
41.253 * * * * [points]: Computing exacts on every 3 of 455 points to ramp up precision
41.257 * * * * [points]: Setting MPFR precision to 64
41.266 * * * * [points]: Setting MPFR precision to 320
41.279 * * * * [points]: Computing exacts for 455 points
41.289 * * * * [points]: Setting MPFR precision to 64
41.346 * * * * [points]: Setting MPFR precision to 320
41.395 * * * * [points]: Filtering points with unrepresentable outputs
41.395 * * * * [points]: Sampling 393 additional inputs, on iter 20 have 7607 / 8000
41.398 * * * * [points]: Computing exacts on every 24 of 393 points to ramp up precision
41.408 * * * * [points]: Setting MPFR precision to 64
41.410 * * * * [points]: Setting MPFR precision to 320
41.412 * * * * [points]: Computing exacts on every 12 of 393 points to ramp up precision
41.421 * * * * [points]: Setting MPFR precision to 64
41.426 * * * * [points]: Setting MPFR precision to 320
41.430 * * * * [points]: Computing exacts on every 6 of 393 points to ramp up precision
41.440 * * * * [points]: Setting MPFR precision to 64
41.448 * * * * [points]: Setting MPFR precision to 320
41.456 * * * * [points]: Computing exacts on every 3 of 393 points to ramp up precision
41.462 * * * * [points]: Setting MPFR precision to 64
41.501 * * * * [points]: Setting MPFR precision to 320
41.518 * * * * [points]: Computing exacts for 393 points
41.528 * * * * [points]: Setting MPFR precision to 64
41.576 * * * * [points]: Setting MPFR precision to 320
41.631 * * * * [points]: Filtering points with unrepresentable outputs
41.632 * * * * [points]: Sampling 345 additional inputs, on iter 21 have 7655 / 8000
41.634 * * * * [points]: Computing exacts on every 21 of 345 points to ramp up precision
41.644 * * * * [points]: Setting MPFR precision to 64
41.646 * * * * [points]: Setting MPFR precision to 320
41.648 * * * * [points]: Computing exacts on every 10 of 345 points to ramp up precision
41.658 * * * * [points]: Setting MPFR precision to 64
41.662 * * * * [points]: Setting MPFR precision to 320
41.667 * * * * [points]: Computing exacts on every 5 of 345 points to ramp up precision
41.714 * * * * [points]: Setting MPFR precision to 64
41.719 * * * * [points]: Setting MPFR precision to 320
41.725 * * * * [points]: Computing exacts on every 2 of 345 points to ramp up precision
41.730 * * * * [points]: Setting MPFR precision to 64
41.747 * * * * [points]: Setting MPFR precision to 320
41.764 * * * * [points]: Computing exacts for 345 points
41.773 * * * * [points]: Setting MPFR precision to 64
41.810 * * * * [points]: Setting MPFR precision to 320
41.837 * * * * [points]: Filtering points with unrepresentable outputs
41.837 * * * * [points]: Sampling 291 additional inputs, on iter 22 have 7709 / 8000
41.840 * * * * [points]: Computing exacts on every 18 of 291 points to ramp up precision
41.849 * * * * [points]: Setting MPFR precision to 64
41.851 * * * * [points]: Setting MPFR precision to 320
41.853 * * * * [points]: Computing exacts on every 9 of 291 points to ramp up precision
41.902 * * * * [points]: Setting MPFR precision to 64
41.910 * * * * [points]: Setting MPFR precision to 320
41.914 * * * * [points]: Computing exacts on every 4 of 291 points to ramp up precision
41.923 * * * * [points]: Setting MPFR precision to 64
41.931 * * * * [points]: Setting MPFR precision to 320
41.939 * * * * [points]: Computing exacts on every 2 of 291 points to ramp up precision
41.948 * * * * [points]: Setting MPFR precision to 64
41.962 * * * * [points]: Setting MPFR precision to 320
41.972 * * * * [points]: Computing exacts for 291 points
41.977 * * * * [points]: Setting MPFR precision to 64
41.999 * * * * [points]: Setting MPFR precision to 320
42.021 * * * * [points]: Filtering points with unrepresentable outputs
42.022 * * * * [points]: Sampling 248 additional inputs, on iter 23 have 7752 / 8000
42.023 * * * * [points]: Computing exacts on every 15 of 248 points to ramp up precision
42.055 * * * * [points]: Setting MPFR precision to 64
42.057 * * * * [points]: Setting MPFR precision to 320
42.058 * * * * [points]: Computing exacts on every 7 of 248 points to ramp up precision
42.063 * * * * [points]: Setting MPFR precision to 64
42.067 * * * * [points]: Setting MPFR precision to 320
42.069 * * * * [points]: Computing exacts on every 3 of 248 points to ramp up precision
42.074 * * * * [points]: Setting MPFR precision to 64
42.079 * * * * [points]: Setting MPFR precision to 320
42.084 * * * * [points]: Computing exacts for 248 points
42.088 * * * * [points]: Setting MPFR precision to 64
42.107 * * * * [points]: Setting MPFR precision to 320
42.126 * * * * [points]: Filtering points with unrepresentable outputs
42.126 * * * * [points]: Sampling 210 additional inputs, on iter 24 have 7790 / 8000
42.127 * * * * [points]: Computing exacts on every 13 of 210 points to ramp up precision
42.132 * * * * [points]: Setting MPFR precision to 64
42.133 * * * * [points]: Setting MPFR precision to 320
42.134 * * * * [points]: Computing exacts on every 6 of 210 points to ramp up precision
42.139 * * * * [points]: Setting MPFR precision to 64
42.142 * * * * [points]: Setting MPFR precision to 320
42.144 * * * * [points]: Computing exacts on every 3 of 210 points to ramp up precision
42.169 * * * * [points]: Setting MPFR precision to 64
42.173 * * * * [points]: Setting MPFR precision to 320
42.179 * * * * [points]: Computing exacts for 210 points
42.184 * * * * [points]: Setting MPFR precision to 64
42.200 * * * * [points]: Setting MPFR precision to 320
42.216 * * * * [points]: Filtering points with unrepresentable outputs
42.216 * * * * [points]: Sampling 180 additional inputs, on iter 25 have 7820 / 8000
42.217 * * * * [points]: Computing exacts on every 11 of 180 points to ramp up precision
42.222 * * * * [points]: Setting MPFR precision to 64
42.223 * * * * [points]: Setting MPFR precision to 320
42.224 * * * * [points]: Computing exacts on every 5 of 180 points to ramp up precision
42.229 * * * * [points]: Setting MPFR precision to 64
42.231 * * * * [points]: Setting MPFR precision to 320
42.234 * * * * [points]: Computing exacts on every 2 of 180 points to ramp up precision
42.243 * * * * [points]: Setting MPFR precision to 64
42.252 * * * * [points]: Setting MPFR precision to 320
42.261 * * * * [points]: Computing exacts for 180 points
42.270 * * * * [points]: Setting MPFR precision to 64
42.336 * * * * [points]: Setting MPFR precision to 320
42.362 * * * * [points]: Filtering points with unrepresentable outputs
42.362 * * * * [points]: Sampling 156 additional inputs, on iter 26 have 7844 / 8000
42.364 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision
42.373 * * * * [points]: Setting MPFR precision to 64
42.375 * * * * [points]: Setting MPFR precision to 320
42.377 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision
42.387 * * * * [points]: Setting MPFR precision to 64
42.391 * * * * [points]: Setting MPFR precision to 320
42.396 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision
42.405 * * * * [points]: Setting MPFR precision to 64
42.412 * * * * [points]: Setting MPFR precision to 320
42.420 * * * * [points]: Computing exacts for 156 points
42.429 * * * * [points]: Setting MPFR precision to 64
42.451 * * * * [points]: Setting MPFR precision to 320
42.474 * * * * [points]: Filtering points with unrepresentable outputs
42.474 * * * * [points]: Sampling 135 additional inputs, on iter 27 have 7865 / 8000
42.475 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
42.483 * * * * [points]: Setting MPFR precision to 64
42.485 * * * * [points]: Setting MPFR precision to 320
42.486 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
42.510 * * * * [points]: Setting MPFR precision to 64
42.512 * * * * [points]: Setting MPFR precision to 320
42.514 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
42.520 * * * * [points]: Setting MPFR precision to 64
42.524 * * * * [points]: Setting MPFR precision to 320
42.527 * * * * [points]: Computing exacts for 135 points
42.532 * * * * [points]: Setting MPFR precision to 64
42.542 * * * * [points]: Setting MPFR precision to 320
42.552 * * * * [points]: Filtering points with unrepresentable outputs
42.552 * * * * [points]: Sampling 115 additional inputs, on iter 28 have 7885 / 8000
42.553 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
42.558 * * * * [points]: Setting MPFR precision to 64
42.559 * * * * [points]: Setting MPFR precision to 320
42.560 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
42.565 * * * * [points]: Setting MPFR precision to 64
42.567 * * * * [points]: Setting MPFR precision to 320
42.570 * * * * [points]: Computing exacts for 115 points
42.574 * * * * [points]: Setting MPFR precision to 64
42.584 * * * * [points]: Setting MPFR precision to 320
42.593 * * * * [points]: Filtering points with unrepresentable outputs
42.593 * * * * [points]: Sampling 98 additional inputs, on iter 29 have 7902 / 8000
42.593 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
42.617 * * * * [points]: Setting MPFR precision to 64
42.620 * * * * [points]: Setting MPFR precision to 320
42.621 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
42.625 * * * * [points]: Setting MPFR precision to 64
42.627 * * * * [points]: Setting MPFR precision to 320
42.629 * * * * [points]: Computing exacts for 98 points
42.634 * * * * [points]: Setting MPFR precision to 64
42.641 * * * * [points]: Setting MPFR precision to 320
42.648 * * * * [points]: Filtering points with unrepresentable outputs
42.648 * * * * [points]: Sampling 89 additional inputs, on iter 30 have 7911 / 8000
42.649 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
42.653 * * * * [points]: Setting MPFR precision to 64
42.654 * * * * [points]: Setting MPFR precision to 320
42.656 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
42.660 * * * * [points]: Setting MPFR precision to 64
42.662 * * * * [points]: Setting MPFR precision to 320
42.665 * * * * [points]: Computing exacts for 89 points
42.669 * * * * [points]: Setting MPFR precision to 64
42.676 * * * * [points]: Setting MPFR precision to 320
42.683 * * * * [points]: Filtering points with unrepresentable outputs
42.683 * * * * [points]: Sampling 77 additional inputs, on iter 31 have 7923 / 8000
42.683 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
42.688 * * * * [points]: Setting MPFR precision to 64
42.689 * * * * [points]: Setting MPFR precision to 320
42.690 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
42.695 * * * * [points]: Setting MPFR precision to 64
42.697 * * * * [points]: Setting MPFR precision to 320
42.699 * * * * [points]: Computing exacts for 77 points
42.723 * * * * [points]: Setting MPFR precision to 64
42.734 * * * * [points]: Setting MPFR precision to 320
42.746 * * * * [points]: Filtering points with unrepresentable outputs
42.746 * * * * [points]: Sampling 60 additional inputs, on iter 32 have 7940 / 8000
42.746 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
42.756 * * * * [points]: Setting MPFR precision to 64
42.758 * * * * [points]: Setting MPFR precision to 320
42.761 * * * * [points]: Computing exacts for 60 points
42.770 * * * * [points]: Setting MPFR precision to 64
42.778 * * * * [points]: Setting MPFR precision to 320
42.787 * * * * [points]: Filtering points with unrepresentable outputs
42.787 * * * * [points]: Sampling 54 additional inputs, on iter 33 have 7946 / 8000
42.787 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
42.797 * * * * [points]: Setting MPFR precision to 64
42.800 * * * * [points]: Setting MPFR precision to 320
42.801 * * * * [points]: Computing exacts for 54 points
42.809 * * * * [points]: Setting MPFR precision to 64
42.815 * * * * [points]: Setting MPFR precision to 320
42.822 * * * * [points]: Filtering points with unrepresentable outputs
42.822 * * * * [points]: Sampling 49 additional inputs, on iter 34 have 7951 / 8000
42.822 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
42.831 * * * * [points]: Setting MPFR precision to 64
42.832 * * * * [points]: Setting MPFR precision to 320
42.834 * * * * [points]: Computing exacts for 49 points
42.842 * * * * [points]: Setting MPFR precision to 64
42.848 * * * * [points]: Setting MPFR precision to 320
42.853 * * * * [points]: Filtering points with unrepresentable outputs
42.854 * * * * [points]: Sampling 44 additional inputs, on iter 35 have 7956 / 8000
42.854 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
42.885 * * * * [points]: Setting MPFR precision to 64
42.887 * * * * [points]: Setting MPFR precision to 320
42.888 * * * * [points]: Computing exacts for 44 points
42.899 * * * * [points]: Setting MPFR precision to 64
42.905 * * * * [points]: Setting MPFR precision to 320
42.910 * * * * [points]: Filtering points with unrepresentable outputs
42.910 * * * * [points]: Sampling 43 additional inputs, on iter 36 have 7957 / 8000
42.910 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
42.919 * * * * [points]: Setting MPFR precision to 64
42.921 * * * * [points]: Setting MPFR precision to 320
42.922 * * * * [points]: Computing exacts for 43 points
42.931 * * * * [points]: Setting MPFR precision to 64
42.936 * * * * [points]: Setting MPFR precision to 320
42.942 * * * * [points]: Filtering points with unrepresentable outputs
42.942 * * * * [points]: Sampling 40 additional inputs, on iter 37 have 7960 / 8000
42.942 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
42.951 * * * * [points]: Setting MPFR precision to 64
42.953 * * * * [points]: Setting MPFR precision to 320
42.954 * * * * [points]: Computing exacts for 40 points
42.963 * * * * [points]: Setting MPFR precision to 64
42.968 * * * * [points]: Setting MPFR precision to 320
42.973 * * * * [points]: Filtering points with unrepresentable outputs
42.973 * * * * [points]: Sampling 36 additional inputs, on iter 38 have 7964 / 8000
42.974 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
42.982 * * * * [points]: Setting MPFR precision to 64
42.984 * * * * [points]: Setting MPFR precision to 320
42.985 * * * * [points]: Computing exacts for 36 points
42.993 * * * * [points]: Setting MPFR precision to 64
42.998 * * * * [points]: Setting MPFR precision to 320
43.002 * * * * [points]: Filtering points with unrepresentable outputs
43.002 * * * * [points]: Sampling 30 additional inputs, on iter 39 have 7970 / 8000
43.002 * * * * [points]: Computing exacts for 30 points
43.010 * * * * [points]: Setting MPFR precision to 64
43.014 * * * * [points]: Setting MPFR precision to 320
43.018 * * * * [points]: Filtering points with unrepresentable outputs
43.018 * * * * [points]: Sampling 26 additional inputs, on iter 40 have 7974 / 8000
43.018 * * * * [points]: Computing exacts for 26 points
43.039 * * * * [points]: Setting MPFR precision to 64
43.042 * * * * [points]: Setting MPFR precision to 320
43.044 * * * * [points]: Filtering points with unrepresentable outputs
43.044 * * * * [points]: Sampling 24 additional inputs, on iter 41 have 7976 / 8000
43.044 * * * * [points]: Computing exacts for 24 points
43.050 * * * * [points]: Setting MPFR precision to 64
43.053 * * * * [points]: Setting MPFR precision to 320
43.054 * * * * [points]: Filtering points with unrepresentable outputs
43.055 * * * * [points]: Sampling 23 additional inputs, on iter 42 have 7977 / 8000
43.055 * * * * [points]: Computing exacts for 23 points
43.059 * * * * [points]: Setting MPFR precision to 64
43.061 * * * * [points]: Setting MPFR precision to 320
43.063 * * * * [points]: Filtering points with unrepresentable outputs
43.063 * * * * [points]: Sampling 20 additional inputs, on iter 43 have 7980 / 8000
43.063 * * * * [points]: Computing exacts for 20 points
43.068 * * * * [points]: Setting MPFR precision to 64
43.070 * * * * [points]: Setting MPFR precision to 320
43.071 * * * * [points]: Filtering points with unrepresentable outputs
43.071 * * * * [points]: Sampling 17 additional inputs, on iter 44 have 7983 / 8000
43.072 * * * * [points]: Computing exacts for 17 points
43.076 * * * * [points]: Setting MPFR precision to 64
43.078 * * * * [points]: Setting MPFR precision to 320
43.079 * * * * [points]: Filtering points with unrepresentable outputs
43.079 * * * * [points]: Sampling 15 additional inputs, on iter 45 have 7985 / 8000
43.079 * * * * [points]: Computing exacts for 15 points
43.084 * * * * [points]: Setting MPFR precision to 64
43.085 * * * * [points]: Setting MPFR precision to 320
43.086 * * * * [points]: Filtering points with unrepresentable outputs
43.086 * * * * [points]: Sampling 15 additional inputs, on iter 46 have 7985 / 8000
43.087 * * * * [points]: Computing exacts for 15 points
43.091 * * * * [points]: Setting MPFR precision to 64
43.093 * * * * [points]: Setting MPFR precision to 320
43.094 * * * * [points]: Filtering points with unrepresentable outputs
43.094 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
43.094 * * * * [points]: Computing exacts for 14 points
43.099 * * * * [points]: Setting MPFR precision to 64
43.100 * * * * [points]: Setting MPFR precision to 320
43.101 * * * * [points]: Filtering points with unrepresentable outputs
43.101 * * * * [points]: Sampling 11 additional inputs, on iter 48 have 7989 / 8000
43.101 * * * * [points]: Computing exacts for 11 points
43.106 * * * * [points]: Setting MPFR precision to 64
43.107 * * * * [points]: Setting MPFR precision to 320
43.108 * * * * [points]: Filtering points with unrepresentable outputs
43.108 * * * * [points]: Sampling 10 additional inputs, on iter 49 have 7990 / 8000
43.108 * * * * [points]: Computing exacts for 10 points
43.126 * * * * [points]: Setting MPFR precision to 64
43.128 * * * * [points]: Setting MPFR precision to 320
43.129 * * * * [points]: Filtering points with unrepresentable outputs
43.129 * * * * [points]: Sampling 7 additional inputs, on iter 50 have 7993 / 8000
43.129 * * * * [points]: Computing exacts for 7 points
43.135 * * * * [points]: Setting MPFR precision to 64
43.135 * * * * [points]: Setting MPFR precision to 320
43.136 * * * * [points]: Filtering points with unrepresentable outputs
43.136 * * * * [points]: Sampling 5 additional inputs, on iter 51 have 7995 / 8000
43.136 * * * * [points]: Computing exacts for 5 points
43.141 * * * * [points]: Setting MPFR precision to 64
43.142 * * * * [points]: Setting MPFR precision to 320
43.142 * * * * [points]: Filtering points with unrepresentable outputs
43.142 * * * * [points]: Sampling 5 additional inputs, on iter 52 have 7995 / 8000
43.142 * * * * [points]: Computing exacts for 5 points
43.147 * * * * [points]: Setting MPFR precision to 64
43.148 * * * * [points]: Setting MPFR precision to 320
43.148 * * * * [points]: Filtering points with unrepresentable outputs
43.148 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
43.148 * * * * [points]: Computing exacts for 5 points
43.153 * * * * [points]: Setting MPFR precision to 64
43.154 * * * * [points]: Setting MPFR precision to 320
43.154 * * * * [points]: Filtering points with unrepresentable outputs
43.154 * * * * [points]: Sampling 5 additional inputs, on iter 54 have 7995 / 8000
43.154 * * * * [points]: Computing exacts for 5 points
43.159 * * * * [points]: Setting MPFR precision to 64
43.159 * * * * [points]: Setting MPFR precision to 320
43.160 * * * * [points]: Filtering points with unrepresentable outputs
43.160 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7996 / 8000
43.160 * * * * [points]: Computing exacts for 4 points
43.165 * * * * [points]: Setting MPFR precision to 64
43.166 * * * * [points]: Setting MPFR precision to 320
43.166 * * * * [points]: Filtering points with unrepresentable outputs
43.166 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
43.166 * * * * [points]: Computing exacts for 4 points
43.171 * * * * [points]: Setting MPFR precision to 64
43.171 * * * * [points]: Setting MPFR precision to 320
43.172 * * * * [points]: Filtering points with unrepresentable outputs
43.172 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7996 / 8000
43.172 * * * * [points]: Computing exacts for 4 points
43.177 * * * * [points]: Setting MPFR precision to 64
43.177 * * * * [points]: Setting MPFR precision to 320
43.177 * * * * [points]: Filtering points with unrepresentable outputs
43.178 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7996 / 8000
43.178 * * * * [points]: Computing exacts for 4 points
43.182 * * * * [points]: Setting MPFR precision to 64
43.183 * * * * [points]: Setting MPFR precision to 320
43.183 * * * * [points]: Filtering points with unrepresentable outputs
43.183 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7996 / 8000
43.183 * * * * [points]: Computing exacts for 4 points
43.188 * * * * [points]: Setting MPFR precision to 64
43.188 * * * * [points]: Setting MPFR precision to 320
43.189 * * * * [points]: Filtering points with unrepresentable outputs
43.189 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7996 / 8000
43.189 * * * * [points]: Computing exacts for 4 points
43.194 * * * * [points]: Setting MPFR precision to 64
43.195 * * * * [points]: Setting MPFR precision to 320
43.195 * * * * [points]: Filtering points with unrepresentable outputs
43.195 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7996 / 8000
43.195 * * * * [points]: Computing exacts for 4 points
43.210 * * * * [points]: Setting MPFR precision to 64
43.211 * * * * [points]: Setting MPFR precision to 320
43.211 * * * * [points]: Filtering points with unrepresentable outputs
43.211 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7997 / 8000
43.211 * * * * [points]: Computing exacts for 4 points
43.216 * * * * [points]: Setting MPFR precision to 64
43.216 * * * * [points]: Setting MPFR precision to 320
43.217 * * * * [points]: Filtering points with unrepresentable outputs
43.217 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7997 / 8000
43.217 * * * * [points]: Computing exacts for 4 points
43.221 * * * * [points]: Setting MPFR precision to 64
43.222 * * * * [points]: Setting MPFR precision to 320
43.222 * * * * [points]: Filtering points with unrepresentable outputs
43.222 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7997 / 8000
43.222 * * * * [points]: Computing exacts for 4 points
43.227 * * * * [points]: Setting MPFR precision to 64
43.227 * * * * [points]: Setting MPFR precision to 320
43.227 * * * * [points]: Filtering points with unrepresentable outputs
43.228 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7997 / 8000
43.228 * * * * [points]: Computing exacts for 4 points
43.232 * * * * [points]: Setting MPFR precision to 64
43.233 * * * * [points]: Setting MPFR precision to 320
43.233 * * * * [points]: Filtering points with unrepresentable outputs
43.233 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7998 / 8000
43.233 * * * * [points]: Computing exacts for 4 points
43.238 * * * * [points]: Setting MPFR precision to 64
43.238 * * * * [points]: Setting MPFR precision to 320
43.238 * * * * [points]: Filtering points with unrepresentable outputs
43.238 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7999 / 8000
43.238 * * * * [points]: Computing exacts for 4 points
43.243 * * * * [points]: Setting MPFR precision to 64
43.243 * * * * [points]: Setting MPFR precision to 320
43.244 * * * * [points]: Filtering points with unrepresentable outputs
43.244 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7999 / 8000
43.244 * * * * [points]: Computing exacts for 4 points
43.248 * * * * [points]: Setting MPFR precision to 64
43.249 * * * * [points]: Setting MPFR precision to 320
43.249 * * * * [points]: Filtering points with unrepresentable outputs
43.249 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
43.249 * * * * [points]: Computing exacts for 4 points
43.254 * * * * [points]: Setting MPFR precision to 64
43.254 * * * * [points]: Setting MPFR precision to 320
43.255 * * * * [points]: Filtering points with unrepresentable outputs
43.255 * * * * [points]: Sampled 8000 points with exact outputs
55.666 * [regime-testing]: Baseline error score: 64.0
55.669 * [regime-testing]: Oracle error score: 64.0
55.681 * [regime-testing]: End program error score: 1.4738512558504357