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.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 64
0.041 * * * * [points]: Setting MPFR precision to 320
0.047 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.052 * * * * [points]: Setting MPFR precision to 64
0.058 * * * * [points]: Setting MPFR precision to 320
0.064 * * * * [points]: Computing exacts for 256 points
0.069 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Filtering points with unrepresentable outputs
0.108 * * * * [points]: Sampling 215 additional inputs, on iter 1 have 41 / 256
0.109 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
0.121 * * * * [points]: Setting MPFR precision to 64
0.123 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 64
0.160 * * * * [points]: Setting MPFR precision to 320
0.164 * * * * [points]: Computing exacts for 215 points
0.169 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.201 * * * * [points]: Filtering points with unrepresentable outputs
0.201 * * * * [points]: Sampling 189 additional inputs, on iter 2 have 67 / 256
0.202 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
0.206 * * * * [points]: Setting MPFR precision to 64
0.208 * * * * [points]: Setting MPFR precision to 320
0.209 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision
0.213 * * * * [points]: Setting MPFR precision to 64
0.216 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision
0.223 * * * * [points]: Setting MPFR precision to 64
0.227 * * * * [points]: Setting MPFR precision to 320
0.232 * * * * [points]: Computing exacts for 189 points
0.237 * * * * [points]: Setting MPFR precision to 64
0.558 * * * * [points]: Setting MPFR precision to 320
0.576 * * * * [points]: Filtering points with unrepresentable outputs
0.576 * * * * [points]: Sampling 161 additional inputs, on iter 3 have 95 / 256
0.577 * * * * [points]: Computing exacts on every 10 of 161 points to ramp up precision
0.581 * * * * [points]: Setting MPFR precision to 64
0.583 * * * * [points]: Setting MPFR precision to 320
0.584 * * * * [points]: Computing exacts on every 5 of 161 points to ramp up precision
0.590 * * * * [points]: Setting MPFR precision to 64
0.593 * * * * [points]: Setting MPFR precision to 320
0.596 * * * * [points]: Computing exacts on every 2 of 161 points to ramp up precision
0.602 * * * * [points]: Setting MPFR precision to 64
0.608 * * * * [points]: Setting MPFR precision to 320
0.613 * * * * [points]: Computing exacts for 161 points
0.620 * * * * [points]: Setting MPFR precision to 64
0.637 * * * * [points]: Setting MPFR precision to 320
0.654 * * * * [points]: Filtering points with unrepresentable outputs
0.654 * * * * [points]: Sampling 136 additional inputs, on iter 4 have 120 / 256
0.655 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
0.662 * * * * [points]: Setting MPFR precision to 64
0.664 * * * * [points]: Setting MPFR precision to 320
0.666 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
0.694 * * * * [points]: Setting MPFR precision to 64
0.697 * * * * [points]: Setting MPFR precision to 320
0.700 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
0.706 * * * * [points]: Setting MPFR precision to 64
0.711 * * * * [points]: Setting MPFR precision to 320
0.716 * * * * [points]: Computing exacts for 136 points
0.723 * * * * [points]: Setting MPFR precision to 64
0.737 * * * * [points]: Setting MPFR precision to 320
0.747 * * * * [points]: Filtering points with unrepresentable outputs
0.747 * * * * [points]: Sampling 125 additional inputs, on iter 5 have 131 / 256
0.749 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision
0.753 * * * * [points]: Setting MPFR precision to 64
0.755 * * * * [points]: Setting MPFR precision to 320
0.756 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision
0.760 * * * * [points]: Setting MPFR precision to 64
0.763 * * * * [points]: Setting MPFR precision to 320
0.765 * * * * [points]: Computing exacts for 125 points
0.770 * * * * [points]: Setting MPFR precision to 64
0.779 * * * * [points]: Setting MPFR precision to 320
0.788 * * * * [points]: Filtering points with unrepresentable outputs
0.788 * * * * [points]: Sampling 107 additional inputs, on iter 6 have 149 / 256
0.789 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
0.811 * * * * [points]: Setting MPFR precision to 64
0.812 * * * * [points]: Setting MPFR precision to 320
0.813 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
0.818 * * * * [points]: Setting MPFR precision to 64
0.821 * * * * [points]: Setting MPFR precision to 320
0.824 * * * * [points]: Computing exacts for 107 points
0.831 * * * * [points]: Setting MPFR precision to 64
0.842 * * * * [points]: Setting MPFR precision to 320
0.853 * * * * [points]: Filtering points with unrepresentable outputs
0.853 * * * * [points]: Sampling 98 additional inputs, on iter 7 have 158 / 256
0.854 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
0.861 * * * * [points]: Setting MPFR precision to 64
0.862 * * * * [points]: Setting MPFR precision to 320
0.864 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
0.870 * * * * [points]: Setting MPFR precision to 64
0.873 * * * * [points]: Setting MPFR precision to 320
0.875 * * * * [points]: Computing exacts for 98 points
0.879 * * * * [points]: Setting MPFR precision to 64
0.886 * * * * [points]: Setting MPFR precision to 320
0.894 * * * * [points]: Filtering points with unrepresentable outputs
0.894 * * * * [points]: Sampling 83 additional inputs, on iter 8 have 173 / 256
0.894 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.899 * * * * [points]: Setting MPFR precision to 64
0.900 * * * * [points]: Setting MPFR precision to 320
0.901 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.928 * * * * [points]: Setting MPFR precision to 64
0.931 * * * * [points]: Setting MPFR precision to 320
0.934 * * * * [points]: Computing exacts for 83 points
0.941 * * * * [points]: Setting MPFR precision to 64
0.950 * * * * [points]: Setting MPFR precision to 320
0.958 * * * * [points]: Filtering points with unrepresentable outputs
0.959 * * * * [points]: Sampling 75 additional inputs, on iter 9 have 181 / 256
0.959 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
0.966 * * * * [points]: Setting MPFR precision to 64
0.968 * * * * [points]: Setting MPFR precision to 320
0.969 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
0.976 * * * * [points]: Setting MPFR precision to 64
0.978 * * * * [points]: Setting MPFR precision to 320
0.981 * * * * [points]: Computing exacts for 75 points
0.988 * * * * [points]: Setting MPFR precision to 64
0.995 * * * * [points]: Setting MPFR precision to 320
1.002 * * * * [points]: Filtering points with unrepresentable outputs
1.002 * * * * [points]: Sampling 67 additional inputs, on iter 10 have 189 / 256
1.002 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
1.007 * * * * [points]: Setting MPFR precision to 64
1.008 * * * * [points]: Setting MPFR precision to 320
1.008 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
1.014 * * * * [points]: Setting MPFR precision to 64
1.017 * * * * [points]: Setting MPFR precision to 320
1.019 * * * * [points]: Computing exacts for 67 points
1.026 * * * * [points]: Setting MPFR precision to 64
1.033 * * * * [points]: Setting MPFR precision to 320
1.061 * * * * [points]: Filtering points with unrepresentable outputs
1.062 * * * * [points]: Sampling 58 additional inputs, on iter 11 have 198 / 256
1.062 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
1.070 * * * * [points]: Setting MPFR precision to 64
1.072 * * * * [points]: Setting MPFR precision to 320
1.073 * * * * [points]: Computing exacts for 58 points
1.081 * * * * [points]: Setting MPFR precision to 64
1.088 * * * * [points]: Setting MPFR precision to 320
1.094 * * * * [points]: Filtering points with unrepresentable outputs
1.094 * * * * [points]: Sampling 52 additional inputs, on iter 12 have 204 / 256
1.094 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
1.101 * * * * [points]: Setting MPFR precision to 64
1.102 * * * * [points]: Setting MPFR precision to 320
1.103 * * * * [points]: Computing exacts for 52 points
1.107 * * * * [points]: Setting MPFR precision to 64
1.112 * * * * [points]: Setting MPFR precision to 320
1.118 * * * * [points]: Filtering points with unrepresentable outputs
1.118 * * * * [points]: Sampling 41 additional inputs, on iter 13 have 215 / 256
1.119 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
1.126 * * * * [points]: Setting MPFR precision to 64
1.127 * * * * [points]: Setting MPFR precision to 320
1.129 * * * * [points]: Computing exacts for 41 points
1.136 * * * * [points]: Setting MPFR precision to 64
1.141 * * * * [points]: Setting MPFR precision to 320
1.146 * * * * [points]: Filtering points with unrepresentable outputs
1.146 * * * * [points]: Sampling 36 additional inputs, on iter 14 have 220 / 256
1.146 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1.154 * * * * [points]: Setting MPFR precision to 64
1.155 * * * * [points]: Setting MPFR precision to 320
1.157 * * * * [points]: Computing exacts for 36 points
1.164 * * * * [points]: Setting MPFR precision to 64
1.169 * * * * [points]: Setting MPFR precision to 320
1.194 * * * * [points]: Filtering points with unrepresentable outputs
1.194 * * * * [points]: Sampling 36 additional inputs, on iter 15 have 220 / 256
1.195 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1.202 * * * * [points]: Setting MPFR precision to 64
1.204 * * * * [points]: Setting MPFR precision to 320
1.206 * * * * [points]: Computing exacts for 36 points
1.213 * * * * [points]: Setting MPFR precision to 64
1.217 * * * * [points]: Setting MPFR precision to 320
1.222 * * * * [points]: Filtering points with unrepresentable outputs
1.222 * * * * [points]: Sampling 30 additional inputs, on iter 16 have 226 / 256
1.222 * * * * [points]: Computing exacts for 30 points
1.230 * * * * [points]: Setting MPFR precision to 64
1.233 * * * * [points]: Setting MPFR precision to 320
1.237 * * * * [points]: Filtering points with unrepresentable outputs
1.237 * * * * [points]: Sampling 25 additional inputs, on iter 17 have 231 / 256
1.237 * * * * [points]: Computing exacts for 25 points
1.245 * * * * [points]: Setting MPFR precision to 64
1.248 * * * * [points]: Setting MPFR precision to 320
1.251 * * * * [points]: Filtering points with unrepresentable outputs
1.251 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
1.251 * * * * [points]: Computing exacts for 19 points
1.259 * * * * [points]: Setting MPFR precision to 64
1.261 * * * * [points]: Setting MPFR precision to 320
1.263 * * * * [points]: Filtering points with unrepresentable outputs
1.263 * * * * [points]: Sampling 16 additional inputs, on iter 19 have 240 / 256
1.264 * * * * [points]: Computing exacts for 16 points
1.271 * * * * [points]: Setting MPFR precision to 64
1.273 * * * * [points]: Setting MPFR precision to 320
1.275 * * * * [points]: Filtering points with unrepresentable outputs
1.275 * * * * [points]: Sampling 13 additional inputs, on iter 20 have 243 / 256
1.275 * * * * [points]: Computing exacts for 13 points
1.283 * * * * [points]: Setting MPFR precision to 64
1.285 * * * * [points]: Setting MPFR precision to 320
1.286 * * * * [points]: Filtering points with unrepresentable outputs
1.286 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.287 * * * * [points]: Computing exacts for 12 points
1.294 * * * * [points]: Setting MPFR precision to 64
1.296 * * * * [points]: Setting MPFR precision to 320
1.297 * * * * [points]: Filtering points with unrepresentable outputs
1.297 * * * * [points]: Sampling 11 additional inputs, on iter 22 have 245 / 256
1.297 * * * * [points]: Computing exacts for 11 points
1.305 * * * * [points]: Setting MPFR precision to 64
1.307 * * * * [points]: Setting MPFR precision to 320
1.308 * * * * [points]: Filtering points with unrepresentable outputs
1.308 * * * * [points]: Sampling 9 additional inputs, on iter 23 have 247 / 256
1.308 * * * * [points]: Computing exacts for 9 points
1.334 * * * * [points]: Setting MPFR precision to 64
1.335 * * * * [points]: Setting MPFR precision to 320
1.337 * * * * [points]: Filtering points with unrepresentable outputs
1.337 * * * * [points]: Sampling 9 additional inputs, on iter 24 have 247 / 256
1.337 * * * * [points]: Computing exacts for 9 points
1.344 * * * * [points]: Setting MPFR precision to 64
1.346 * * * * [points]: Setting MPFR precision to 320
1.347 * * * * [points]: Filtering points with unrepresentable outputs
1.347 * * * * [points]: Sampling 8 additional inputs, on iter 25 have 248 / 256
1.347 * * * * [points]: Computing exacts for 8 points
1.354 * * * * [points]: Setting MPFR precision to 64
1.355 * * * * [points]: Setting MPFR precision to 320
1.356 * * * * [points]: Filtering points with unrepresentable outputs
1.356 * * * * [points]: Sampling 8 additional inputs, on iter 26 have 248 / 256
1.356 * * * * [points]: Computing exacts for 8 points
1.363 * * * * [points]: Setting MPFR precision to 64
1.364 * * * * [points]: Setting MPFR precision to 320
1.365 * * * * [points]: Filtering points with unrepresentable outputs
1.365 * * * * [points]: Sampling 7 additional inputs, on iter 27 have 249 / 256
1.365 * * * * [points]: Computing exacts for 7 points
1.372 * * * * [points]: Setting MPFR precision to 64
1.373 * * * * [points]: Setting MPFR precision to 320
1.374 * * * * [points]: Filtering points with unrepresentable outputs
1.374 * * * * [points]: Sampling 7 additional inputs, on iter 28 have 249 / 256
1.374 * * * * [points]: Computing exacts for 7 points
1.381 * * * * [points]: Setting MPFR precision to 64
1.382 * * * * [points]: Setting MPFR precision to 320
1.383 * * * * [points]: Filtering points with unrepresentable outputs
1.383 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256
1.383 * * * * [points]: Computing exacts for 5 points
1.390 * * * * [points]: Setting MPFR precision to 64
1.390 * * * * [points]: Setting MPFR precision to 320
1.391 * * * * [points]: Filtering points with unrepresentable outputs
1.391 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.391 * * * * [points]: Computing exacts for 4 points
1.398 * * * * [points]: Setting MPFR precision to 64
1.398 * * * * [points]: Setting MPFR precision to 320
1.399 * * * * [points]: Filtering points with unrepresentable outputs
1.399 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 255 / 256
1.399 * * * * [points]: Computing exacts for 4 points
1.406 * * * * [points]: Setting MPFR precision to 64
1.406 * * * * [points]: Setting MPFR precision to 320
1.407 * * * * [points]: Filtering points with unrepresentable outputs
1.407 * * * * [points]: Sampled 257 points with exact outputs
1.407 * * * [progress]: [2/2] Setting up program.
1.422 * [progress]: [Phase 2 of 3] Improving.
1.423 * * * * [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.423 * [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.423 * * [simplify]: iters left: 6 (19 enodes)
1.436 * * [simplify]: iters left: 5 (76 enodes)
1.462 * * [simplify]: iters left: 4 (344 enodes)
1.733 * * [simplify]: Extracting #0: cost 1 inf + 0
1.733 * * [simplify]: Extracting #1: cost 75 inf + 0
1.734 * * [simplify]: Extracting #2: cost 474 inf + 1
1.746 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.757 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.774 * * [simplify]: Extracting #5: cost 611 inf + 190357
1.791 * * [simplify]: Extracting #6: cost 583 inf + 205484
1.825 * * [simplify]: Extracting #7: cost 359 inf + 460450
1.898 * * [simplify]: Extracting #8: cost 52 inf + 927410
1.978 * * [simplify]: Extracting #9: cost 0 inf + 1029213
2.073 * * [simplify]: Extracting #10: cost 0 inf + 1027693
2.162 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
2.162 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
2.198 * * [progress]: iteration 1 / 4
2.198 * * * [progress]: picking best candidate
2.229 * * * * [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.229 * * * [progress]: localizing error
2.640 * * * [progress]: generating rewritten candidates
2.641 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.657 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.668 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.673 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.688 * * * [progress]: generating series expansions
2.688 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.688 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.688 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.688 * * * [progress]: simplifying candidates
2.688 * * * * [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.689 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
2.689 * * [simplify]: iters left: 3 (8 enodes)
2.692 * * [simplify]: iters left: 2 (20 enodes)
2.697 * * [simplify]: iters left: 1 (26 enodes)
2.703 * * [simplify]: Extracting #0: cost 1 inf + 0
2.703 * * [simplify]: Extracting #1: cost 7 inf + 0
2.703 * * [simplify]: Extracting #2: cost 7 inf + 2
2.703 * * [simplify]: Extracting #3: cost 6 inf + 45
2.703 * * [simplify]: Extracting #4: cost 4 inf + 47
2.703 * * [simplify]: Extracting #5: cost 1 inf + 1136
2.703 * * [simplify]: Extracting #6: cost 0 inf + 1499
2.703 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
2.704 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.704 * * * * [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.704 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
2.704 * * [simplify]: iters left: 3 (6 enodes)
2.706 * * [simplify]: iters left: 2 (22 enodes)
2.712 * * [simplify]: iters left: 1 (42 enodes)
2.722 * * [simplify]: Extracting #0: cost 1 inf + 0
2.723 * * [simplify]: Extracting #1: cost 12 inf + 0
2.723 * * [simplify]: Extracting #2: cost 16 inf + 1
2.723 * * [simplify]: Extracting #3: cost 9 inf + 1412
2.723 * * [simplify]: Extracting #4: cost 0 inf + 4393
2.724 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
2.724 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.724 * * * * [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.724 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.725 * * [simplify]: iters left: 4 (11 enodes)
2.729 * * [simplify]: iters left: 3 (34 enodes)
2.739 * * [simplify]: iters left: 2 (62 enodes)
2.755 * * [simplify]: iters left: 1 (116 enodes)
2.775 * * [simplify]: Extracting #0: cost 1 inf + 0
2.775 * * [simplify]: Extracting #1: cost 18 inf + 0
2.775 * * [simplify]: Extracting #2: cost 32 inf + 1
2.775 * * [simplify]: Extracting #3: cost 28 inf + 688
2.776 * * [simplify]: Extracting #4: cost 20 inf + 2471
2.776 * * [simplify]: Extracting #5: cost 11 inf + 5213
2.777 * * [simplify]: Extracting #6: cost 0 inf + 16616
2.778 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
2.779 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.779 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.779 * * [simplify]: iters left: 5 (13 enodes)
2.782 * * [simplify]: iters left: 4 (36 enodes)
2.788 * * [simplify]: iters left: 3 (69 enodes)
2.806 * * [simplify]: iters left: 2 (108 enodes)
2.831 * * [simplify]: iters left: 1 (142 enodes)
2.863 * * [simplify]: Extracting #0: cost 1 inf + 0
2.863 * * [simplify]: Extracting #1: cost 3 inf + 0
2.863 * * [simplify]: Extracting #2: cost 25 inf + 0
2.863 * * [simplify]: Extracting #3: cost 26 inf + 2
2.864 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.864 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.866 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.867 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.867 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.867 * * * * [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.868 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
2.868 * * [simplify]: iters left: 4 (11 enodes)
2.872 * * [simplify]: iters left: 3 (33 enodes)
2.883 * * [simplify]: iters left: 2 (87 enodes)
2.924 * * [simplify]: iters left: 1 (455 enodes)
3.499 * * [simplify]: Extracting #0: cost 1 inf + 0
3.499 * * [simplify]: Extracting #1: cost 38 inf + 0
3.500 * * [simplify]: Extracting #2: cost 349 inf + 2
3.505 * * [simplify]: Extracting #3: cost 1015 inf + 2069
3.515 * * [simplify]: Extracting #4: cost 974 inf + 36877
3.547 * * [simplify]: Extracting #5: cost 686 inf + 251010
3.613 * * [simplify]: Extracting #6: cost 123 inf + 839954
3.684 * * [simplify]: Extracting #7: cost 0 inf + 991791
3.759 * * [simplify]: Extracting #8: cost 0 inf + 989631
3.849 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
3.850 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))
3.850 * * * * [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))))))>
3.850 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.850 * * [simplify]: iters left: 4 (11 enodes)
3.856 * * [simplify]: iters left: 3 (34 enodes)
3.867 * * [simplify]: iters left: 2 (62 enodes)
3.888 * * [simplify]: iters left: 1 (116 enodes)
3.927 * * [simplify]: Extracting #0: cost 1 inf + 0
3.927 * * [simplify]: Extracting #1: cost 18 inf + 0
3.927 * * [simplify]: Extracting #2: cost 32 inf + 1
3.927 * * [simplify]: Extracting #3: cost 28 inf + 688
3.928 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.929 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.931 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.933 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.934 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
3.934 * * * * [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))))>
3.934 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))
3.934 * * [simplify]: iters left: 5 (12 enodes)
3.940 * * [simplify]: iters left: 4 (32 enodes)
3.952 * * [simplify]: iters left: 3 (90 enodes)
3.984 * * [simplify]: iters left: 2 (378 enodes)
4.346 * * [simplify]: Extracting #0: cost 1 inf + 0
4.346 * * [simplify]: Extracting #1: cost 90 inf + 0
4.348 * * [simplify]: Extracting #2: cost 388 inf + 0
4.350 * * [simplify]: Extracting #3: cost 380 inf + 3950
4.356 * * [simplify]: Extracting #4: cost 272 inf + 84531
4.387 * * [simplify]: Extracting #5: cost 20 inf + 357988
4.419 * * [simplify]: Extracting #6: cost 0 inf + 384165
4.457 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
4.457 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))))
4.458 * * * * [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.458 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
4.458 * * [simplify]: iters left: 5 (9 enodes)
4.462 * * [simplify]: iters left: 4 (35 enodes)
4.476 * * [simplify]: iters left: 3 (128 enodes)
4.563 * * [simplify]: Extracting #0: cost 1 inf + 0
4.563 * * [simplify]: Extracting #1: cost 39 inf + 0
4.564 * * [simplify]: Extracting #2: cost 167 inf + 1
4.566 * * [simplify]: Extracting #3: cost 185 inf + 9642
4.573 * * [simplify]: Extracting #4: cost 54 inf + 131260
4.590 * * [simplify]: Extracting #5: cost 0 inf + 183768
4.598 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
4.598 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
4.598 * * * * [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.598 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
4.598 * * [simplify]: iters left: 5 (15 enodes)
4.602 * * [simplify]: iters left: 4 (44 enodes)
4.612 * * [simplify]: iters left: 3 (112 enodes)
4.670 * * [simplify]: iters left: 2 (473 enodes)
4.967 * * [simplify]: Extracting #0: cost 1 inf + 0
4.968 * * [simplify]: Extracting #1: cost 35 inf + 0
4.968 * * [simplify]: Extracting #2: cost 286 inf + 1
4.971 * * [simplify]: Extracting #3: cost 529 inf + 4158
4.974 * * [simplify]: Extracting #4: cost 531 inf + 7620
4.978 * * [simplify]: Extracting #5: cost 474 inf + 34154
4.998 * * [simplify]: Extracting #6: cost 203 inf + 247830
5.035 * * [simplify]: Extracting #7: cost 17 inf + 434257
5.085 * * [simplify]: Extracting #8: cost 0 inf + 455708
5.135 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
5.135 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
5.135 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
5.136 * * [simplify]: iters left: 6 (17 enodes)
5.140 * * [simplify]: iters left: 5 (52 enodes)
5.150 * * [simplify]: iters left: 4 (154 enodes)
5.217 * * [simplify]: Extracting #0: cost 1 inf + 0
5.217 * * [simplify]: Extracting #1: cost 27 inf + 0
5.217 * * [simplify]: Extracting #2: cost 137 inf + 0
5.218 * * [simplify]: Extracting #3: cost 277 inf + 366
5.219 * * [simplify]: Extracting #4: cost 285 inf + 5479
5.221 * * [simplify]: Extracting #5: cost 253 inf + 13586
5.224 * * [simplify]: Extracting #6: cost 206 inf + 39659
5.241 * * [simplify]: Extracting #7: cost 38 inf + 215233
5.272 * * [simplify]: Extracting #8: cost 0 inf + 248609
5.288 * * [simplify]: Extracting #9: cost 0 inf + 244529
5.311 * * [simplify]: Extracting #10: cost 0 inf + 244169
5.342 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
5.343 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
5.343 * * * * [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))))>
5.343 * [simplify]: Simplifying (*.p16 i i)
5.343 * * [simplify]: iters left: 1 (2 enodes)
5.344 * * [simplify]: Extracting #0: cost 1 inf + 0
5.344 * * [simplify]: Extracting #1: cost 2 inf + 0
5.344 * * [simplify]: Extracting #2: cost 1 inf + 1
5.344 * * [simplify]: Extracting #3: cost 0 inf + 322
5.344 * [simplify]: Simplified to (*.p16 i i)
5.344 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.345 * * * * [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))))>
5.345 * [simplify]: Simplifying (*.p16 i i)
5.345 * * [simplify]: iters left: 1 (2 enodes)
5.346 * * [simplify]: Extracting #0: cost 1 inf + 0
5.346 * * [simplify]: Extracting #1: cost 2 inf + 0
5.346 * * [simplify]: Extracting #2: cost 1 inf + 1
5.346 * * [simplify]: Extracting #3: cost 0 inf + 322
5.346 * [simplify]: Simplified to (*.p16 i i)
5.346 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.346 * * * * [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))))>
5.346 * * * * [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))))>
5.346 * * * * [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))))>
5.347 * * * * [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))))>
5.347 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
5.347 * * [simplify]: iters left: 6 (19 enodes)
5.353 * * [simplify]: iters left: 5 (76 enodes)
5.377 * * [simplify]: iters left: 4 (344 enodes)
5.628 * * [simplify]: Extracting #0: cost 1 inf + 0
5.628 * * [simplify]: Extracting #1: cost 75 inf + 0
5.630 * * [simplify]: Extracting #2: cost 474 inf + 1
5.636 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.651 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.679 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.701 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.744 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.838 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.951 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.036 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.121 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
6.121 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
6.121 * * * * [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))))>
6.121 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
6.122 * * [simplify]: iters left: 6 (19 enodes)
6.127 * * [simplify]: iters left: 5 (76 enodes)
6.147 * * [simplify]: iters left: 4 (344 enodes)
6.354 * * [simplify]: Extracting #0: cost 1 inf + 0
6.355 * * [simplify]: Extracting #1: cost 75 inf + 0
6.362 * * [simplify]: Extracting #2: cost 474 inf + 1
6.368 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.382 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.392 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.410 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.454 * * [simplify]: Extracting #7: cost 359 inf + 460450
6.548 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.663 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.755 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.859 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
6.859 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
6.859 * * * * [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))))>
6.860 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
6.860 * * [simplify]: iters left: 6 (19 enodes)
6.870 * * [simplify]: iters left: 5 (76 enodes)
6.894 * * [simplify]: iters left: 4 (344 enodes)
7.158 * * [simplify]: Extracting #0: cost 1 inf + 0
7.158 * * [simplify]: Extracting #1: cost 75 inf + 0
7.160 * * [simplify]: Extracting #2: cost 474 inf + 1
7.167 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.182 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.202 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.225 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.273 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.364 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.476 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.591 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.706 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
7.706 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
7.707 * * * * [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))))>
7.707 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
7.707 * * [simplify]: iters left: 6 (19 enodes)
7.717 * * [simplify]: iters left: 5 (76 enodes)
7.739 * * [simplify]: iters left: 4 (344 enodes)
7.974 * * [simplify]: Extracting #0: cost 1 inf + 0
7.974 * * [simplify]: Extracting #1: cost 75 inf + 0
7.976 * * [simplify]: Extracting #2: cost 474 inf + 1
7.983 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.997 * * [simplify]: Extracting #4: cost 684 inf + 140740
8.018 * * [simplify]: Extracting #5: cost 611 inf + 190357
8.046 * * [simplify]: Extracting #6: cost 583 inf + 205484
8.090 * * [simplify]: Extracting #7: cost 359 inf + 460450
8.181 * * [simplify]: Extracting #8: cost 52 inf + 927410
8.260 * * [simplify]: Extracting #9: cost 0 inf + 1029213
8.333 * * [simplify]: Extracting #10: cost 0 inf + 1027693
8.392 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
8.392 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
8.392 * * * [progress]: adding candidates to table
9.020 * * [progress]: iteration 2 / 4
9.020 * * * [progress]: picking best candidate
9.195 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.195 * * * [progress]: localizing error
9.714 * * * [progress]: generating rewritten candidates
9.714 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
9.728 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.761 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.782 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.856 * * * [progress]: generating series expansions
9.856 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
9.856 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
9.856 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.856 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.857 * * * [progress]: simplifying candidates
9.857 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.857 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.857 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
9.857 * * [simplify]: iters left: 4 (11 enodes)
9.863 * * [simplify]: iters left: 3 (27 enodes)
9.872 * * [simplify]: iters left: 2 (47 enodes)
9.888 * * [simplify]: iters left: 1 (76 enodes)
9.912 * * [simplify]: Extracting #0: cost 1 inf + 0
9.912 * * [simplify]: Extracting #1: cost 16 inf + 0
9.913 * * [simplify]: Extracting #2: cost 17 inf + 2
9.913 * * [simplify]: Extracting #3: cost 13 inf + 89
9.913 * * [simplify]: Extracting #4: cost 9 inf + 298
9.914 * * [simplify]: Extracting #5: cost 1 inf + 2963
9.915 * * [simplify]: Extracting #6: cost 0 inf + 3367
9.916 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
9.916 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
9.917 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
9.917 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
9.917 * * [simplify]: iters left: 4 (8 enodes)
9.921 * * [simplify]: iters left: 3 (26 enodes)
9.930 * * [simplify]: iters left: 2 (53 enodes)
9.947 * * [simplify]: iters left: 1 (91 enodes)
9.977 * * [simplify]: Extracting #0: cost 1 inf + 0
9.977 * * [simplify]: Extracting #1: cost 24 inf + 0
9.977 * * [simplify]: Extracting #2: cost 31 inf + 0
9.977 * * [simplify]: Extracting #3: cost 26 inf + 366
9.978 * * [simplify]: Extracting #4: cost 9 inf + 8250
9.980 * * [simplify]: Extracting #5: cost 0 inf + 15077
9.981 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
9.981 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
9.982 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.982 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
9.982 * * [simplify]: iters left: 3 (6 enodes)
9.985 * * [simplify]: iters left: 2 (22 enodes)
9.992 * * [simplify]: iters left: 1 (42 enodes)
10.005 * * [simplify]: Extracting #0: cost 1 inf + 0
10.006 * * [simplify]: Extracting #1: cost 12 inf + 0
10.006 * * [simplify]: Extracting #2: cost 16 inf + 1
10.006 * * [simplify]: Extracting #3: cost 9 inf + 1412
10.007 * * [simplify]: Extracting #4: cost 0 inf + 4393
10.008 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
10.008 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.008 * * * * [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)))))>
10.008 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.009 * * [simplify]: iters left: 5 (15 enodes)
10.016 * * [simplify]: iters left: 4 (44 enodes)
10.032 * * [simplify]: iters left: 3 (112 enodes)
10.091 * * [simplify]: iters left: 2 (473 enodes)
10.586 * * [simplify]: Extracting #0: cost 1 inf + 0
10.586 * * [simplify]: Extracting #1: cost 35 inf + 0
10.587 * * [simplify]: Extracting #2: cost 286 inf + 1
10.592 * * [simplify]: Extracting #3: cost 529 inf + 4158
10.598 * * [simplify]: Extracting #4: cost 531 inf + 7620
10.612 * * [simplify]: Extracting #5: cost 474 inf + 34154
10.635 * * [simplify]: Extracting #6: cost 203 inf + 247830
10.687 * * [simplify]: Extracting #7: cost 17 inf + 434257
10.772 * * [simplify]: Extracting #8: cost 0 inf + 455708
10.854 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
10.854 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.854 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.854 * * [simplify]: iters left: 6 (17 enodes)
10.863 * * [simplify]: iters left: 5 (52 enodes)
10.885 * * [simplify]: iters left: 4 (154 enodes)
10.990 * * [simplify]: Extracting #0: cost 1 inf + 0
10.990 * * [simplify]: Extracting #1: cost 27 inf + 0
10.990 * * [simplify]: Extracting #2: cost 137 inf + 0
10.992 * * [simplify]: Extracting #3: cost 277 inf + 366
10.994 * * [simplify]: Extracting #4: cost 285 inf + 5479
10.998 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.003 * * [simplify]: Extracting #6: cost 206 inf + 39659
11.030 * * [simplify]: Extracting #7: cost 38 inf + 215233
11.051 * * [simplify]: Extracting #8: cost 0 inf + 248609
11.075 * * [simplify]: Extracting #9: cost 0 inf + 244529
11.108 * * [simplify]: Extracting #10: cost 0 inf + 244169
11.132 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
11.132 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
11.133 * * * * [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)))))>
11.133 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.133 * * [simplify]: iters left: 5 (15 enodes)
11.137 * * [simplify]: iters left: 4 (44 enodes)
11.145 * * [simplify]: iters left: 3 (112 enodes)
11.181 * * [simplify]: iters left: 2 (473 enodes)
11.606 * * [simplify]: Extracting #0: cost 1 inf + 0
11.606 * * [simplify]: Extracting #1: cost 35 inf + 0
11.607 * * [simplify]: Extracting #2: cost 286 inf + 1
11.612 * * [simplify]: Extracting #3: cost 529 inf + 4158
11.618 * * [simplify]: Extracting #4: cost 531 inf + 7620
11.626 * * [simplify]: Extracting #5: cost 474 inf + 34154
11.659 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.713 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.795 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.879 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
11.879 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.880 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.881 * * [simplify]: iters left: 6 (17 enodes)
11.890 * * [simplify]: iters left: 5 (52 enodes)
11.912 * * [simplify]: iters left: 4 (154 enodes)
11.997 * * [simplify]: Extracting #0: cost 1 inf + 0
11.997 * * [simplify]: Extracting #1: cost 27 inf + 0
11.998 * * [simplify]: Extracting #2: cost 137 inf + 0
11.998 * * [simplify]: Extracting #3: cost 277 inf + 366
11.999 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.001 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.004 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.026 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.057 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.075 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.093 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.109 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
12.109 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
12.109 * * * * [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)))))>
12.110 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.110 * * [simplify]: iters left: 5 (15 enodes)
12.113 * * [simplify]: iters left: 4 (44 enodes)
12.122 * * [simplify]: iters left: 3 (112 enodes)
12.150 * * [simplify]: iters left: 2 (473 enodes)
12.580 * * [simplify]: Extracting #0: cost 1 inf + 0
12.580 * * [simplify]: Extracting #1: cost 35 inf + 0
12.580 * * [simplify]: Extracting #2: cost 286 inf + 1
12.583 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.590 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.596 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.630 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.704 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.776 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.834 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
12.834 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
12.834 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.834 * * [simplify]: iters left: 6 (17 enodes)
12.839 * * [simplify]: iters left: 5 (52 enodes)
12.850 * * [simplify]: iters left: 4 (154 enodes)
12.937 * * [simplify]: Extracting #0: cost 1 inf + 0
12.937 * * [simplify]: Extracting #1: cost 27 inf + 0
12.937 * * [simplify]: Extracting #2: cost 137 inf + 0
12.939 * * [simplify]: Extracting #3: cost 277 inf + 366
12.941 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.945 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.950 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.978 * * [simplify]: Extracting #7: cost 38 inf + 215233
13.010 * * [simplify]: Extracting #8: cost 0 inf + 248609
13.043 * * [simplify]: Extracting #9: cost 0 inf + 244529
13.076 * * [simplify]: Extracting #10: cost 0 inf + 244169
13.109 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
13.110 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
13.110 * * * * [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)))))>
13.110 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.110 * * [simplify]: iters left: 5 (15 enodes)
13.117 * * [simplify]: iters left: 4 (44 enodes)
13.135 * * [simplify]: iters left: 3 (112 enodes)
13.194 * * [simplify]: iters left: 2 (473 enodes)
13.605 * * [simplify]: Extracting #0: cost 1 inf + 0
13.606 * * [simplify]: Extracting #1: cost 35 inf + 0
13.607 * * [simplify]: Extracting #2: cost 286 inf + 1
13.612 * * [simplify]: Extracting #3: cost 529 inf + 4158
13.620 * * [simplify]: Extracting #4: cost 531 inf + 7620
13.628 * * [simplify]: Extracting #5: cost 474 inf + 34154
13.661 * * [simplify]: Extracting #6: cost 203 inf + 247830
13.724 * * [simplify]: Extracting #7: cost 17 inf + 434257
13.770 * * [simplify]: Extracting #8: cost 0 inf + 455708
13.819 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
13.819 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
13.820 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.820 * * [simplify]: iters left: 6 (17 enodes)
13.824 * * [simplify]: iters left: 5 (52 enodes)
13.843 * * [simplify]: iters left: 4 (154 enodes)
13.938 * * [simplify]: Extracting #0: cost 1 inf + 0
13.938 * * [simplify]: Extracting #1: cost 27 inf + 0
13.939 * * [simplify]: Extracting #2: cost 137 inf + 0
13.940 * * [simplify]: Extracting #3: cost 277 inf + 366
13.942 * * [simplify]: Extracting #4: cost 285 inf + 5479
13.945 * * [simplify]: Extracting #5: cost 253 inf + 13586
13.950 * * [simplify]: Extracting #6: cost 206 inf + 39659
13.964 * * [simplify]: Extracting #7: cost 38 inf + 215233
13.982 * * [simplify]: Extracting #8: cost 0 inf + 248609
13.999 * * [simplify]: Extracting #9: cost 0 inf + 244529
14.017 * * [simplify]: Extracting #10: cost 0 inf + 244169
14.035 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
14.035 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
14.036 * * * [progress]: adding candidates to table
14.448 * * [progress]: iteration 3 / 4
14.448 * * * [progress]: picking best candidate
14.876 * * * * [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)))))>
14.876 * * * [progress]: localizing error
15.490 * * * [progress]: generating rewritten candidates
15.491 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
15.503 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
15.526 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
15.550 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.600 * * * [progress]: generating series expansions
15.600 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
15.600 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
15.600 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.600 * * * [progress]: simplifying candidates
15.600 * * * * [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)))))>
15.600 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
15.600 * * [simplify]: iters left: 4 (11 enodes)
15.603 * * [simplify]: iters left: 3 (27 enodes)
15.609 * * [simplify]: iters left: 2 (47 enodes)
15.617 * * [simplify]: iters left: 1 (76 enodes)
15.629 * * [simplify]: Extracting #0: cost 1 inf + 0
15.629 * * [simplify]: Extracting #1: cost 16 inf + 0
15.629 * * [simplify]: Extracting #2: cost 17 inf + 2
15.629 * * [simplify]: Extracting #3: cost 13 inf + 89
15.630 * * [simplify]: Extracting #4: cost 9 inf + 298
15.630 * * [simplify]: Extracting #5: cost 1 inf + 2963
15.631 * * [simplify]: Extracting #6: cost 0 inf + 3367
15.631 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
15.631 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
15.631 * * * * [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))))))>
15.632 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
15.632 * * [simplify]: iters left: 4 (8 enodes)
15.633 * * [simplify]: iters left: 3 (26 enodes)
15.638 * * [simplify]: iters left: 2 (53 enodes)
15.647 * * [simplify]: iters left: 1 (91 enodes)
15.673 * * [simplify]: Extracting #0: cost 1 inf + 0
15.673 * * [simplify]: Extracting #1: cost 24 inf + 0
15.674 * * [simplify]: Extracting #2: cost 31 inf + 0
15.674 * * [simplify]: Extracting #3: cost 26 inf + 366
15.674 * * [simplify]: Extracting #4: cost 9 inf + 8250
15.675 * * [simplify]: Extracting #5: cost 0 inf + 15077
15.676 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
15.676 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
15.676 * * * * [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)))))>
15.676 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.676 * * [simplify]: iters left: 4 (9 enodes)
15.678 * * [simplify]: iters left: 3 (21 enodes)
15.682 * * [simplify]: iters left: 2 (27 enodes)
15.686 * * [simplify]: iters left: 1 (28 enodes)
15.691 * * [simplify]: Extracting #0: cost 1 inf + 0
15.691 * * [simplify]: Extracting #1: cost 3 inf + 0
15.691 * * [simplify]: Extracting #2: cost 8 inf + 1
15.691 * * [simplify]: Extracting #3: cost 6 inf + 45
15.691 * * [simplify]: Extracting #4: cost 7 inf + 45
15.691 * * [simplify]: Extracting #5: cost 1 inf + 1499
15.692 * * [simplify]: Extracting #6: cost 0 inf + 2343
15.692 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
15.692 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
15.692 * * * * [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)))))>
15.692 * * * * [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)))))>
15.692 * * * * [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)))))>
15.692 * * * * [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)))))>
15.692 * * * * [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)))))>
15.692 * * * [progress]: adding candidates to table
16.007 * * [progress]: iteration 4 / 4
16.007 * * * [progress]: picking best candidate
16.435 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.435 * * * [progress]: localizing error
17.094 * * * [progress]: generating rewritten candidates
17.094 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
17.107 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
17.173 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
17.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
17.210 * * * [progress]: generating series expansions
17.210 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
17.210 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
17.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
17.210 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
17.210 * * * [progress]: simplifying candidates
17.210 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.211 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
17.211 * * [simplify]: iters left: 4 (11 enodes)
17.216 * * [simplify]: iters left: 3 (27 enodes)
17.225 * * [simplify]: iters left: 2 (47 enodes)
17.242 * * [simplify]: iters left: 1 (76 enodes)
17.266 * * [simplify]: Extracting #0: cost 1 inf + 0
17.266 * * [simplify]: Extracting #1: cost 16 inf + 0
17.266 * * [simplify]: Extracting #2: cost 17 inf + 2
17.266 * * [simplify]: Extracting #3: cost 13 inf + 89
17.267 * * [simplify]: Extracting #4: cost 9 inf + 298
17.268 * * [simplify]: Extracting #5: cost 1 inf + 2963
17.269 * * [simplify]: Extracting #6: cost 0 inf + 3367
17.270 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
17.270 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
17.271 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
17.271 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
17.271 * * [simplify]: iters left: 4 (8 enodes)
17.275 * * [simplify]: iters left: 3 (26 enodes)
17.284 * * [simplify]: iters left: 2 (53 enodes)
17.301 * * [simplify]: iters left: 1 (91 enodes)
17.329 * * [simplify]: Extracting #0: cost 1 inf + 0
17.329 * * [simplify]: Extracting #1: cost 24 inf + 0
17.329 * * [simplify]: Extracting #2: cost 31 inf + 0
17.330 * * [simplify]: Extracting #3: cost 26 inf + 366
17.330 * * [simplify]: Extracting #4: cost 9 inf + 8250
17.332 * * [simplify]: Extracting #5: cost 0 inf + 15077
17.333 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
17.334 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
17.334 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.334 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
17.334 * * [simplify]: iters left: 4 (9 enodes)
17.338 * * [simplify]: iters left: 3 (21 enodes)
17.345 * * [simplify]: iters left: 2 (27 enodes)
17.353 * * [simplify]: iters left: 1 (28 enodes)
17.360 * * [simplify]: Extracting #0: cost 1 inf + 0
17.360 * * [simplify]: Extracting #1: cost 3 inf + 0
17.360 * * [simplify]: Extracting #2: cost 8 inf + 1
17.360 * * [simplify]: Extracting #3: cost 6 inf + 45
17.360 * * [simplify]: Extracting #4: cost 7 inf + 45
17.360 * * [simplify]: Extracting #5: cost 1 inf + 1499
17.361 * * [simplify]: Extracting #6: cost 0 inf + 2343
17.361 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
17.361 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.361 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.362 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
17.362 * * [simplify]: iters left: 4 (9 enodes)
17.366 * * [simplify]: iters left: 3 (21 enodes)
17.372 * * [simplify]: iters left: 2 (27 enodes)
17.380 * * [simplify]: iters left: 1 (28 enodes)
17.388 * * [simplify]: Extracting #0: cost 1 inf + 0
17.388 * * [simplify]: Extracting #1: cost 3 inf + 0
17.388 * * [simplify]: Extracting #2: cost 8 inf + 1
17.388 * * [simplify]: Extracting #3: cost 6 inf + 45
17.388 * * [simplify]: Extracting #4: cost 7 inf + 45
17.388 * * [simplify]: Extracting #5: cost 1 inf + 1499
17.388 * * [simplify]: Extracting #6: cost 0 inf + 2343
17.389 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
17.389 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.389 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.389 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
17.390 * * [simplify]: iters left: 4 (9 enodes)
17.394 * * [simplify]: iters left: 3 (21 enodes)
17.401 * * [simplify]: iters left: 2 (27 enodes)
17.409 * * [simplify]: iters left: 1 (28 enodes)
17.416 * * [simplify]: Extracting #0: cost 1 inf + 0
17.416 * * [simplify]: Extracting #1: cost 3 inf + 0
17.416 * * [simplify]: Extracting #2: cost 8 inf + 1
17.416 * * [simplify]: Extracting #3: cost 6 inf + 45
17.417 * * [simplify]: Extracting #4: cost 7 inf + 45
17.417 * * [simplify]: Extracting #5: cost 1 inf + 1499
17.417 * * [simplify]: Extracting #6: cost 0 inf + 2343
17.418 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
17.418 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.418 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.419 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
17.419 * * [simplify]: iters left: 4 (9 enodes)
17.423 * * [simplify]: iters left: 3 (21 enodes)
17.430 * * [simplify]: iters left: 2 (27 enodes)
17.438 * * [simplify]: iters left: 1 (28 enodes)
17.445 * * [simplify]: Extracting #0: cost 1 inf + 0
17.446 * * [simplify]: Extracting #1: cost 3 inf + 0
17.446 * * [simplify]: Extracting #2: cost 8 inf + 1
17.446 * * [simplify]: Extracting #3: cost 6 inf + 45
17.446 * * [simplify]: Extracting #4: cost 7 inf + 45
17.446 * * [simplify]: Extracting #5: cost 1 inf + 1499
17.447 * * [simplify]: Extracting #6: cost 0 inf + 2343
17.447 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
17.447 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.447 * * * [progress]: adding candidates to table
17.641 * [progress]: [Phase 3 of 3] Extracting.
17.641 * * [regime]: Finding splitpoints for: (#<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))))> #<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)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 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 (*.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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
17.650 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
17.650 * * * * [regimes]: Trying to branch on beta from (#<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))))> #<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)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 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 (*.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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
18.347 * * * * [regimes]: Trying to branch on alpha from (#<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))))> #<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)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 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 (*.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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
18.722 * * * * [regimes]: Trying to branch on i from (#<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))))> #<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)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 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 (*.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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
19.098 * * * [regime]: Found split indices: #<option (#s(si 9 256))>
19.098 * [simplify]: Simplifying (*.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))))
19.098 * * [simplify]: iters left: 6 (22 enodes)
19.100 * * [simplify]: Extracting #0: cost 1 inf + 0
19.100 * * [simplify]: Extracting #1: cost 3 inf + 0
19.100 * * [simplify]: Extracting #2: cost 7 inf + 0
19.100 * * [simplify]: Extracting #3: cost 12 inf + 0
19.100 * * [simplify]: Extracting #4: cost 17 inf + 1
19.100 * * [simplify]: Extracting #5: cost 19 inf + 2
19.100 * * [simplify]: Extracting #6: cost 15 inf + 369
19.100 * * [simplify]: Extracting #7: cost 11 inf + 857
19.100 * * [simplify]: Extracting #8: cost 6 inf + 3675
19.101 * * [simplify]: Extracting #9: cost 1 inf + 10938
19.102 * * [simplify]: Extracting #10: cost 0 inf + 14703
19.103 * [simplify]: Simplified to (*.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))))
19.103 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
19.164 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
19.173 * * * * [points]: Setting MPFR precision to 64
19.175 * * * * [points]: Setting MPFR precision to 320
19.178 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
19.188 * * * * [points]: Setting MPFR precision to 64
19.193 * * * * [points]: Setting MPFR precision to 320
19.197 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
19.206 * * * * [points]: Setting MPFR precision to 64
19.213 * * * * [points]: Setting MPFR precision to 320
19.220 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
19.229 * * * * [points]: Setting MPFR precision to 64
19.245 * * * * [points]: Setting MPFR precision to 320
19.286 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
19.297 * * * * [points]: Setting MPFR precision to 64
19.333 * * * * [points]: Setting MPFR precision to 320
19.360 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
19.366 * * * * [points]: Setting MPFR precision to 64
19.404 * * * * [points]: Setting MPFR precision to 320
19.472 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
19.477 * * * * [points]: Setting MPFR precision to 64
19.556 * * * * [points]: Setting MPFR precision to 320
19.667 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.672 * * * * [points]: Setting MPFR precision to 64
19.859 * * * * [points]: Setting MPFR precision to 320
20.122 * * * * [points]: Computing exacts for 8000 points
20.131 * * * * [points]: Setting MPFR precision to 64
21.411 * * * * [points]: Setting MPFR precision to 320
22.892 * * * * [points]: Filtering points with unrepresentable outputs
22.899 * * * * [points]: Sampling 6900 additional inputs, on iter 1 have 1100 / 8000
22.991 * * * * [points]: Computing exacts on every 431 of 6900 points to ramp up precision
23.000 * * * * [points]: Setting MPFR precision to 64
23.003 * * * * [points]: Setting MPFR precision to 320
23.005 * * * * [points]: Computing exacts on every 215 of 6900 points to ramp up precision
23.015 * * * * [points]: Setting MPFR precision to 64
23.020 * * * * [points]: Setting MPFR precision to 320
23.024 * * * * [points]: Computing exacts on every 107 of 6900 points to ramp up precision
23.031 * * * * [points]: Setting MPFR precision to 64
23.036 * * * * [points]: Setting MPFR precision to 320
23.041 * * * * [points]: Computing exacts on every 53 of 6900 points to ramp up precision
23.046 * * * * [points]: Setting MPFR precision to 64
23.055 * * * * [points]: Setting MPFR precision to 320
23.072 * * * * [points]: Computing exacts on every 26 of 6900 points to ramp up precision
23.081 * * * * [points]: Setting MPFR precision to 64
23.102 * * * * [points]: Setting MPFR precision to 320
23.175 * * * * [points]: Computing exacts on every 13 of 6900 points to ramp up precision
23.185 * * * * [points]: Setting MPFR precision to 64
23.255 * * * * [points]: Setting MPFR precision to 320
23.323 * * * * [points]: Computing exacts on every 6 of 6900 points to ramp up precision
23.333 * * * * [points]: Setting MPFR precision to 64
23.519 * * * * [points]: Setting MPFR precision to 320
23.712 * * * * [points]: Computing exacts on every 3 of 6900 points to ramp up precision
23.723 * * * * [points]: Setting MPFR precision to 64
23.970 * * * * [points]: Setting MPFR precision to 320
24.164 * * * * [points]: Computing exacts for 6900 points
24.169 * * * * [points]: Setting MPFR precision to 64
24.954 * * * * [points]: Setting MPFR precision to 320
26.275 * * * * [points]: Filtering points with unrepresentable outputs
26.278 * * * * [points]: Sampling 5905 additional inputs, on iter 2 have 2095 / 8000
26.302 * * * * [points]: Computing exacts on every 369 of 5905 points to ramp up precision
26.308 * * * * [points]: Setting MPFR precision to 64
26.309 * * * * [points]: Setting MPFR precision to 320
26.310 * * * * [points]: Computing exacts on every 184 of 5905 points to ramp up precision
26.315 * * * * [points]: Setting MPFR precision to 64
26.318 * * * * [points]: Setting MPFR precision to 320
26.320 * * * * [points]: Computing exacts on every 92 of 5905 points to ramp up precision
26.325 * * * * [points]: Setting MPFR precision to 64
26.330 * * * * [points]: Setting MPFR precision to 320
26.334 * * * * [points]: Computing exacts on every 46 of 5905 points to ramp up precision
26.339 * * * * [points]: Setting MPFR precision to 64
26.370 * * * * [points]: Setting MPFR precision to 320
26.380 * * * * [points]: Computing exacts on every 23 of 5905 points to ramp up precision
26.385 * * * * [points]: Setting MPFR precision to 64
26.404 * * * * [points]: Setting MPFR precision to 320
26.423 * * * * [points]: Computing exacts on every 11 of 5905 points to ramp up precision
26.428 * * * * [points]: Setting MPFR precision to 64
26.481 * * * * [points]: Setting MPFR precision to 320
26.576 * * * * [points]: Computing exacts on every 5 of 5905 points to ramp up precision
26.586 * * * * [points]: Setting MPFR precision to 64
26.726 * * * * [points]: Setting MPFR precision to 320
26.823 * * * * [points]: Computing exacts on every 2 of 5905 points to ramp up precision
26.831 * * * * [points]: Setting MPFR precision to 64
27.143 * * * * [points]: Setting MPFR precision to 320
27.468 * * * * [points]: Computing exacts for 5905 points
27.478 * * * * [points]: Setting MPFR precision to 64
28.422 * * * * [points]: Setting MPFR precision to 320
29.489 * * * * [points]: Filtering points with unrepresentable outputs
29.492 * * * * [points]: Sampling 5082 additional inputs, on iter 3 have 2918 / 8000
29.526 * * * * [points]: Computing exacts on every 317 of 5082 points to ramp up precision
29.531 * * * * [points]: Setting MPFR precision to 64
29.532 * * * * [points]: Setting MPFR precision to 320
29.534 * * * * [points]: Computing exacts on every 158 of 5082 points to ramp up precision
29.538 * * * * [points]: Setting MPFR precision to 64
29.563 * * * * [points]: Setting MPFR precision to 320
29.565 * * * * [points]: Computing exacts on every 79 of 5082 points to ramp up precision
29.572 * * * * [points]: Setting MPFR precision to 64
29.578 * * * * [points]: Setting MPFR precision to 320
29.583 * * * * [points]: Computing exacts on every 39 of 5082 points to ramp up precision
29.588 * * * * [points]: Setting MPFR precision to 64
29.598 * * * * [points]: Setting MPFR precision to 320
29.608 * * * * [points]: Computing exacts on every 19 of 5082 points to ramp up precision
29.613 * * * * [points]: Setting MPFR precision to 64
29.633 * * * * [points]: Setting MPFR precision to 320
29.652 * * * * [points]: Computing exacts on every 9 of 5082 points to ramp up precision
29.659 * * * * [points]: Setting MPFR precision to 64
29.729 * * * * [points]: Setting MPFR precision to 320
29.797 * * * * [points]: Computing exacts on every 4 of 5082 points to ramp up precision
29.807 * * * * [points]: Setting MPFR precision to 64
29.982 * * * * [points]: Setting MPFR precision to 320
30.129 * * * * [points]: Computing exacts on every 2 of 5082 points to ramp up precision
30.134 * * * * [points]: Setting MPFR precision to 64
30.302 * * * * [points]: Setting MPFR precision to 320
30.502 * * * * [points]: Computing exacts for 5082 points
30.507 * * * * [points]: Setting MPFR precision to 64
31.094 * * * * [points]: Setting MPFR precision to 320
31.975 * * * * [points]: Filtering points with unrepresentable outputs
31.978 * * * * [points]: Sampling 4359 additional inputs, on iter 4 have 3641 / 8000
31.997 * * * * [points]: Computing exacts on every 272 of 4359 points to ramp up precision
32.002 * * * * [points]: Setting MPFR precision to 64
32.003 * * * * [points]: Setting MPFR precision to 320
32.004 * * * * [points]: Computing exacts on every 136 of 4359 points to ramp up precision
32.009 * * * * [points]: Setting MPFR precision to 64
32.012 * * * * [points]: Setting MPFR precision to 320
32.014 * * * * [points]: Computing exacts on every 68 of 4359 points to ramp up precision
32.019 * * * * [points]: Setting MPFR precision to 64
32.024 * * * * [points]: Setting MPFR precision to 320
32.029 * * * * [points]: Computing exacts on every 34 of 4359 points to ramp up precision
32.054 * * * * [points]: Setting MPFR precision to 64
32.066 * * * * [points]: Setting MPFR precision to 320
32.075 * * * * [points]: Computing exacts on every 17 of 4359 points to ramp up precision
32.080 * * * * [points]: Setting MPFR precision to 64
32.098 * * * * [points]: Setting MPFR precision to 320
32.116 * * * * [points]: Computing exacts on every 8 of 4359 points to ramp up precision
32.121 * * * * [points]: Setting MPFR precision to 64
32.183 * * * * [points]: Setting MPFR precision to 320
32.221 * * * * [points]: Computing exacts on every 4 of 4359 points to ramp up precision
32.226 * * * * [points]: Setting MPFR precision to 64
32.321 * * * * [points]: Setting MPFR precision to 320
32.388 * * * * [points]: Computing exacts on every 2 of 4359 points to ramp up precision
32.393 * * * * [points]: Setting MPFR precision to 64
32.584 * * * * [points]: Setting MPFR precision to 320
32.840 * * * * [points]: Computing exacts for 4359 points
32.849 * * * * [points]: Setting MPFR precision to 64
33.552 * * * * [points]: Setting MPFR precision to 320
34.236 * * * * [points]: Filtering points with unrepresentable outputs
34.241 * * * * [points]: Sampling 3696 additional inputs, on iter 5 have 4304 / 8000
34.268 * * * * [points]: Computing exacts on every 231 of 3696 points to ramp up precision
34.277 * * * * [points]: Setting MPFR precision to 64
34.280 * * * * [points]: Setting MPFR precision to 320
34.282 * * * * [points]: Computing exacts on every 115 of 3696 points to ramp up precision
34.290 * * * * [points]: Setting MPFR precision to 64
34.323 * * * * [points]: Setting MPFR precision to 320
34.326 * * * * [points]: Computing exacts on every 57 of 3696 points to ramp up precision
34.330 * * * * [points]: Setting MPFR precision to 64
34.337 * * * * [points]: Setting MPFR precision to 320
34.342 * * * * [points]: Computing exacts on every 28 of 3696 points to ramp up precision
34.347 * * * * [points]: Setting MPFR precision to 64
34.356 * * * * [points]: Setting MPFR precision to 320
34.366 * * * * [points]: Computing exacts on every 14 of 3696 points to ramp up precision
34.371 * * * * [points]: Setting MPFR precision to 64
34.390 * * * * [points]: Setting MPFR precision to 320
34.409 * * * * [points]: Computing exacts on every 7 of 3696 points to ramp up precision
34.414 * * * * [points]: Setting MPFR precision to 64
34.474 * * * * [points]: Setting MPFR precision to 320
34.537 * * * * [points]: Computing exacts on every 3 of 3696 points to ramp up precision
34.547 * * * * [points]: Setting MPFR precision to 64
34.726 * * * * [points]: Setting MPFR precision to 320
34.853 * * * * [points]: Computing exacts for 3696 points
34.863 * * * * [points]: Setting MPFR precision to 64
35.667 * * * * [points]: Setting MPFR precision to 320
36.004 * * * * [points]: Filtering points with unrepresentable outputs
36.006 * * * * [points]: Sampling 3199 additional inputs, on iter 6 have 4801 / 8000
36.043 * * * * [points]: Computing exacts on every 199 of 3199 points to ramp up precision
36.048 * * * * [points]: Setting MPFR precision to 64
36.049 * * * * [points]: Setting MPFR precision to 320
36.051 * * * * [points]: Computing exacts on every 99 of 3199 points to ramp up precision
36.057 * * * * [points]: Setting MPFR precision to 64
36.059 * * * * [points]: Setting MPFR precision to 320
36.062 * * * * [points]: Computing exacts on every 49 of 3199 points to ramp up precision
36.066 * * * * [points]: Setting MPFR precision to 64
36.071 * * * * [points]: Setting MPFR precision to 320
36.076 * * * * [points]: Computing exacts on every 24 of 3199 points to ramp up precision
36.081 * * * * [points]: Setting MPFR precision to 64
36.091 * * * * [points]: Setting MPFR precision to 320
36.100 * * * * [points]: Computing exacts on every 12 of 3199 points to ramp up precision
36.105 * * * * [points]: Setting MPFR precision to 64
36.123 * * * * [points]: Setting MPFR precision to 320
36.166 * * * * [points]: Computing exacts on every 6 of 3199 points to ramp up precision
36.173 * * * * [points]: Setting MPFR precision to 64
36.208 * * * * [points]: Setting MPFR precision to 320
36.243 * * * * [points]: Computing exacts on every 3 of 3199 points to ramp up precision
36.247 * * * * [points]: Setting MPFR precision to 64
36.338 * * * * [points]: Setting MPFR precision to 320
36.399 * * * * [points]: Computing exacts for 3199 points
36.404 * * * * [points]: Setting MPFR precision to 64
36.747 * * * * [points]: Setting MPFR precision to 320
37.058 * * * * [points]: Filtering points with unrepresentable outputs
37.059 * * * * [points]: Sampling 2766 additional inputs, on iter 7 have 5234 / 8000
37.071 * * * * [points]: Computing exacts on every 172 of 2766 points to ramp up precision
37.076 * * * * [points]: Setting MPFR precision to 64
37.078 * * * * [points]: Setting MPFR precision to 320
37.079 * * * * [points]: Computing exacts on every 86 of 2766 points to ramp up precision
37.084 * * * * [points]: Setting MPFR precision to 64
37.086 * * * * [points]: Setting MPFR precision to 320
37.089 * * * * [points]: Computing exacts on every 43 of 2766 points to ramp up precision
37.094 * * * * [points]: Setting MPFR precision to 64
37.098 * * * * [points]: Setting MPFR precision to 320
37.103 * * * * [points]: Computing exacts on every 21 of 2766 points to ramp up precision
37.108 * * * * [points]: Setting MPFR precision to 64
37.118 * * * * [points]: Setting MPFR precision to 320
37.148 * * * * [points]: Computing exacts on every 10 of 2766 points to ramp up precision
37.153 * * * * [points]: Setting MPFR precision to 64
37.174 * * * * [points]: Setting MPFR precision to 320
37.192 * * * * [points]: Computing exacts on every 5 of 2766 points to ramp up precision
37.197 * * * * [points]: Setting MPFR precision to 64
37.232 * * * * [points]: Setting MPFR precision to 320
37.296 * * * * [points]: Computing exacts on every 2 of 2766 points to ramp up precision
37.301 * * * * [points]: Setting MPFR precision to 64
37.369 * * * * [points]: Setting MPFR precision to 320
37.723 * * * * [points]: Computing exacts for 2766 points
37.728 * * * * [points]: Setting MPFR precision to 64
37.999 * * * * [points]: Setting MPFR precision to 320
38.299 * * * * [points]: Filtering points with unrepresentable outputs
38.301 * * * * [points]: Sampling 2404 additional inputs, on iter 8 have 5596 / 8000
38.317 * * * * [points]: Computing exacts on every 150 of 2404 points to ramp up precision
38.327 * * * * [points]: Setting MPFR precision to 64
38.329 * * * * [points]: Setting MPFR precision to 320
38.331 * * * * [points]: Computing exacts on every 75 of 2404 points to ramp up precision
38.340 * * * * [points]: Setting MPFR precision to 64
38.344 * * * * [points]: Setting MPFR precision to 320
38.349 * * * * [points]: Computing exacts on every 37 of 2404 points to ramp up precision
38.358 * * * * [points]: Setting MPFR precision to 64
38.367 * * * * [points]: Setting MPFR precision to 320
38.375 * * * * [points]: Computing exacts on every 18 of 2404 points to ramp up precision
38.385 * * * * [points]: Setting MPFR precision to 64
38.396 * * * * [points]: Setting MPFR precision to 320
38.406 * * * * [points]: Computing exacts on every 9 of 2404 points to ramp up precision
38.432 * * * * [points]: Setting MPFR precision to 64
38.451 * * * * [points]: Setting MPFR precision to 320
38.469 * * * * [points]: Computing exacts on every 4 of 2404 points to ramp up precision
38.473 * * * * [points]: Setting MPFR precision to 64
38.508 * * * * [points]: Setting MPFR precision to 320
38.571 * * * * [points]: Computing exacts on every 2 of 2404 points to ramp up precision
38.576 * * * * [points]: Setting MPFR precision to 64
38.641 * * * * [points]: Setting MPFR precision to 320
38.734 * * * * [points]: Computing exacts for 2404 points
38.739 * * * * [points]: Setting MPFR precision to 64
39.006 * * * * [points]: Setting MPFR precision to 320
39.361 * * * * [points]: Filtering points with unrepresentable outputs
39.362 * * * * [points]: Sampling 2055 additional inputs, on iter 9 have 5945 / 8000
39.373 * * * * [points]: Computing exacts on every 128 of 2055 points to ramp up precision
39.382 * * * * [points]: Setting MPFR precision to 64
39.384 * * * * [points]: Setting MPFR precision to 320
39.387 * * * * [points]: Computing exacts on every 64 of 2055 points to ramp up precision
39.396 * * * * [points]: Setting MPFR precision to 64
39.401 * * * * [points]: Setting MPFR precision to 320
39.405 * * * * [points]: Computing exacts on every 32 of 2055 points to ramp up precision
39.415 * * * * [points]: Setting MPFR precision to 64
39.424 * * * * [points]: Setting MPFR precision to 320
39.432 * * * * [points]: Computing exacts on every 16 of 2055 points to ramp up precision
39.465 * * * * [points]: Setting MPFR precision to 64
39.476 * * * * [points]: Setting MPFR precision to 320
39.490 * * * * [points]: Computing exacts on every 8 of 2055 points to ramp up precision
39.499 * * * * [points]: Setting MPFR precision to 64
39.531 * * * * [points]: Setting MPFR precision to 320
39.563 * * * * [points]: Computing exacts on every 4 of 2055 points to ramp up precision
39.573 * * * * [points]: Setting MPFR precision to 64
39.625 * * * * [points]: Setting MPFR precision to 320
39.699 * * * * [points]: Computing exacts on every 2 of 2055 points to ramp up precision
39.707 * * * * [points]: Setting MPFR precision to 64
39.803 * * * * [points]: Setting MPFR precision to 320
39.952 * * * * [points]: Computing exacts for 2055 points
39.962 * * * * [points]: Setting MPFR precision to 64
40.298 * * * * [points]: Setting MPFR precision to 320
41.049 * * * * [points]: Filtering points with unrepresentable outputs
41.051 * * * * [points]: Sampling 1756 additional inputs, on iter 10 have 6244 / 8000
41.069 * * * * [points]: Computing exacts on every 109 of 1756 points to ramp up precision
41.078 * * * * [points]: Setting MPFR precision to 64
41.080 * * * * [points]: Setting MPFR precision to 320
41.083 * * * * [points]: Computing exacts on every 54 of 1756 points to ramp up precision
41.093 * * * * [points]: Setting MPFR precision to 64
41.098 * * * * [points]: Setting MPFR precision to 320
41.102 * * * * [points]: Computing exacts on every 27 of 1756 points to ramp up precision
41.106 * * * * [points]: Setting MPFR precision to 64
41.111 * * * * [points]: Setting MPFR precision to 320
41.116 * * * * [points]: Computing exacts on every 13 of 1756 points to ramp up precision
41.121 * * * * [points]: Setting MPFR precision to 64
41.130 * * * * [points]: Setting MPFR precision to 320
41.140 * * * * [points]: Computing exacts on every 6 of 1756 points to ramp up precision
41.145 * * * * [points]: Setting MPFR precision to 64
41.164 * * * * [points]: Setting MPFR precision to 320
41.201 * * * * [points]: Computing exacts on every 3 of 1756 points to ramp up precision
41.207 * * * * [points]: Setting MPFR precision to 64
41.241 * * * * [points]: Setting MPFR precision to 320
41.274 * * * * [points]: Computing exacts for 1756 points
41.279 * * * * [points]: Setting MPFR precision to 64
41.513 * * * * [points]: Setting MPFR precision to 320
41.711 * * * * [points]: Filtering points with unrepresentable outputs
41.712 * * * * [points]: Sampling 1521 additional inputs, on iter 11 have 6479 / 8000
41.718 * * * * [points]: Computing exacts on every 95 of 1521 points to ramp up precision
41.723 * * * * [points]: Setting MPFR precision to 64
41.724 * * * * [points]: Setting MPFR precision to 320
41.725 * * * * [points]: Computing exacts on every 47 of 1521 points to ramp up precision
41.730 * * * * [points]: Setting MPFR precision to 64
41.733 * * * * [points]: Setting MPFR precision to 320
41.737 * * * * [points]: Computing exacts on every 23 of 1521 points to ramp up precision
41.747 * * * * [points]: Setting MPFR precision to 64
41.756 * * * * [points]: Setting MPFR precision to 320
41.765 * * * * [points]: Computing exacts on every 11 of 1521 points to ramp up precision
41.774 * * * * [points]: Setting MPFR precision to 64
41.790 * * * * [points]: Setting MPFR precision to 320
41.807 * * * * [points]: Computing exacts on every 5 of 1521 points to ramp up precision
41.838 * * * * [points]: Setting MPFR precision to 64
41.859 * * * * [points]: Setting MPFR precision to 320
41.878 * * * * [points]: Computing exacts on every 2 of 1521 points to ramp up precision
41.883 * * * * [points]: Setting MPFR precision to 64
41.921 * * * * [points]: Setting MPFR precision to 320
41.986 * * * * [points]: Computing exacts for 1521 points
41.991 * * * * [points]: Setting MPFR precision to 64
42.136 * * * * [points]: Setting MPFR precision to 320
42.293 * * * * [points]: Filtering points with unrepresentable outputs
42.294 * * * * [points]: Sampling 1295 additional inputs, on iter 12 have 6705 / 8000
42.299 * * * * [points]: Computing exacts on every 80 of 1295 points to ramp up precision
42.305 * * * * [points]: Setting MPFR precision to 64
42.306 * * * * [points]: Setting MPFR precision to 320
42.307 * * * * [points]: Computing exacts on every 40 of 1295 points to ramp up precision
42.312 * * * * [points]: Setting MPFR precision to 64
42.315 * * * * [points]: Setting MPFR precision to 320
42.318 * * * * [points]: Computing exacts on every 20 of 1295 points to ramp up precision
42.324 * * * * [points]: Setting MPFR precision to 64
42.329 * * * * [points]: Setting MPFR precision to 320
42.334 * * * * [points]: Computing exacts on every 10 of 1295 points to ramp up precision
42.342 * * * * [points]: Setting MPFR precision to 64
42.358 * * * * [points]: Setting MPFR precision to 320
42.374 * * * * [points]: Computing exacts on every 5 of 1295 points to ramp up precision
42.417 * * * * [points]: Setting MPFR precision to 64
42.438 * * * * [points]: Setting MPFR precision to 320
42.454 * * * * [points]: Computing exacts on every 2 of 1295 points to ramp up precision
42.458 * * * * [points]: Setting MPFR precision to 64
42.490 * * * * [points]: Setting MPFR precision to 320
42.536 * * * * [points]: Computing exacts for 1295 points
42.584 * * * * [points]: Setting MPFR precision to 64
42.690 * * * * [points]: Setting MPFR precision to 320
42.854 * * * * [points]: Filtering points with unrepresentable outputs
42.854 * * * * [points]: Sampling 1116 additional inputs, on iter 13 have 6884 / 8000
42.859 * * * * [points]: Computing exacts on every 69 of 1116 points to ramp up precision
42.865 * * * * [points]: Setting MPFR precision to 64
42.866 * * * * [points]: Setting MPFR precision to 320
42.867 * * * * [points]: Computing exacts on every 34 of 1116 points to ramp up precision
42.872 * * * * [points]: Setting MPFR precision to 64
42.875 * * * * [points]: Setting MPFR precision to 320
42.923 * * * * [points]: Computing exacts on every 17 of 1116 points to ramp up precision
42.936 * * * * [points]: Setting MPFR precision to 64
42.944 * * * * [points]: Setting MPFR precision to 320
42.951 * * * * [points]: Computing exacts on every 8 of 1116 points to ramp up precision
42.960 * * * * [points]: Setting MPFR precision to 64
42.976 * * * * [points]: Setting MPFR precision to 320
42.993 * * * * [points]: Computing exacts on every 4 of 1116 points to ramp up precision
43.002 * * * * [points]: Setting MPFR precision to 64
43.035 * * * * [points]: Setting MPFR precision to 320
43.067 * * * * [points]: Computing exacts on every 2 of 1116 points to ramp up precision
43.077 * * * * [points]: Setting MPFR precision to 64
43.170 * * * * [points]: Setting MPFR precision to 320
43.199 * * * * [points]: Computing exacts for 1116 points
43.204 * * * * [points]: Setting MPFR precision to 64
43.333 * * * * [points]: Setting MPFR precision to 320
43.450 * * * * [points]: Filtering points with unrepresentable outputs
43.451 * * * * [points]: Sampling 972 additional inputs, on iter 14 have 7028 / 8000
43.458 * * * * [points]: Computing exacts on every 60 of 972 points to ramp up precision
43.518 * * * * [points]: Setting MPFR precision to 64
43.521 * * * * [points]: Setting MPFR precision to 320
43.522 * * * * [points]: Computing exacts on every 30 of 972 points to ramp up precision
43.528 * * * * [points]: Setting MPFR precision to 64
43.531 * * * * [points]: Setting MPFR precision to 320
43.533 * * * * [points]: Computing exacts on every 15 of 972 points to ramp up precision
43.538 * * * * [points]: Setting MPFR precision to 64
43.543 * * * * [points]: Setting MPFR precision to 320
43.547 * * * * [points]: Computing exacts on every 7 of 972 points to ramp up precision
43.554 * * * * [points]: Setting MPFR precision to 64
43.568 * * * * [points]: Setting MPFR precision to 320
43.580 * * * * [points]: Computing exacts on every 3 of 972 points to ramp up precision
43.585 * * * * [points]: Setting MPFR precision to 64
43.603 * * * * [points]: Setting MPFR precision to 320
43.627 * * * * [points]: Computing exacts for 972 points
43.657 * * * * [points]: Setting MPFR precision to 64
43.781 * * * * [points]: Setting MPFR precision to 320
44.377 * * * * [points]: Filtering points with unrepresentable outputs
44.378 * * * * [points]: Sampling 826 additional inputs, on iter 15 have 7174 / 8000
44.383 * * * * [points]: Computing exacts on every 51 of 826 points to ramp up precision
44.388 * * * * [points]: Setting MPFR precision to 64
44.389 * * * * [points]: Setting MPFR precision to 320
44.390 * * * * [points]: Computing exacts on every 25 of 826 points to ramp up precision
44.395 * * * * [points]: Setting MPFR precision to 64
44.397 * * * * [points]: Setting MPFR precision to 320
44.400 * * * * [points]: Computing exacts on every 12 of 826 points to ramp up precision
44.405 * * * * [points]: Setting MPFR precision to 64
44.410 * * * * [points]: Setting MPFR precision to 320
44.414 * * * * [points]: Computing exacts on every 6 of 826 points to ramp up precision
44.419 * * * * [points]: Setting MPFR precision to 64
44.428 * * * * [points]: Setting MPFR precision to 320
44.460 * * * * [points]: Computing exacts on every 3 of 826 points to ramp up precision
44.465 * * * * [points]: Setting MPFR precision to 64
44.483 * * * * [points]: Setting MPFR precision to 320
44.512 * * * * [points]: Computing exacts for 826 points
44.518 * * * * [points]: Setting MPFR precision to 64
44.604 * * * * [points]: Setting MPFR precision to 320
44.667 * * * * [points]: Filtering points with unrepresentable outputs
44.668 * * * * [points]: Sampling 694 additional inputs, on iter 16 have 7306 / 8000
44.671 * * * * [points]: Computing exacts on every 43 of 694 points to ramp up precision
44.676 * * * * [points]: Setting MPFR precision to 64
44.677 * * * * [points]: Setting MPFR precision to 320
44.678 * * * * [points]: Computing exacts on every 21 of 694 points to ramp up precision
44.683 * * * * [points]: Setting MPFR precision to 64
44.686 * * * * [points]: Setting MPFR precision to 320
44.688 * * * * [points]: Computing exacts on every 10 of 694 points to ramp up precision
44.693 * * * * [points]: Setting MPFR precision to 64
44.698 * * * * [points]: Setting MPFR precision to 320
44.702 * * * * [points]: Computing exacts on every 5 of 694 points to ramp up precision
44.737 * * * * [points]: Setting MPFR precision to 64
44.748 * * * * [points]: Setting MPFR precision to 320
44.756 * * * * [points]: Computing exacts on every 2 of 694 points to ramp up precision
44.761 * * * * [points]: Setting MPFR precision to 64
44.778 * * * * [points]: Setting MPFR precision to 320
44.797 * * * * [points]: Computing exacts for 694 points
44.801 * * * * [points]: Setting MPFR precision to 64
44.879 * * * * [points]: Setting MPFR precision to 320
44.933 * * * * [points]: Filtering points with unrepresentable outputs
44.934 * * * * [points]: Sampling 586 additional inputs, on iter 17 have 7414 / 8000
44.936 * * * * [points]: Computing exacts on every 36 of 586 points to ramp up precision
44.941 * * * * [points]: Setting MPFR precision to 64
44.943 * * * * [points]: Setting MPFR precision to 320
44.944 * * * * [points]: Computing exacts on every 18 of 586 points to ramp up precision
44.949 * * * * [points]: Setting MPFR precision to 64
44.951 * * * * [points]: Setting MPFR precision to 320
44.954 * * * * [points]: Computing exacts on every 9 of 586 points to ramp up precision
44.958 * * * * [points]: Setting MPFR precision to 64
44.963 * * * * [points]: Setting MPFR precision to 320
44.995 * * * * [points]: Computing exacts on every 4 of 586 points to ramp up precision
45.001 * * * * [points]: Setting MPFR precision to 64
45.013 * * * * [points]: Setting MPFR precision to 320
45.022 * * * * [points]: Computing exacts on every 2 of 586 points to ramp up precision
45.027 * * * * [points]: Setting MPFR precision to 64
45.041 * * * * [points]: Setting MPFR precision to 320
45.057 * * * * [points]: Computing exacts for 586 points
45.064 * * * * [points]: Setting MPFR precision to 64
45.173 * * * * [points]: Setting MPFR precision to 320
45.248 * * * * [points]: Filtering points with unrepresentable outputs
45.248 * * * * [points]: Sampling 520 additional inputs, on iter 18 have 7480 / 8000
45.251 * * * * [points]: Computing exacts on every 32 of 520 points to ramp up precision
45.256 * * * * [points]: Setting MPFR precision to 64
45.257 * * * * [points]: Setting MPFR precision to 320
45.258 * * * * [points]: Computing exacts on every 16 of 520 points to ramp up precision
45.263 * * * * [points]: Setting MPFR precision to 64
45.265 * * * * [points]: Setting MPFR precision to 320
45.268 * * * * [points]: Computing exacts on every 8 of 520 points to ramp up precision
45.272 * * * * [points]: Setting MPFR precision to 64
45.280 * * * * [points]: Setting MPFR precision to 320
45.288 * * * * [points]: Computing exacts on every 4 of 520 points to ramp up precision
45.295 * * * * [points]: Setting MPFR precision to 64
45.334 * * * * [points]: Setting MPFR precision to 320
45.351 * * * * [points]: Computing exacts on every 2 of 520 points to ramp up precision
45.360 * * * * [points]: Setting MPFR precision to 64
45.384 * * * * [points]: Setting MPFR precision to 320
45.409 * * * * [points]: Computing exacts for 520 points
45.416 * * * * [points]: Setting MPFR precision to 64
45.465 * * * * [points]: Setting MPFR precision to 320
45.586 * * * * [points]: Filtering points with unrepresentable outputs
45.587 * * * * [points]: Sampling 451 additional inputs, on iter 19 have 7549 / 8000
45.590 * * * * [points]: Computing exacts on every 28 of 451 points to ramp up precision
45.600 * * * * [points]: Setting MPFR precision to 64
45.603 * * * * [points]: Setting MPFR precision to 320
45.605 * * * * [points]: Computing exacts on every 14 of 451 points to ramp up precision
45.614 * * * * [points]: Setting MPFR precision to 64
45.619 * * * * [points]: Setting MPFR precision to 320
45.623 * * * * [points]: Computing exacts on every 7 of 451 points to ramp up precision
45.633 * * * * [points]: Setting MPFR precision to 64
45.641 * * * * [points]: Setting MPFR precision to 320
45.649 * * * * [points]: Computing exacts on every 3 of 451 points to ramp up precision
45.659 * * * * [points]: Setting MPFR precision to 64
45.674 * * * * [points]: Setting MPFR precision to 320
45.690 * * * * [points]: Computing exacts for 451 points
45.700 * * * * [points]: Setting MPFR precision to 64
45.790 * * * * [points]: Setting MPFR precision to 320
45.846 * * * * [points]: Filtering points with unrepresentable outputs
45.846 * * * * [points]: Sampling 386 additional inputs, on iter 20 have 7614 / 8000
45.849 * * * * [points]: Computing exacts on every 24 of 386 points to ramp up precision
45.858 * * * * [points]: Setting MPFR precision to 64
45.860 * * * * [points]: Setting MPFR precision to 320
45.863 * * * * [points]: Computing exacts on every 12 of 386 points to ramp up precision
45.872 * * * * [points]: Setting MPFR precision to 64
45.876 * * * * [points]: Setting MPFR precision to 320
45.880 * * * * [points]: Computing exacts on every 6 of 386 points to ramp up precision
45.889 * * * * [points]: Setting MPFR precision to 64
45.896 * * * * [points]: Setting MPFR precision to 320
45.902 * * * * [points]: Computing exacts on every 3 of 386 points to ramp up precision
45.911 * * * * [points]: Setting MPFR precision to 64
45.956 * * * * [points]: Setting MPFR precision to 320
45.972 * * * * [points]: Computing exacts for 386 points
45.982 * * * * [points]: Setting MPFR precision to 64
46.033 * * * * [points]: Setting MPFR precision to 320
46.085 * * * * [points]: Filtering points with unrepresentable outputs
46.086 * * * * [points]: Sampling 332 additional inputs, on iter 21 have 7668 / 8000
46.088 * * * * [points]: Computing exacts on every 20 of 332 points to ramp up precision
46.097 * * * * [points]: Setting MPFR precision to 64
46.100 * * * * [points]: Setting MPFR precision to 320
46.102 * * * * [points]: Computing exacts on every 10 of 332 points to ramp up precision
46.111 * * * * [points]: Setting MPFR precision to 64
46.115 * * * * [points]: Setting MPFR precision to 320
46.119 * * * * [points]: Computing exacts on every 5 of 332 points to ramp up precision
46.164 * * * * [points]: Setting MPFR precision to 64
46.174 * * * * [points]: Setting MPFR precision to 320
46.182 * * * * [points]: Computing exacts on every 2 of 332 points to ramp up precision
46.191 * * * * [points]: Setting MPFR precision to 64
46.206 * * * * [points]: Setting MPFR precision to 320
46.222 * * * * [points]: Computing exacts for 332 points
46.231 * * * * [points]: Setting MPFR precision to 64
46.275 * * * * [points]: Setting MPFR precision to 320
46.319 * * * * [points]: Filtering points with unrepresentable outputs
46.320 * * * * [points]: Sampling 281 additional inputs, on iter 22 have 7719 / 8000
46.322 * * * * [points]: Computing exacts on every 17 of 281 points to ramp up precision
46.331 * * * * [points]: Setting MPFR precision to 64
46.333 * * * * [points]: Setting MPFR precision to 320
46.336 * * * * [points]: Computing exacts on every 8 of 281 points to ramp up precision
46.380 * * * * [points]: Setting MPFR precision to 64
46.387 * * * * [points]: Setting MPFR precision to 320
46.391 * * * * [points]: Computing exacts on every 4 of 281 points to ramp up precision
46.400 * * * * [points]: Setting MPFR precision to 64
46.408 * * * * [points]: Setting MPFR precision to 320
46.416 * * * * [points]: Computing exacts on every 2 of 281 points to ramp up precision
46.425 * * * * [points]: Setting MPFR precision to 64
46.438 * * * * [points]: Setting MPFR precision to 320
46.450 * * * * [points]: Computing exacts for 281 points
46.454 * * * * [points]: Setting MPFR precision to 64
46.476 * * * * [points]: Setting MPFR precision to 320
46.500 * * * * [points]: Filtering points with unrepresentable outputs
46.500 * * * * [points]: Sampling 243 additional inputs, on iter 23 have 7757 / 8000
46.501 * * * * [points]: Computing exacts on every 15 of 243 points to ramp up precision
46.506 * * * * [points]: Setting MPFR precision to 64
46.528 * * * * [points]: Setting MPFR precision to 320
46.530 * * * * [points]: Computing exacts on every 7 of 243 points to ramp up precision
46.534 * * * * [points]: Setting MPFR precision to 64
46.537 * * * * [points]: Setting MPFR precision to 320
46.541 * * * * [points]: Computing exacts on every 3 of 243 points to ramp up precision
46.545 * * * * [points]: Setting MPFR precision to 64
46.550 * * * * [points]: Setting MPFR precision to 320
46.555 * * * * [points]: Computing exacts for 243 points
46.559 * * * * [points]: Setting MPFR precision to 64
46.577 * * * * [points]: Setting MPFR precision to 320
46.595 * * * * [points]: Filtering points with unrepresentable outputs
46.596 * * * * [points]: Sampling 219 additional inputs, on iter 24 have 7781 / 8000
46.596 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
46.602 * * * * [points]: Setting MPFR precision to 64
46.603 * * * * [points]: Setting MPFR precision to 320
46.604 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
46.609 * * * * [points]: Setting MPFR precision to 64
46.611 * * * * [points]: Setting MPFR precision to 320
46.614 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
46.651 * * * * [points]: Setting MPFR precision to 64
46.661 * * * * [points]: Setting MPFR precision to 320
46.669 * * * * [points]: Computing exacts for 219 points
46.678 * * * * [points]: Setting MPFR precision to 64
46.708 * * * * [points]: Setting MPFR precision to 320
46.728 * * * * [points]: Filtering points with unrepresentable outputs
46.728 * * * * [points]: Sampling 200 additional inputs, on iter 25 have 7800 / 8000
46.729 * * * * [points]: Computing exacts on every 12 of 200 points to ramp up precision
46.734 * * * * [points]: Setting MPFR precision to 64
46.735 * * * * [points]: Setting MPFR precision to 320
46.736 * * * * [points]: Computing exacts on every 6 of 200 points to ramp up precision
46.741 * * * * [points]: Setting MPFR precision to 64
46.743 * * * * [points]: Setting MPFR precision to 320
46.745 * * * * [points]: Computing exacts on every 3 of 200 points to ramp up precision
46.754 * * * * [points]: Setting MPFR precision to 64
46.761 * * * * [points]: Setting MPFR precision to 320
46.768 * * * * [points]: Computing exacts for 200 points
46.777 * * * * [points]: Setting MPFR precision to 64
46.830 * * * * [points]: Setting MPFR precision to 320
46.847 * * * * [points]: Filtering points with unrepresentable outputs
46.847 * * * * [points]: Sampling 167 additional inputs, on iter 26 have 7833 / 8000
46.847 * * * * [points]: Computing exacts on every 10 of 167 points to ramp up precision
46.853 * * * * [points]: Setting MPFR precision to 64
46.854 * * * * [points]: Setting MPFR precision to 320
46.855 * * * * [points]: Computing exacts on every 5 of 167 points to ramp up precision
46.860 * * * * [points]: Setting MPFR precision to 64
46.864 * * * * [points]: Setting MPFR precision to 320
46.868 * * * * [points]: Computing exacts on every 2 of 167 points to ramp up precision
46.877 * * * * [points]: Setting MPFR precision to 64
46.884 * * * * [points]: Setting MPFR precision to 320
46.890 * * * * [points]: Computing exacts for 167 points
46.895 * * * * [points]: Setting MPFR precision to 64
46.908 * * * * [points]: Setting MPFR precision to 320
46.920 * * * * [points]: Filtering points with unrepresentable outputs
46.921 * * * * [points]: Sampling 134 additional inputs, on iter 27 have 7866 / 8000
46.921 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
46.926 * * * * [points]: Setting MPFR precision to 64
46.927 * * * * [points]: Setting MPFR precision to 320
46.928 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
46.955 * * * * [points]: Setting MPFR precision to 64
46.962 * * * * [points]: Setting MPFR precision to 320
46.966 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
46.975 * * * * [points]: Setting MPFR precision to 64
46.981 * * * * [points]: Setting MPFR precision to 320
46.987 * * * * [points]: Computing exacts for 134 points
46.996 * * * * [points]: Setting MPFR precision to 64
47.015 * * * * [points]: Setting MPFR precision to 320
47.033 * * * * [points]: Filtering points with unrepresentable outputs
47.034 * * * * [points]: Sampling 114 additional inputs, on iter 28 have 7886 / 8000
47.035 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
47.044 * * * * [points]: Setting MPFR precision to 64
47.046 * * * * [points]: Setting MPFR precision to 320
47.048 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
47.056 * * * * [points]: Setting MPFR precision to 64
47.061 * * * * [points]: Setting MPFR precision to 320
47.064 * * * * [points]: Computing exacts for 114 points
47.073 * * * * [points]: Setting MPFR precision to 64
47.089 * * * * [points]: Setting MPFR precision to 320
47.103 * * * * [points]: Filtering points with unrepresentable outputs
47.103 * * * * [points]: Sampling 92 additional inputs, on iter 29 have 7908 / 8000
47.104 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
47.128 * * * * [points]: Setting MPFR precision to 64
47.129 * * * * [points]: Setting MPFR precision to 320
47.132 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
47.144 * * * * [points]: Setting MPFR precision to 64
47.149 * * * * [points]: Setting MPFR precision to 320
47.153 * * * * [points]: Computing exacts for 92 points
47.162 * * * * [points]: Setting MPFR precision to 64
47.169 * * * * [points]: Setting MPFR precision to 320
47.176 * * * * [points]: Filtering points with unrepresentable outputs
47.176 * * * * [points]: Sampling 82 additional inputs, on iter 30 have 7918 / 8000
47.176 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
47.181 * * * * [points]: Setting MPFR precision to 64
47.182 * * * * [points]: Setting MPFR precision to 320
47.183 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
47.188 * * * * [points]: Setting MPFR precision to 64
47.191 * * * * [points]: Setting MPFR precision to 320
47.195 * * * * [points]: Computing exacts for 82 points
47.206 * * * * [points]: Setting MPFR precision to 64
47.217 * * * * [points]: Setting MPFR precision to 320
47.223 * * * * [points]: Filtering points with unrepresentable outputs
47.223 * * * * [points]: Sampling 66 additional inputs, on iter 31 have 7934 / 8000
47.223 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
47.228 * * * * [points]: Setting MPFR precision to 64
47.229 * * * * [points]: Setting MPFR precision to 320
47.230 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
47.235 * * * * [points]: Setting MPFR precision to 64
47.237 * * * * [points]: Setting MPFR precision to 320
47.239 * * * * [points]: Computing exacts for 66 points
47.262 * * * * [points]: Setting MPFR precision to 64
47.267 * * * * [points]: Setting MPFR precision to 320
47.272 * * * * [points]: Filtering points with unrepresentable outputs
47.272 * * * * [points]: Sampling 53 additional inputs, on iter 32 have 7947 / 8000
47.272 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
47.277 * * * * [points]: Setting MPFR precision to 64
47.278 * * * * [points]: Setting MPFR precision to 320
47.279 * * * * [points]: Computing exacts for 53 points
47.284 * * * * [points]: Setting MPFR precision to 64
47.288 * * * * [points]: Setting MPFR precision to 320
47.292 * * * * [points]: Filtering points with unrepresentable outputs
47.292 * * * * [points]: Sampling 43 additional inputs, on iter 33 have 7957 / 8000
47.293 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
47.297 * * * * [points]: Setting MPFR precision to 64
47.299 * * * * [points]: Setting MPFR precision to 320
47.300 * * * * [points]: Computing exacts for 43 points
47.308 * * * * [points]: Setting MPFR precision to 64
47.314 * * * * [points]: Setting MPFR precision to 320
47.320 * * * * [points]: Filtering points with unrepresentable outputs
47.320 * * * * [points]: Sampling 34 additional inputs, on iter 34 have 7966 / 8000
47.321 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
47.330 * * * * [points]: Setting MPFR precision to 64
47.332 * * * * [points]: Setting MPFR precision to 320
47.333 * * * * [points]: Computing exacts for 34 points
47.343 * * * * [points]: Setting MPFR precision to 64
47.348 * * * * [points]: Setting MPFR precision to 320
47.353 * * * * [points]: Filtering points with unrepresentable outputs
47.353 * * * * [points]: Sampling 30 additional inputs, on iter 35 have 7970 / 8000
47.353 * * * * [points]: Computing exacts for 30 points
47.363 * * * * [points]: Setting MPFR precision to 64
47.366 * * * * [points]: Setting MPFR precision to 320
47.368 * * * * [points]: Filtering points with unrepresentable outputs
47.368 * * * * [points]: Sampling 28 additional inputs, on iter 36 have 7972 / 8000
47.369 * * * * [points]: Computing exacts for 28 points
47.391 * * * * [points]: Setting MPFR precision to 64
47.393 * * * * [points]: Setting MPFR precision to 320
47.395 * * * * [points]: Filtering points with unrepresentable outputs
47.396 * * * * [points]: Sampling 28 additional inputs, on iter 37 have 7972 / 8000
47.396 * * * * [points]: Computing exacts for 28 points
47.400 * * * * [points]: Setting MPFR precision to 64
47.403 * * * * [points]: Setting MPFR precision to 320
47.405 * * * * [points]: Filtering points with unrepresentable outputs
47.405 * * * * [points]: Sampling 24 additional inputs, on iter 38 have 7976 / 8000
47.405 * * * * [points]: Computing exacts for 24 points
47.415 * * * * [points]: Setting MPFR precision to 64
47.419 * * * * [points]: Setting MPFR precision to 320
47.422 * * * * [points]: Filtering points with unrepresentable outputs
47.422 * * * * [points]: Sampling 19 additional inputs, on iter 39 have 7981 / 8000
47.423 * * * * [points]: Computing exacts for 19 points
47.430 * * * * [points]: Setting MPFR precision to 64
47.432 * * * * [points]: Setting MPFR precision to 320
47.433 * * * * [points]: Filtering points with unrepresentable outputs
47.433 * * * * [points]: Sampling 16 additional inputs, on iter 40 have 7984 / 8000
47.434 * * * * [points]: Computing exacts for 16 points
47.438 * * * * [points]: Setting MPFR precision to 64
47.440 * * * * [points]: Setting MPFR precision to 320
47.441 * * * * [points]: Filtering points with unrepresentable outputs
47.441 * * * * [points]: Sampling 12 additional inputs, on iter 41 have 7988 / 8000
47.441 * * * * [points]: Computing exacts for 12 points
47.446 * * * * [points]: Setting MPFR precision to 64
47.447 * * * * [points]: Setting MPFR precision to 320
47.448 * * * * [points]: Filtering points with unrepresentable outputs
47.448 * * * * [points]: Sampling 11 additional inputs, on iter 42 have 7989 / 8000
47.448 * * * * [points]: Computing exacts for 11 points
47.453 * * * * [points]: Setting MPFR precision to 64
47.454 * * * * [points]: Setting MPFR precision to 320
47.455 * * * * [points]: Filtering points with unrepresentable outputs
47.455 * * * * [points]: Sampling 10 additional inputs, on iter 43 have 7990 / 8000
47.455 * * * * [points]: Computing exacts for 10 points
47.460 * * * * [points]: Setting MPFR precision to 64
47.461 * * * * [points]: Setting MPFR precision to 320
47.461 * * * * [points]: Filtering points with unrepresentable outputs
47.462 * * * * [points]: Sampling 9 additional inputs, on iter 44 have 7991 / 8000
47.462 * * * * [points]: Computing exacts for 9 points
47.468 * * * * [points]: Setting MPFR precision to 64
47.469 * * * * [points]: Setting MPFR precision to 320
47.471 * * * * [points]: Filtering points with unrepresentable outputs
47.471 * * * * [points]: Sampling 9 additional inputs, on iter 45 have 7991 / 8000
47.471 * * * * [points]: Computing exacts for 9 points
47.789 * * * * [points]: Setting MPFR precision to 64
47.791 * * * * [points]: Setting MPFR precision to 320
47.792 * * * * [points]: Filtering points with unrepresentable outputs
47.792 * * * * [points]: Sampling 8 additional inputs, on iter 46 have 7992 / 8000
47.792 * * * * [points]: Computing exacts for 8 points
47.804 * * * * [points]: Setting MPFR precision to 64
47.805 * * * * [points]: Setting MPFR precision to 320
47.806 * * * * [points]: Filtering points with unrepresentable outputs
47.806 * * * * [points]: Sampling 7 additional inputs, on iter 47 have 7993 / 8000
47.806 * * * * [points]: Computing exacts for 7 points
47.811 * * * * [points]: Setting MPFR precision to 64
47.812 * * * * [points]: Setting MPFR precision to 320
47.812 * * * * [points]: Filtering points with unrepresentable outputs
47.812 * * * * [points]: Sampling 6 additional inputs, on iter 48 have 7994 / 8000
47.812 * * * * [points]: Computing exacts for 6 points
47.817 * * * * [points]: Setting MPFR precision to 64
47.817 * * * * [points]: Setting MPFR precision to 320
47.818 * * * * [points]: Filtering points with unrepresentable outputs
47.818 * * * * [points]: Sampling 6 additional inputs, on iter 49 have 7994 / 8000
47.818 * * * * [points]: Computing exacts for 6 points
47.823 * * * * [points]: Setting MPFR precision to 64
47.823 * * * * [points]: Setting MPFR precision to 320
47.824 * * * * [points]: Filtering points with unrepresentable outputs
47.824 * * * * [points]: Sampling 6 additional inputs, on iter 50 have 7994 / 8000
47.824 * * * * [points]: Computing exacts for 6 points
47.829 * * * * [points]: Setting MPFR precision to 64
47.830 * * * * [points]: Setting MPFR precision to 320
47.830 * * * * [points]: Filtering points with unrepresentable outputs
47.830 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7996 / 8000
47.830 * * * * [points]: Computing exacts for 4 points
47.835 * * * * [points]: Setting MPFR precision to 64
47.836 * * * * [points]: Setting MPFR precision to 320
47.836 * * * * [points]: Filtering points with unrepresentable outputs
47.836 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7996 / 8000
47.836 * * * * [points]: Computing exacts for 4 points
47.841 * * * * [points]: Setting MPFR precision to 64
47.842 * * * * [points]: Setting MPFR precision to 320
47.842 * * * * [points]: Filtering points with unrepresentable outputs
47.842 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7996 / 8000
47.842 * * * * [points]: Computing exacts for 4 points
47.847 * * * * [points]: Setting MPFR precision to 64
47.847 * * * * [points]: Setting MPFR precision to 320
47.847 * * * * [points]: Filtering points with unrepresentable outputs
47.848 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7997 / 8000
47.848 * * * * [points]: Computing exacts for 4 points
47.852 * * * * [points]: Setting MPFR precision to 64
47.853 * * * * [points]: Setting MPFR precision to 320
47.853 * * * * [points]: Filtering points with unrepresentable outputs
47.853 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7997 / 8000
47.853 * * * * [points]: Computing exacts for 4 points
47.858 * * * * [points]: Setting MPFR precision to 64
47.858 * * * * [points]: Setting MPFR precision to 320
47.859 * * * * [points]: Filtering points with unrepresentable outputs
47.859 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7997 / 8000
47.859 * * * * [points]: Computing exacts for 4 points
47.871 * * * * [points]: Setting MPFR precision to 64
47.872 * * * * [points]: Setting MPFR precision to 320
47.872 * * * * [points]: Filtering points with unrepresentable outputs
47.872 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7998 / 8000
47.872 * * * * [points]: Computing exacts for 4 points
47.878 * * * * [points]: Setting MPFR precision to 64
47.879 * * * * [points]: Setting MPFR precision to 320
47.879 * * * * [points]: Filtering points with unrepresentable outputs
47.879 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7998 / 8000
47.879 * * * * [points]: Computing exacts for 4 points
47.884 * * * * [points]: Setting MPFR precision to 64
47.884 * * * * [points]: Setting MPFR precision to 320
47.885 * * * * [points]: Filtering points with unrepresentable outputs
47.885 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7998 / 8000
47.885 * * * * [points]: Computing exacts for 4 points
47.890 * * * * [points]: Setting MPFR precision to 64
47.890 * * * * [points]: Setting MPFR precision to 320
47.891 * * * * [points]: Filtering points with unrepresentable outputs
47.891 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7999 / 8000
47.891 * * * * [points]: Computing exacts for 4 points
47.895 * * * * [points]: Setting MPFR precision to 64
47.896 * * * * [points]: Setting MPFR precision to 320
47.896 * * * * [points]: Filtering points with unrepresentable outputs
47.896 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7999 / 8000
47.896 * * * * [points]: Computing exacts for 4 points
47.901 * * * * [points]: Setting MPFR precision to 64
47.901 * * * * [points]: Setting MPFR precision to 320
47.902 * * * * [points]: Filtering points with unrepresentable outputs
47.902 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7999 / 8000
47.902 * * * * [points]: Computing exacts for 4 points
47.907 * * * * [points]: Setting MPFR precision to 64
47.907 * * * * [points]: Setting MPFR precision to 320
47.907 * * * * [points]: Filtering points with unrepresentable outputs
47.908 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7999 / 8000
47.908 * * * * [points]: Computing exacts for 4 points
47.913 * * * * [points]: Setting MPFR precision to 64
47.913 * * * * [points]: Setting MPFR precision to 320
47.913 * * * * [points]: Filtering points with unrepresentable outputs
47.914 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7999 / 8000
47.914 * * * * [points]: Computing exacts for 4 points
47.918 * * * * [points]: Setting MPFR precision to 64
47.919 * * * * [points]: Setting MPFR precision to 320
47.919 * * * * [points]: Filtering points with unrepresentable outputs
47.919 * * * * [points]: Sampled 8000 points with exact outputs
58.903 * [regime-testing]: Baseline error score: 64.0
58.909 * [regime-testing]: Oracle error score: 64.0
58.931 * [regime-testing]: End program error score: 1.4878845667822693