0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.048 * * * * [points]: Computing exacts for 256 points
0.053 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.103 * * * * [points]: Filtering points with unrepresentable outputs
0.103 * * * * [points]: Sampling 222 additional inputs, on iter 1 have 34 / 256
0.104 * * * * [points]: Computing exacts on every 13 of 222 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.112 * * * * [points]: Computing exacts on every 6 of 222 points to ramp up precision
0.117 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Computing exacts on every 3 of 222 points to ramp up precision
0.126 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Computing exacts for 222 points
0.139 * * * * [points]: Setting MPFR precision to 64
0.155 * * * * [points]: Setting MPFR precision to 320
0.195 * * * * [points]: Filtering points with unrepresentable outputs
0.195 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.196 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.200 * * * * [points]: Setting MPFR precision to 64
0.202 * * * * [points]: Setting MPFR precision to 320
0.203 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.207 * * * * [points]: Setting MPFR precision to 64
0.209 * * * * [points]: Setting MPFR precision to 320
0.211 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.216 * * * * [points]: Setting MPFR precision to 64
0.220 * * * * [points]: Setting MPFR precision to 320
0.224 * * * * [points]: Computing exacts for 194 points
0.228 * * * * [points]: Setting MPFR precision to 64
0.242 * * * * [points]: Setting MPFR precision to 320
0.256 * * * * [points]: Filtering points with unrepresentable outputs
0.256 * * * * [points]: Sampling 171 additional inputs, on iter 3 have 85 / 256
0.257 * * * * [points]: Computing exacts on every 10 of 171 points to ramp up precision
0.262 * * * * [points]: Setting MPFR precision to 64
0.263 * * * * [points]: Setting MPFR precision to 320
0.265 * * * * [points]: Computing exacts on every 5 of 171 points to ramp up precision
0.269 * * * * [points]: Setting MPFR precision to 64
0.271 * * * * [points]: Setting MPFR precision to 320
0.274 * * * * [points]: Computing exacts on every 2 of 171 points to ramp up precision
0.278 * * * * [points]: Setting MPFR precision to 64
0.299 * * * * [points]: Setting MPFR precision to 320
0.303 * * * * [points]: Computing exacts for 171 points
0.307 * * * * [points]: Setting MPFR precision to 64
0.320 * * * * [points]: Setting MPFR precision to 320
0.333 * * * * [points]: Filtering points with unrepresentable outputs
0.333 * * * * [points]: Sampling 153 additional inputs, on iter 4 have 103 / 256
0.333 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.338 * * * * [points]: Setting MPFR precision to 64
0.339 * * * * [points]: Setting MPFR precision to 320
0.340 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.345 * * * * [points]: Setting MPFR precision to 64
0.347 * * * * [points]: Setting MPFR precision to 320
0.349 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.354 * * * * [points]: Setting MPFR precision to 64
0.358 * * * * [points]: Setting MPFR precision to 320
0.361 * * * * [points]: Computing exacts for 153 points
0.366 * * * * [points]: Setting MPFR precision to 64
0.378 * * * * [points]: Setting MPFR precision to 320
0.410 * * * * [points]: Filtering points with unrepresentable outputs
0.410 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 130 / 256
0.410 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.415 * * * * [points]: Setting MPFR precision to 64
0.416 * * * * [points]: Setting MPFR precision to 320
0.417 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.422 * * * * [points]: Setting MPFR precision to 64
0.424 * * * * [points]: Setting MPFR precision to 320
0.426 * * * * [points]: Computing exacts for 126 points
0.432 * * * * [points]: Setting MPFR precision to 64
0.445 * * * * [points]: Setting MPFR precision to 320
0.460 * * * * [points]: Filtering points with unrepresentable outputs
0.460 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 145 / 256
0.460 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.467 * * * * [points]: Setting MPFR precision to 64
0.469 * * * * [points]: Setting MPFR precision to 320
0.471 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.478 * * * * [points]: Setting MPFR precision to 64
0.482 * * * * [points]: Setting MPFR precision to 320
0.485 * * * * [points]: Computing exacts for 111 points
0.494 * * * * [points]: Setting MPFR precision to 64
0.509 * * * * [points]: Setting MPFR precision to 320
0.518 * * * * [points]: Filtering points with unrepresentable outputs
0.518 * * * * [points]: Sampling 102 additional inputs, on iter 7 have 154 / 256
0.518 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
0.524 * * * * [points]: Setting MPFR precision to 64
0.525 * * * * [points]: Setting MPFR precision to 320
0.526 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
0.550 * * * * [points]: Setting MPFR precision to 64
0.552 * * * * [points]: Setting MPFR precision to 320
0.554 * * * * [points]: Computing exacts for 102 points
0.558 * * * * [points]: Setting MPFR precision to 64
0.566 * * * * [points]: Setting MPFR precision to 320
0.573 * * * * [points]: Filtering points with unrepresentable outputs
0.573 * * * * [points]: Sampling 91 additional inputs, on iter 8 have 165 / 256
0.574 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
0.578 * * * * [points]: Setting MPFR precision to 64
0.580 * * * * [points]: Setting MPFR precision to 320
0.581 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
0.585 * * * * [points]: Setting MPFR precision to 64
0.587 * * * * [points]: Setting MPFR precision to 320
0.590 * * * * [points]: Computing exacts for 91 points
0.594 * * * * [points]: Setting MPFR precision to 64
0.601 * * * * [points]: Setting MPFR precision to 320
0.608 * * * * [points]: Filtering points with unrepresentable outputs
0.608 * * * * [points]: Sampling 83 additional inputs, on iter 9 have 173 / 256
0.609 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.613 * * * * [points]: Setting MPFR precision to 64
0.614 * * * * [points]: Setting MPFR precision to 320
0.615 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.620 * * * * [points]: Setting MPFR precision to 64
0.623 * * * * [points]: Setting MPFR precision to 320
0.627 * * * * [points]: Computing exacts for 83 points
0.654 * * * * [points]: Setting MPFR precision to 64
0.660 * * * * [points]: Setting MPFR precision to 320
0.666 * * * * [points]: Filtering points with unrepresentable outputs
0.667 * * * * [points]: Sampling 65 additional inputs, on iter 10 have 191 / 256
0.667 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.671 * * * * [points]: Setting MPFR precision to 64
0.672 * * * * [points]: Setting MPFR precision to 320
0.673 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.678 * * * * [points]: Setting MPFR precision to 64
0.680 * * * * [points]: Setting MPFR precision to 320
0.682 * * * * [points]: Computing exacts for 65 points
0.686 * * * * [points]: Setting MPFR precision to 64
0.691 * * * * [points]: Setting MPFR precision to 320
0.696 * * * * [points]: Filtering points with unrepresentable outputs
0.696 * * * * [points]: Sampling 58 additional inputs, on iter 11 have 198 / 256
0.696 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.700 * * * * [points]: Setting MPFR precision to 64
0.702 * * * * [points]: Setting MPFR precision to 320
0.703 * * * * [points]: Computing exacts for 58 points
0.707 * * * * [points]: Setting MPFR precision to 64
0.711 * * * * [points]: Setting MPFR precision to 320
0.716 * * * * [points]: Filtering points with unrepresentable outputs
0.716 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256
0.716 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.721 * * * * [points]: Setting MPFR precision to 64
0.722 * * * * [points]: Setting MPFR precision to 320
0.724 * * * * [points]: Computing exacts for 47 points
0.728 * * * * [points]: Setting MPFR precision to 64
0.732 * * * * [points]: Setting MPFR precision to 320
0.735 * * * * [points]: Filtering points with unrepresentable outputs
0.735 * * * * [points]: Sampling 39 additional inputs, on iter 13 have 217 / 256
0.735 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
0.757 * * * * [points]: Setting MPFR precision to 64
0.759 * * * * [points]: Setting MPFR precision to 320
0.760 * * * * [points]: Computing exacts for 39 points
0.764 * * * * [points]: Setting MPFR precision to 64
0.767 * * * * [points]: Setting MPFR precision to 320
0.770 * * * * [points]: Filtering points with unrepresentable outputs
0.770 * * * * [points]: Sampling 36 additional inputs, on iter 14 have 220 / 256
0.771 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.775 * * * * [points]: Setting MPFR precision to 64
0.776 * * * * [points]: Setting MPFR precision to 320
0.777 * * * * [points]: Computing exacts for 36 points
0.782 * * * * [points]: Setting MPFR precision to 64
0.785 * * * * [points]: Setting MPFR precision to 320
0.787 * * * * [points]: Filtering points with unrepresentable outputs
0.787 * * * * [points]: Sampling 32 additional inputs, on iter 15 have 224 / 256
0.787 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.792 * * * * [points]: Setting MPFR precision to 64
0.793 * * * * [points]: Setting MPFR precision to 320
0.794 * * * * [points]: Computing exacts for 32 points
0.798 * * * * [points]: Setting MPFR precision to 64
0.801 * * * * [points]: Setting MPFR precision to 320
0.803 * * * * [points]: Filtering points with unrepresentable outputs
0.803 * * * * [points]: Sampling 30 additional inputs, on iter 16 have 226 / 256
0.803 * * * * [points]: Computing exacts for 30 points
0.810 * * * * [points]: Setting MPFR precision to 64
0.815 * * * * [points]: Setting MPFR precision to 320
0.818 * * * * [points]: Filtering points with unrepresentable outputs
0.819 * * * * [points]: Sampling 26 additional inputs, on iter 17 have 230 / 256
0.819 * * * * [points]: Computing exacts for 26 points
0.835 * * * * [points]: Setting MPFR precision to 64
0.838 * * * * [points]: Setting MPFR precision to 320
0.840 * * * * [points]: Filtering points with unrepresentable outputs
0.840 * * * * [points]: Sampling 20 additional inputs, on iter 18 have 236 / 256
0.840 * * * * [points]: Computing exacts for 20 points
0.849 * * * * [points]: Setting MPFR precision to 64
0.852 * * * * [points]: Setting MPFR precision to 320
0.853 * * * * [points]: Filtering points with unrepresentable outputs
0.853 * * * * [points]: Sampling 17 additional inputs, on iter 19 have 239 / 256
0.853 * * * * [points]: Computing exacts for 17 points
0.877 * * * * [points]: Setting MPFR precision to 64
0.878 * * * * [points]: Setting MPFR precision to 320
0.880 * * * * [points]: Filtering points with unrepresentable outputs
0.880 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
0.880 * * * * [points]: Computing exacts for 15 points
0.884 * * * * [points]: Setting MPFR precision to 64
0.886 * * * * [points]: Setting MPFR precision to 320
0.887 * * * * [points]: Filtering points with unrepresentable outputs
0.887 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
0.887 * * * * [points]: Computing exacts for 12 points
0.892 * * * * [points]: Setting MPFR precision to 64
0.893 * * * * [points]: Setting MPFR precision to 320
0.894 * * * * [points]: Filtering points with unrepresentable outputs
0.894 * * * * [points]: Sampling 9 additional inputs, on iter 22 have 247 / 256
0.894 * * * * [points]: Computing exacts for 9 points
0.899 * * * * [points]: Setting MPFR precision to 64
0.901 * * * * [points]: Setting MPFR precision to 320
0.902 * * * * [points]: Filtering points with unrepresentable outputs
0.902 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
0.902 * * * * [points]: Computing exacts for 7 points
0.911 * * * * [points]: Setting MPFR precision to 64
0.912 * * * * [points]: Setting MPFR precision to 320
0.914 * * * * [points]: Filtering points with unrepresentable outputs
0.914 * * * * [points]: Sampling 6 additional inputs, on iter 24 have 250 / 256
0.914 * * * * [points]: Computing exacts for 6 points
0.923 * * * * [points]: Setting MPFR precision to 64
0.925 * * * * [points]: Setting MPFR precision to 320
0.926 * * * * [points]: Filtering points with unrepresentable outputs
0.926 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256
0.926 * * * * [points]: Computing exacts for 6 points
0.935 * * * * [points]: Setting MPFR precision to 64
0.936 * * * * [points]: Setting MPFR precision to 320
0.937 * * * * [points]: Filtering points with unrepresentable outputs
0.937 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 252 / 256
0.937 * * * * [points]: Computing exacts for 4 points
0.946 * * * * [points]: Setting MPFR precision to 64
0.946 * * * * [points]: Setting MPFR precision to 320
0.947 * * * * [points]: Filtering points with unrepresentable outputs
0.947 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 253 / 256
0.947 * * * * [points]: Computing exacts for 4 points
0.956 * * * * [points]: Setting MPFR precision to 64
0.956 * * * * [points]: Setting MPFR precision to 320
0.957 * * * * [points]: Filtering points with unrepresentable outputs
0.957 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 253 / 256
0.957 * * * * [points]: Computing exacts for 4 points
0.961 * * * * [points]: Setting MPFR precision to 64
0.962 * * * * [points]: Setting MPFR precision to 320
0.962 * * * * [points]: Filtering points with unrepresentable outputs
0.962 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
0.962 * * * * [points]: Computing exacts for 4 points
0.967 * * * * [points]: Setting MPFR precision to 64
0.967 * * * * [points]: Setting MPFR precision to 320
0.967 * * * * [points]: Filtering points with unrepresentable outputs
0.968 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
0.968 * * * * [points]: Computing exacts for 4 points
0.972 * * * * [points]: Setting MPFR precision to 64
0.972 * * * * [points]: Setting MPFR precision to 320
0.973 * * * * [points]: Filtering points with unrepresentable outputs
0.973 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
0.973 * * * * [points]: Computing exacts for 4 points
0.988 * * * * [points]: Setting MPFR precision to 64
0.989 * * * * [points]: Setting MPFR precision to 320
0.989 * * * * [points]: Filtering points with unrepresentable outputs
0.990 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
0.990 * * * * [points]: Computing exacts for 4 points
0.998 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
1.000 * * * * [points]: Filtering points with unrepresentable outputs
1.000 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 255 / 256
1.000 * * * * [points]: Computing exacts for 4 points
1.010 * * * * [points]: Setting MPFR precision to 64
1.010 * * * * [points]: Setting MPFR precision to 320
1.011 * * * * [points]: Filtering points with unrepresentable outputs
1.011 * * * * [points]: Sampled 256 points with exact outputs
1.011 * * * [progress]: [2/2] Setting up program.
1.038 * [progress]: [Phase 2 of 3] Improving.
1.038 * * * * [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.039 * [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.039 * * [simplify]: iters left: 6 (19 enodes)
1.048 * * [simplify]: iters left: 5 (76 enodes)
1.074 * * [simplify]: iters left: 4 (344 enodes)
1.297 * * [simplify]: Extracting #0: cost 1 inf + 0
1.297 * * [simplify]: Extracting #1: cost 76 inf + 0
1.298 * * [simplify]: Extracting #2: cost 476 inf + 1
1.302 * * [simplify]: Extracting #3: cost 744 inf + 23847
1.309 * * [simplify]: Extracting #4: cost 692 inf + 133920
1.320 * * [simplify]: Extracting #5: cost 616 inf + 187628
1.332 * * [simplify]: Extracting #6: cost 579 inf + 209025
1.357 * * [simplify]: Extracting #7: cost 351 inf + 483855
1.401 * * [simplify]: Extracting #8: cost 57 inf + 913475
1.465 * * [simplify]: Extracting #9: cost 4 inf + 1018528
1.528 * * [simplify]: Extracting #10: cost 0 inf + 1031988
1.615 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
1.615 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))
1.645 * * [progress]: iteration 1 / 4
1.645 * * * [progress]: picking best candidate
1.680 * * * * [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))))>
1.680 * * * [progress]: localizing error
1.955 * * * [progress]: generating rewritten candidates
1.955 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.966 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.977 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.982 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.996 * * * [progress]: generating series expansions
1.996 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.996 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.996 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.997 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.997 * * * [progress]: simplifying candidates
1.997 * * * * [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))))>
1.997 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
1.997 * * [simplify]: iters left: 6 (14 enodes)
2.002 * * [simplify]: iters left: 5 (47 enodes)
2.017 * * [simplify]: iters left: 4 (148 enodes)
2.091 * * [simplify]: Extracting #0: cost 1 inf + 0
2.092 * * [simplify]: Extracting #1: cost 28 inf + 0
2.092 * * [simplify]: Extracting #2: cost 89 inf + 1
2.093 * * [simplify]: Extracting #3: cost 185 inf + 2694
2.096 * * [simplify]: Extracting #4: cost 155 inf + 54819
2.106 * * [simplify]: Extracting #5: cost 22 inf + 180207
2.115 * * [simplify]: Extracting #6: cost 0 inf + 216047
2.129 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))))
2.129 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha)))) (+.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.129 * * * * [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.129 * [simplify]: Simplifying (/.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))))
2.130 * * [simplify]: iters left: 5 (14 enodes)
2.135 * * [simplify]: iters left: 4 (45 enodes)
2.148 * * [simplify]: iters left: 3 (124 enodes)
2.180 * * [simplify]: iters left: 2 (422 enodes)
2.381 * * [simplify]: Extracting #0: cost 1 inf + 0
2.381 * * [simplify]: Extracting #1: cost 18 inf + 0
2.384 * * [simplify]: Extracting #2: cost 115 inf + 0
2.385 * * [simplify]: Extracting #3: cost 298 inf + 1371
2.388 * * [simplify]: Extracting #4: cost 238 inf + 42901
2.402 * * [simplify]: Extracting #5: cost 36 inf + 249550
2.421 * * [simplify]: Extracting #6: cost 0 inf + 289210
2.440 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (+.p16 alpha i) i) (*.p16 beta (+.p16 alpha i))))
2.440 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (+.p16 alpha i) i) (*.p16 beta (+.p16 alpha 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.441 * * * * [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.441 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.441 * * [simplify]: iters left: 4 (11 enodes)
2.444 * * [simplify]: iters left: 3 (34 enodes)
2.453 * * [simplify]: iters left: 2 (62 enodes)
2.471 * * [simplify]: iters left: 1 (116 enodes)
2.496 * * [simplify]: Extracting #0: cost 1 inf + 0
2.496 * * [simplify]: Extracting #1: cost 17 inf + 0
2.496 * * [simplify]: Extracting #2: cost 31 inf + 1
2.496 * * [simplify]: Extracting #3: cost 27 inf + 688
2.496 * * [simplify]: Extracting #4: cost 19 inf + 2471
2.497 * * [simplify]: Extracting #5: cost 11 inf + 5130
2.498 * * [simplify]: Extracting #6: cost 0 inf + 16533
2.499 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 beta (+.p16 alpha i)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) i)
2.499 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 beta (+.p16 alpha i)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) 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.499 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.499 * * [simplify]: iters left: 5 (13 enodes)
2.502 * * [simplify]: iters left: 4 (36 enodes)
2.509 * * [simplify]: iters left: 3 (69 enodes)
2.520 * * [simplify]: iters left: 2 (108 enodes)
2.536 * * [simplify]: iters left: 1 (142 enodes)
2.560 * * [simplify]: Extracting #0: cost 1 inf + 0
2.560 * * [simplify]: Extracting #1: cost 3 inf + 0
2.560 * * [simplify]: Extracting #2: cost 25 inf + 0
2.561 * * [simplify]: Extracting #3: cost 26 inf + 2
2.561 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.561 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.562 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.563 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.563 * [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.563 * * * * [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.563 * [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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
2.563 * * [simplify]: iters left: 6 (19 enodes)
2.568 * * [simplify]: iters left: 5 (69 enodes)
2.594 * * [simplify]: iters left: 4 (285 enodes)
2.744 * * [simplify]: Extracting #0: cost 1 inf + 0
2.745 * * [simplify]: Extracting #1: cost 53 inf + 0
2.746 * * [simplify]: Extracting #2: cost 283 inf + 1
2.749 * * [simplify]: Extracting #3: cost 502 inf + 19802
2.756 * * [simplify]: Extracting #4: cost 376 inf + 148119
2.775 * * [simplify]: Extracting #5: cost 213 inf + 329486
2.829 * * [simplify]: Extracting #6: cost 10 inf + 580230
2.860 * * [simplify]: Extracting #7: cost 0 inf + 592997
2.905 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta))))
2.905 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
2.906 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
2.906 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
2.906 * * [simplify]: iters left: 6 (18 enodes)
2.910 * * [simplify]: iters left: 5 (60 enodes)
2.926 * * [simplify]: iters left: 4 (217 enodes)
3.015 * * [simplify]: Extracting #0: cost 1 inf + 0
3.015 * * [simplify]: Extracting #1: cost 36 inf + 0
3.016 * * [simplify]: Extracting #2: cost 230 inf + 0
3.017 * * [simplify]: Extracting #3: cost 368 inf + 1412
3.021 * * [simplify]: Extracting #4: cost 351 inf + 75872
3.039 * * [simplify]: Extracting #5: cost 64 inf + 364843
3.082 * * [simplify]: Extracting #6: cost 0 inf + 448595
3.134 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 i (+.p16 beta alpha)) i) (*.p16 beta alpha))))
3.134 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 i (+.p16 beta alpha)) i) (*.p16 beta alpha))))))
3.135 * * * * [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.135 * [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 (+.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))))
3.135 * * [simplify]: iters left: 6 (21 enodes)
3.146 * * [simplify]: iters left: 5 (82 enodes)
3.181 * * [simplify]: iters left: 4 (367 enodes)
3.446 * * [simplify]: Extracting #0: cost 1 inf + 0
3.446 * * [simplify]: Extracting #1: cost 72 inf + 0
3.447 * * [simplify]: Extracting #2: cost 418 inf + 1
3.451 * * [simplify]: Extracting #3: cost 759 inf + 25819
3.464 * * [simplify]: Extracting #4: cost 742 inf + 159831
3.479 * * [simplify]: Extracting #5: cost 714 inf + 184347
3.492 * * [simplify]: Extracting #6: cost 688 inf + 206957
3.530 * * [simplify]: Extracting #7: cost 452 inf + 533006
3.627 * * [simplify]: Extracting #8: cost 68 inf + 1148151
3.704 * * [simplify]: Extracting #9: cost 0 inf + 1266744
3.811 * * [simplify]: Extracting #10: cost 0 inf + 1266104
3.926 * * [simplify]: Extracting #11: cost 0 inf + 1265984
4.022 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))
4.023 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.023 * * * * [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.023 * [simplify]: Simplifying (*.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.023 * * [simplify]: iters left: 6 (13 enodes)
4.029 * * [simplify]: iters left: 5 (45 enodes)
4.048 * * [simplify]: iters left: 4 (208 enodes)
4.224 * * [simplify]: Extracting #0: cost 1 inf + 0
4.225 * * [simplify]: Extracting #1: cost 62 inf + 0
4.226 * * [simplify]: Extracting #2: cost 454 inf + 0
4.230 * * [simplify]: Extracting #3: cost 629 inf + 769
4.241 * * [simplify]: Extracting #4: cost 485 inf + 129677
4.288 * * [simplify]: Extracting #5: cost 140 inf + 505022
4.361 * * [simplify]: Extracting #6: cost 2 inf + 678382
4.429 * * [simplify]: Extracting #7: cost 0 inf + 681912
4.482 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
4.482 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))))
4.482 * * * * [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.483 * [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.483 * * [simplify]: iters left: 5 (15 enodes)
4.490 * * [simplify]: iters left: 4 (44 enodes)
4.504 * * [simplify]: iters left: 3 (112 enodes)
4.553 * * [simplify]: iters left: 2 (473 enodes)
4.863 * * [simplify]: Extracting #0: cost 1 inf + 0
4.863 * * [simplify]: Extracting #1: cost 35 inf + 0
4.864 * * [simplify]: Extracting #2: cost 289 inf + 1
4.866 * * [simplify]: Extracting #3: cost 530 inf + 4270
4.870 * * [simplify]: Extracting #4: cost 530 inf + 8217
4.874 * * [simplify]: Extracting #5: cost 472 inf + 32870
4.893 * * [simplify]: Extracting #6: cost 191 inf + 263683
4.931 * * [simplify]: Extracting #7: cost 11 inf + 442277
4.972 * * [simplify]: Extracting #8: cost 0 inf + 458826
5.011 * [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.011 * [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.011 * [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.011 * * [simplify]: iters left: 6 (17 enodes)
5.016 * * [simplify]: iters left: 5 (52 enodes)
5.027 * * [simplify]: iters left: 4 (154 enodes)
5.077 * * [simplify]: Extracting #0: cost 1 inf + 0
5.077 * * [simplify]: Extracting #1: cost 27 inf + 0
5.077 * * [simplify]: Extracting #2: cost 136 inf + 0
5.078 * * [simplify]: Extracting #3: cost 274 inf + 366
5.079 * * [simplify]: Extracting #4: cost 281 inf + 5479
5.081 * * [simplify]: Extracting #5: cost 256 inf + 11413
5.084 * * [simplify]: Extracting #6: cost 208 inf + 38569
5.095 * * [simplify]: Extracting #7: cost 36 inf + 215631
5.113 * * [simplify]: Extracting #8: cost 1 inf + 245272
5.129 * * [simplify]: Extracting #9: cost 0 inf + 242397
5.145 * * [simplify]: Extracting #10: cost 0 inf + 242037
5.162 * [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 beta (-.p16 alpha (real->posit16 1.0))))))
5.162 * [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 beta (-.p16 alpha (real->posit16 1.0))))))))
5.162 * * * * [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.162 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta)))
5.162 * * [simplify]: iters left: 3 (7 enodes)
5.164 * * [simplify]: iters left: 2 (23 enodes)
5.168 * * [simplify]: iters left: 1 (33 enodes)
5.172 * * [simplify]: Extracting #0: cost 1 inf + 0
5.172 * * [simplify]: Extracting #1: cost 7 inf + 0
5.172 * * [simplify]: Extracting #2: cost 13 inf + 0
5.172 * * [simplify]: Extracting #3: cost 9 inf + 45
5.172 * * [simplify]: Extracting #4: cost 2 inf + 1821
5.173 * * [simplify]: Extracting #5: cost 0 inf + 2907
5.173 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 alpha beta))
5.173 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) 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.173 * * * * [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.173 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i))
5.173 * * [simplify]: iters left: 3 (7 enodes)
5.175 * * [simplify]: iters left: 2 (17 enodes)
5.177 * * [simplify]: iters left: 1 (25 enodes)
5.181 * * [simplify]: Extracting #0: cost 1 inf + 0
5.181 * * [simplify]: Extracting #1: cost 9 inf + 0
5.181 * * [simplify]: Extracting #2: cost 13 inf + 0
5.181 * * [simplify]: Extracting #3: cost 10 inf + 3
5.181 * * [simplify]: Extracting #4: cost 2 inf + 3423
5.182 * * [simplify]: Extracting #5: cost 0 inf + 4829
5.182 * [simplify]: Simplified to (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 alpha beta))
5.182 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 i (+.p16 alpha beta)) (*.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.182 * * * * [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.182 * * * * [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.182 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i))
5.182 * * [simplify]: iters left: 3 (6 enodes)
5.184 * * [simplify]: iters left: 2 (13 enodes)
5.187 * * [simplify]: Extracting #0: cost 1 inf + 0
5.187 * * [simplify]: Extracting #1: cost 3 inf + 0
5.187 * * [simplify]: Extracting #2: cost 4 inf + 1
5.187 * * [simplify]: Extracting #3: cost 4 inf + 2
5.187 * * [simplify]: Extracting #4: cost 0 inf + 689
5.187 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2)))
5.187 * [simplify]: Simplified (2 2 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (real->posit16 1.0))))
5.188 * * * * [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.188 * * * * [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.188 * [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.188 * * [simplify]: iters left: 6 (19 enodes)
5.198 * * [simplify]: iters left: 5 (76 enodes)
5.225 * * [simplify]: iters left: 4 (344 enodes)
5.448 * * [simplify]: Extracting #0: cost 1 inf + 0
5.448 * * [simplify]: Extracting #1: cost 76 inf + 0
5.449 * * [simplify]: Extracting #2: cost 476 inf + 1
5.453 * * [simplify]: Extracting #3: cost 744 inf + 23847
5.460 * * [simplify]: Extracting #4: cost 692 inf + 133920
5.474 * * [simplify]: Extracting #5: cost 616 inf + 187628
5.493 * * [simplify]: Extracting #6: cost 579 inf + 209025
5.515 * * [simplify]: Extracting #7: cost 351 inf + 483855
5.561 * * [simplify]: Extracting #8: cost 57 inf + 913475
5.638 * * [simplify]: Extracting #9: cost 4 inf + 1018528
5.722 * * [simplify]: Extracting #10: cost 0 inf + 1031988
5.781 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
5.781 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))
5.782 * * * * [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))))>
5.782 * [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.782 * * [simplify]: iters left: 6 (19 enodes)
5.787 * * [simplify]: iters left: 5 (76 enodes)
5.811 * * [simplify]: iters left: 4 (344 enodes)
5.980 * * [simplify]: Extracting #0: cost 1 inf + 0
5.980 * * [simplify]: Extracting #1: cost 76 inf + 0
5.982 * * [simplify]: Extracting #2: cost 476 inf + 1
5.985 * * [simplify]: Extracting #3: cost 744 inf + 23847
5.996 * * [simplify]: Extracting #4: cost 692 inf + 133920
6.010 * * [simplify]: Extracting #5: cost 616 inf + 187628
6.021 * * [simplify]: Extracting #6: cost 579 inf + 209025
6.043 * * [simplify]: Extracting #7: cost 351 inf + 483855
6.343 * * [simplify]: Extracting #8: cost 57 inf + 913475
6.400 * * [simplify]: Extracting #9: cost 4 inf + 1018528
6.462 * * [simplify]: Extracting #10: cost 0 inf + 1031988
6.522 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
6.522 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))
6.523 * * * * [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.523 * [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.523 * * [simplify]: iters left: 6 (19 enodes)
6.528 * * [simplify]: iters left: 5 (76 enodes)
6.561 * * [simplify]: iters left: 4 (344 enodes)
6.759 * * [simplify]: Extracting #0: cost 1 inf + 0
6.759 * * [simplify]: Extracting #1: cost 76 inf + 0
6.761 * * [simplify]: Extracting #2: cost 476 inf + 1
6.764 * * [simplify]: Extracting #3: cost 744 inf + 23847
6.772 * * [simplify]: Extracting #4: cost 692 inf + 133920
6.782 * * [simplify]: Extracting #5: cost 616 inf + 187628
6.793 * * [simplify]: Extracting #6: cost 579 inf + 209025
6.827 * * [simplify]: Extracting #7: cost 351 inf + 483855
6.883 * * [simplify]: Extracting #8: cost 57 inf + 913475
6.960 * * [simplify]: Extracting #9: cost 4 inf + 1018528
7.048 * * [simplify]: Extracting #10: cost 0 inf + 1031988
7.106 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
7.106 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))
7.106 * * * * [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.106 * [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.106 * * [simplify]: iters left: 6 (19 enodes)
7.112 * * [simplify]: iters left: 5 (76 enodes)
7.136 * * [simplify]: iters left: 4 (344 enodes)
7.358 * * [simplify]: Extracting #0: cost 1 inf + 0
7.358 * * [simplify]: Extracting #1: cost 76 inf + 0
7.360 * * [simplify]: Extracting #2: cost 476 inf + 1
7.365 * * [simplify]: Extracting #3: cost 744 inf + 23847
7.377 * * [simplify]: Extracting #4: cost 692 inf + 133920
7.397 * * [simplify]: Extracting #5: cost 616 inf + 187628
7.418 * * [simplify]: Extracting #6: cost 579 inf + 209025
7.465 * * [simplify]: Extracting #7: cost 351 inf + 483855
7.548 * * [simplify]: Extracting #8: cost 57 inf + 913475
7.625 * * [simplify]: Extracting #9: cost 4 inf + 1018528
7.700 * * [simplify]: Extracting #10: cost 0 inf + 1031988
7.783 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
7.783 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))
7.783 * * * [progress]: adding candidates to table
8.498 * * [progress]: iteration 2 / 4
8.498 * * * [progress]: picking best candidate
8.663 * * * * [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)))))>
8.663 * * * [progress]: localizing error
9.038 * * * [progress]: generating rewritten candidates
9.038 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
9.048 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.067 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.102 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.165 * * * [progress]: generating series expansions
9.165 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
9.165 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
9.165 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.165 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.165 * * * [progress]: simplifying candidates
9.165 * * * * [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.165 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
9.165 * * [simplify]: iters left: 4 (10 enodes)
9.169 * * [simplify]: iters left: 3 (25 enodes)
9.177 * * [simplify]: iters left: 2 (37 enodes)
9.186 * * [simplify]: iters left: 1 (40 enodes)
9.194 * * [simplify]: Extracting #0: cost 1 inf + 0
9.195 * * [simplify]: Extracting #1: cost 3 inf + 0
9.195 * * [simplify]: Extracting #2: cost 12 inf + 0
9.195 * * [simplify]: Extracting #3: cost 9 inf + 45
9.195 * * [simplify]: Extracting #4: cost 7 inf + 212
9.195 * * [simplify]: Extracting #5: cost 6 inf + 213
9.195 * * [simplify]: Extracting #6: cost 0 inf + 2590
9.196 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
9.196 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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.196 * * * * [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.196 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
9.196 * * [simplify]: iters left: 6 (19 enodes)
9.201 * * [simplify]: iters left: 5 (61 enodes)
9.215 * * [simplify]: iters left: 4 (215 enodes)
9.312 * * [simplify]: Extracting #0: cost 1 inf + 0
9.312 * * [simplify]: Extracting #1: cost 25 inf + 0
9.312 * * [simplify]: Extracting #2: cost 173 inf + 0
9.313 * * [simplify]: Extracting #3: cost 355 inf + 1090
9.316 * * [simplify]: Extracting #4: cost 396 inf + 4036
9.323 * * [simplify]: Extracting #5: cost 235 inf + 143420
9.343 * * [simplify]: Extracting #6: cost 34 inf + 349304
9.380 * * [simplify]: Extracting #7: cost 0 inf + 409705
9.421 * * [simplify]: Extracting #8: cost 0 inf + 409345
9.450 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))
9.450 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.451 * * * * [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.451 * [simplify]: Simplifying (*.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.451 * * [simplify]: iters left: 5 (12 enodes)
9.454 * * [simplify]: iters left: 4 (41 enodes)
9.464 * * [simplify]: iters left: 3 (156 enodes)
9.533 * * [simplify]: Extracting #0: cost 1 inf + 0
9.533 * * [simplify]: Extracting #1: cost 63 inf + 0
9.534 * * [simplify]: Extracting #2: cost 314 inf + 0
9.535 * * [simplify]: Extracting #3: cost 380 inf + 2458
9.538 * * [simplify]: Extracting #4: cost 306 inf + 47329
9.549 * * [simplify]: Extracting #5: cost 86 inf + 204544
9.568 * * [simplify]: Extracting #6: cost 1 inf + 275096
9.588 * * [simplify]: Extracting #7: cost 0 inf + 276139
9.612 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
9.612 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
9.612 * * * * [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.613 * [simplify]: Simplifying (*.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.613 * * [simplify]: iters left: 5 (12 enodes)
9.618 * * [simplify]: iters left: 4 (35 enodes)
9.631 * * [simplify]: iters left: 3 (115 enodes)
9.698 * * [simplify]: Extracting #0: cost 1 inf + 0
9.698 * * [simplify]: Extracting #1: cost 56 inf + 0
9.699 * * [simplify]: Extracting #2: cost 210 inf + 0
9.703 * * [simplify]: Extracting #3: cost 241 inf + 2096
9.705 * * [simplify]: Extracting #4: cost 202 inf + 16354
9.713 * * [simplify]: Extracting #5: cost 77 inf + 94497
9.730 * * [simplify]: Extracting #6: cost 0 inf + 155296
9.746 * * [simplify]: Extracting #7: cost 0 inf + 155289
9.759 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
9.759 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.760 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.760 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
9.760 * * [simplify]: iters left: 5 (15 enodes)
9.766 * * [simplify]: iters left: 4 (44 enodes)
9.780 * * [simplify]: iters left: 3 (112 enodes)
9.829 * * [simplify]: iters left: 2 (473 enodes)
10.162 * * [simplify]: Extracting #0: cost 1 inf + 0
10.162 * * [simplify]: Extracting #1: cost 35 inf + 0
10.163 * * [simplify]: Extracting #2: cost 289 inf + 1
10.167 * * [simplify]: Extracting #3: cost 530 inf + 4270
10.172 * * [simplify]: Extracting #4: cost 530 inf + 8217
10.177 * * [simplify]: Extracting #5: cost 472 inf + 32870
10.200 * * [simplify]: Extracting #6: cost 191 inf + 263683
10.247 * * [simplify]: Extracting #7: cost 11 inf + 442277
10.298 * * [simplify]: Extracting #8: cost 0 inf + 458826
10.364 * [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.364 * [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.364 * [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.364 * * [simplify]: iters left: 6 (17 enodes)
10.371 * * [simplify]: iters left: 5 (52 enodes)
10.390 * * [simplify]: iters left: 4 (154 enodes)
10.454 * * [simplify]: Extracting #0: cost 1 inf + 0
10.454 * * [simplify]: Extracting #1: cost 27 inf + 0
10.455 * * [simplify]: Extracting #2: cost 136 inf + 0
10.456 * * [simplify]: Extracting #3: cost 274 inf + 366
10.458 * * [simplify]: Extracting #4: cost 281 inf + 5479
10.459 * * [simplify]: Extracting #5: cost 256 inf + 11413
10.462 * * [simplify]: Extracting #6: cost 208 inf + 38569
10.474 * * [simplify]: Extracting #7: cost 36 inf + 215631
10.495 * * [simplify]: Extracting #8: cost 1 inf + 245272
10.510 * * [simplify]: Extracting #9: cost 0 inf + 242397
10.526 * * [simplify]: Extracting #10: cost 0 inf + 242037
10.542 * [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 beta (-.p16 alpha (real->posit16 1.0))))))
10.542 * [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 beta (-.p16 alpha (real->posit16 1.0))))))))
10.542 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.543 * [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.543 * * [simplify]: iters left: 5 (15 enodes)
10.547 * * [simplify]: iters left: 4 (44 enodes)
10.555 * * [simplify]: iters left: 3 (112 enodes)
10.584 * * [simplify]: iters left: 2 (473 enodes)
10.861 * * [simplify]: Extracting #0: cost 1 inf + 0
10.861 * * [simplify]: Extracting #1: cost 35 inf + 0
10.862 * * [simplify]: Extracting #2: cost 289 inf + 1
10.865 * * [simplify]: Extracting #3: cost 530 inf + 4270
10.870 * * [simplify]: Extracting #4: cost 530 inf + 8217
10.878 * * [simplify]: Extracting #5: cost 472 inf + 32870
10.895 * * [simplify]: Extracting #6: cost 191 inf + 263683
10.943 * * [simplify]: Extracting #7: cost 11 inf + 442277
10.994 * * [simplify]: Extracting #8: cost 0 inf + 458826
11.046 * [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.046 * [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.047 * [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.047 * * [simplify]: iters left: 6 (17 enodes)
11.051 * * [simplify]: iters left: 5 (52 enodes)
11.067 * * [simplify]: iters left: 4 (154 enodes)
11.134 * * [simplify]: Extracting #0: cost 1 inf + 0
11.135 * * [simplify]: Extracting #1: cost 27 inf + 0
11.135 * * [simplify]: Extracting #2: cost 136 inf + 0
11.136 * * [simplify]: Extracting #3: cost 274 inf + 366
11.139 * * [simplify]: Extracting #4: cost 281 inf + 5479
11.142 * * [simplify]: Extracting #5: cost 256 inf + 11413
11.147 * * [simplify]: Extracting #6: cost 208 inf + 38569
11.166 * * [simplify]: Extracting #7: cost 36 inf + 215631
11.197 * * [simplify]: Extracting #8: cost 1 inf + 245272
11.223 * * [simplify]: Extracting #9: cost 0 inf + 242397
11.249 * * [simplify]: Extracting #10: cost 0 inf + 242037
11.275 * [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 beta (-.p16 alpha (real->posit16 1.0))))))
11.276 * [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 beta (-.p16 alpha (real->posit16 1.0))))))))
11.276 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.276 * [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.276 * * [simplify]: iters left: 5 (15 enodes)
11.283 * * [simplify]: iters left: 4 (44 enodes)
11.299 * * [simplify]: iters left: 3 (112 enodes)
11.352 * * [simplify]: iters left: 2 (473 enodes)
11.737 * * [simplify]: Extracting #0: cost 1 inf + 0
11.737 * * [simplify]: Extracting #1: cost 35 inf + 0
11.737 * * [simplify]: Extracting #2: cost 289 inf + 1
11.744 * * [simplify]: Extracting #3: cost 530 inf + 4270
11.747 * * [simplify]: Extracting #4: cost 530 inf + 8217
11.751 * * [simplify]: Extracting #5: cost 472 inf + 32870
11.768 * * [simplify]: Extracting #6: cost 191 inf + 263683
11.804 * * [simplify]: Extracting #7: cost 11 inf + 442277
11.844 * * [simplify]: Extracting #8: cost 0 inf + 458826
11.897 * [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.897 * [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.897 * [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.898 * * [simplify]: iters left: 6 (17 enodes)
11.904 * * [simplify]: iters left: 5 (52 enodes)
11.924 * * [simplify]: iters left: 4 (154 enodes)
11.978 * * [simplify]: Extracting #0: cost 1 inf + 0
11.978 * * [simplify]: Extracting #1: cost 27 inf + 0
11.978 * * [simplify]: Extracting #2: cost 136 inf + 0
11.979 * * [simplify]: Extracting #3: cost 274 inf + 366
11.980 * * [simplify]: Extracting #4: cost 281 inf + 5479
11.982 * * [simplify]: Extracting #5: cost 256 inf + 11413
11.984 * * [simplify]: Extracting #6: cost 208 inf + 38569
12.005 * * [simplify]: Extracting #7: cost 36 inf + 215631
12.029 * * [simplify]: Extracting #8: cost 1 inf + 245272
12.052 * * [simplify]: Extracting #9: cost 0 inf + 242397
12.078 * * [simplify]: Extracting #10: cost 0 inf + 242037
12.104 * [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 beta (-.p16 alpha (real->posit16 1.0))))))
12.104 * [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 beta (-.p16 alpha (real->posit16 1.0))))))))
12.105 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
12.105 * [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.105 * * [simplify]: iters left: 5 (15 enodes)
12.111 * * [simplify]: iters left: 4 (44 enodes)
12.126 * * [simplify]: iters left: 3 (112 enodes)
12.172 * * [simplify]: iters left: 2 (473 enodes)
12.536 * * [simplify]: Extracting #0: cost 1 inf + 0
12.536 * * [simplify]: Extracting #1: cost 35 inf + 0
12.537 * * [simplify]: Extracting #2: cost 289 inf + 1
12.539 * * [simplify]: Extracting #3: cost 530 inf + 4270
12.542 * * [simplify]: Extracting #4: cost 530 inf + 8217
12.546 * * [simplify]: Extracting #5: cost 472 inf + 32870
12.562 * * [simplify]: Extracting #6: cost 191 inf + 263683
12.598 * * [simplify]: Extracting #7: cost 11 inf + 442277
12.639 * * [simplify]: Extracting #8: cost 0 inf + 458826
12.678 * [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.678 * [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.678 * [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.679 * * [simplify]: iters left: 6 (17 enodes)
12.684 * * [simplify]: iters left: 5 (52 enodes)
12.696 * * [simplify]: iters left: 4 (154 enodes)
12.744 * * [simplify]: Extracting #0: cost 1 inf + 0
12.744 * * [simplify]: Extracting #1: cost 27 inf + 0
12.744 * * [simplify]: Extracting #2: cost 136 inf + 0
12.745 * * [simplify]: Extracting #3: cost 274 inf + 366
12.746 * * [simplify]: Extracting #4: cost 281 inf + 5479
12.748 * * [simplify]: Extracting #5: cost 256 inf + 11413
12.753 * * [simplify]: Extracting #6: cost 208 inf + 38569
12.764 * * [simplify]: Extracting #7: cost 36 inf + 215631
12.781 * * [simplify]: Extracting #8: cost 1 inf + 245272
12.804 * * [simplify]: Extracting #9: cost 0 inf + 242397
12.826 * * [simplify]: Extracting #10: cost 0 inf + 242037
12.851 * [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 beta (-.p16 alpha (real->posit16 1.0))))))
12.851 * [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 beta (-.p16 alpha (real->posit16 1.0))))))))
12.851 * * * [progress]: adding candidates to table
13.061 * * [progress]: iteration 3 / 4
13.061 * * * [progress]: picking best candidate
13.355 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
13.355 * * * [progress]: localizing error
13.737 * * * [progress]: generating rewritten candidates
13.737 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
13.744 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
13.760 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
13.781 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
13.844 * * * [progress]: generating series expansions
13.844 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
13.845 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
13.845 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
13.845 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
13.845 * * * [progress]: simplifying candidates
13.845 * * * * [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)))))>
13.845 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
13.845 * * [simplify]: iters left: 6 (19 enodes)
13.850 * * [simplify]: iters left: 5 (61 enodes)
13.864 * * [simplify]: iters left: 4 (215 enodes)
13.959 * * [simplify]: Extracting #0: cost 1 inf + 0
13.960 * * [simplify]: Extracting #1: cost 25 inf + 0
13.960 * * [simplify]: Extracting #2: cost 173 inf + 0
13.961 * * [simplify]: Extracting #3: cost 355 inf + 1090
13.963 * * [simplify]: Extracting #4: cost 396 inf + 4036
13.970 * * [simplify]: Extracting #5: cost 235 inf + 143420
13.991 * * [simplify]: Extracting #6: cost 34 inf + 349304
14.021 * * [simplify]: Extracting #7: cost 0 inf + 409705
14.072 * * [simplify]: Extracting #8: cost 0 inf + 409345
14.124 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))
14.124 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
14.125 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
14.125 * [simplify]: Simplifying (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
14.125 * * [simplify]: iters left: 5 (12 enodes)
14.132 * * [simplify]: iters left: 4 (41 enodes)
14.151 * * [simplify]: iters left: 3 (156 enodes)
14.275 * * [simplify]: Extracting #0: cost 1 inf + 0
14.275 * * [simplify]: Extracting #1: cost 63 inf + 0
14.276 * * [simplify]: Extracting #2: cost 314 inf + 0
14.278 * * [simplify]: Extracting #3: cost 380 inf + 2458
14.281 * * [simplify]: Extracting #4: cost 306 inf + 47329
14.296 * * [simplify]: Extracting #5: cost 86 inf + 204544
14.315 * * [simplify]: Extracting #6: cost 1 inf + 275096
14.353 * * [simplify]: Extracting #7: cost 0 inf + 276139
14.395 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
14.395 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
14.396 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
14.396 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
14.396 * * [simplify]: iters left: 5 (13 enodes)
14.403 * * [simplify]: iters left: 4 (32 enodes)
14.416 * * [simplify]: iters left: 3 (58 enodes)
14.426 * * [simplify]: iters left: 2 (88 enodes)
14.441 * * [simplify]: iters left: 1 (107 enodes)
14.461 * * [simplify]: Extracting #0: cost 1 inf + 0
14.461 * * [simplify]: Extracting #1: cost 3 inf + 0
14.461 * * [simplify]: Extracting #2: cost 20 inf + 0
14.462 * * [simplify]: Extracting #3: cost 19 inf + 3
14.462 * * [simplify]: Extracting #4: cost 13 inf + 256
14.462 * * [simplify]: Extracting #5: cost 10 inf + 382
14.463 * * [simplify]: Extracting #6: cost 0 inf + 4416
14.465 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
14.465 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
14.465 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
14.465 * [simplify]: Simplifying (*.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)))
14.465 * * [simplify]: iters left: 5 (14 enodes)
14.472 * * [simplify]: iters left: 4 (36 enodes)
14.484 * * [simplify]: iters left: 3 (94 enodes)
14.542 * * [simplify]: iters left: 2 (461 enodes)
14.994 * * [simplify]: Extracting #0: cost 1 inf + 0
14.994 * * [simplify]: Extracting #1: cost 92 inf + 0
14.996 * * [simplify]: Extracting #2: cost 490 inf + 0
15.001 * * [simplify]: Extracting #3: cost 732 inf + 2545
15.012 * * [simplify]: Extracting #4: cost 702 inf + 15883
15.029 * * [simplify]: Extracting #5: cost 524 inf + 137309
15.093 * * [simplify]: Extracting #6: cost 53 inf + 625829
15.182 * * [simplify]: Extracting #7: cost 0 inf + 687509
15.242 * * [simplify]: Extracting #8: cost 0 inf + 687466
15.296 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
15.296 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
15.297 * * * * [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.297 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
15.297 * * [simplify]: iters left: 4 (10 enodes)
15.299 * * [simplify]: iters left: 3 (25 enodes)
15.303 * * [simplify]: iters left: 2 (37 enodes)
15.309 * * [simplify]: iters left: 1 (40 enodes)
15.314 * * [simplify]: Extracting #0: cost 1 inf + 0
15.314 * * [simplify]: Extracting #1: cost 3 inf + 0
15.314 * * [simplify]: Extracting #2: cost 12 inf + 0
15.314 * * [simplify]: Extracting #3: cost 9 inf + 45
15.314 * * [simplify]: Extracting #4: cost 7 inf + 212
15.315 * * [simplify]: Extracting #5: cost 6 inf + 213
15.315 * * [simplify]: Extracting #6: cost 0 inf + 2590
15.315 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
15.315 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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.315 * * * * [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.315 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
15.315 * * [simplify]: iters left: 4 (10 enodes)
15.318 * * [simplify]: iters left: 3 (25 enodes)
15.323 * * [simplify]: iters left: 2 (37 enodes)
15.329 * * [simplify]: iters left: 1 (40 enodes)
15.338 * * [simplify]: Extracting #0: cost 1 inf + 0
15.338 * * [simplify]: Extracting #1: cost 3 inf + 0
15.338 * * [simplify]: Extracting #2: cost 12 inf + 0
15.339 * * [simplify]: Extracting #3: cost 9 inf + 45
15.339 * * [simplify]: Extracting #4: cost 7 inf + 212
15.339 * * [simplify]: Extracting #5: cost 6 inf + 213
15.339 * * [simplify]: Extracting #6: cost 0 inf + 2590
15.340 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
15.340 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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.340 * * * * [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.340 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
15.341 * * [simplify]: iters left: 4 (10 enodes)
15.343 * * [simplify]: iters left: 3 (25 enodes)
15.347 * * [simplify]: iters left: 2 (37 enodes)
15.352 * * [simplify]: iters left: 1 (40 enodes)
15.358 * * [simplify]: Extracting #0: cost 1 inf + 0
15.358 * * [simplify]: Extracting #1: cost 3 inf + 0
15.358 * * [simplify]: Extracting #2: cost 12 inf + 0
15.358 * * [simplify]: Extracting #3: cost 9 inf + 45
15.358 * * [simplify]: Extracting #4: cost 7 inf + 212
15.358 * * [simplify]: Extracting #5: cost 6 inf + 213
15.359 * * [simplify]: Extracting #6: cost 0 inf + 2590
15.359 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
15.359 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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.359 * * * * [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.359 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
15.359 * * [simplify]: iters left: 4 (10 enodes)
15.362 * * [simplify]: iters left: 3 (25 enodes)
15.366 * * [simplify]: iters left: 2 (37 enodes)
15.371 * * [simplify]: iters left: 1 (40 enodes)
15.377 * * [simplify]: Extracting #0: cost 1 inf + 0
15.377 * * [simplify]: Extracting #1: cost 3 inf + 0
15.377 * * [simplify]: Extracting #2: cost 12 inf + 0
15.377 * * [simplify]: Extracting #3: cost 9 inf + 45
15.377 * * [simplify]: Extracting #4: cost 7 inf + 212
15.377 * * [simplify]: Extracting #5: cost 6 inf + 213
15.378 * * [simplify]: Extracting #6: cost 0 inf + 2590
15.378 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
15.378 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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.379 * * * [progress]: adding candidates to table
15.679 * * [progress]: iteration 4 / 4
15.679 * * * [progress]: picking best candidate
16.047 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.047 * * * [progress]: localizing error
16.590 * * * [progress]: generating rewritten candidates
16.590 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
16.600 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
16.628 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
16.630 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
16.651 * * * [progress]: generating series expansions
16.652 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
16.652 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
16.652 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
16.652 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
16.652 * * * [progress]: simplifying candidates
16.652 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.652 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
16.652 * * [simplify]: iters left: 5 (12 enodes)
16.655 * * [simplify]: iters left: 4 (28 enodes)
16.662 * * [simplify]: iters left: 3 (48 enodes)
16.671 * * [simplify]: iters left: 2 (76 enodes)
16.683 * * [simplify]: iters left: 1 (88 enodes)
16.696 * * [simplify]: Extracting #0: cost 1 inf + 0
16.696 * * [simplify]: Extracting #1: cost 3 inf + 0
16.696 * * [simplify]: Extracting #2: cost 16 inf + 1
16.696 * * [simplify]: Extracting #3: cost 15 inf + 45
16.696 * * [simplify]: Extracting #4: cost 12 inf + 131
16.696 * * [simplify]: Extracting #5: cost 9 inf + 216
16.697 * * [simplify]: Extracting #6: cost 4 inf + 2072
16.697 * * [simplify]: Extracting #7: cost 0 inf + 4169
16.698 * [simplify]: Simplified to (/.p16 i (+.p16 (+.p16 alpha (*.p16 i (real->posit16 2))) (+.p16 beta (real->posit16 1.0))))
16.698 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha (*.p16 i (real->posit16 2))) (+.p16 beta (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)))))
16.698 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.698 * [simplify]: Simplifying (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
16.698 * * [simplify]: iters left: 6 (13 enodes)
16.702 * * [simplify]: iters left: 5 (38 enodes)
16.713 * * [simplify]: iters left: 4 (118 enodes)
16.768 * * [simplify]: Extracting #0: cost 1 inf + 0
16.768 * * [simplify]: Extracting #1: cost 5 inf + 0
16.768 * * [simplify]: Extracting #2: cost 76 inf + 1
16.768 * * [simplify]: Extracting #3: cost 208 inf + 3
16.769 * * [simplify]: Extracting #4: cost 238 inf + 2703
16.771 * * [simplify]: Extracting #5: cost 168 inf + 33108
16.778 * * [simplify]: Extracting #6: cost 47 inf + 118978
16.789 * * [simplify]: Extracting #7: cost 0 inf + 158936
16.805 * * [simplify]: Extracting #8: cost 0 inf + 158536
16.821 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))))
16.821 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))))) (+.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.822 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.822 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
16.822 * * [simplify]: iters left: 6 (19 enodes)
16.827 * * [simplify]: iters left: 5 (61 enodes)
16.841 * * [simplify]: iters left: 4 (215 enodes)
16.955 * * [simplify]: Extracting #0: cost 1 inf + 0
16.955 * * [simplify]: Extracting #1: cost 25 inf + 0
16.956 * * [simplify]: Extracting #2: cost 173 inf + 0
16.957 * * [simplify]: Extracting #3: cost 355 inf + 1090
16.961 * * [simplify]: Extracting #4: cost 396 inf + 4036
16.973 * * [simplify]: Extracting #5: cost 235 inf + 143420
17.013 * * [simplify]: Extracting #6: cost 34 inf + 349304
17.046 * * [simplify]: Extracting #7: cost 0 inf + 409705
17.086 * * [simplify]: Extracting #8: cost 0 inf + 409345
17.130 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))
17.130 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.131 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
17.131 * [simplify]: Simplifying (*.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.131 * * [simplify]: iters left: 5 (12 enodes)
17.134 * * [simplify]: iters left: 4 (41 enodes)
17.149 * * [simplify]: iters left: 3 (156 enodes)
17.268 * * [simplify]: Extracting #0: cost 1 inf + 0
17.268 * * [simplify]: Extracting #1: cost 63 inf + 0
17.269 * * [simplify]: Extracting #2: cost 314 inf + 0
17.271 * * [simplify]: Extracting #3: cost 380 inf + 2458
17.274 * * [simplify]: Extracting #4: cost 306 inf + 47329
17.285 * * [simplify]: Extracting #5: cost 86 inf + 204544
17.304 * * [simplify]: Extracting #6: cost 1 inf + 275096
17.327 * * [simplify]: Extracting #7: cost 0 inf + 276139
17.346 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
17.346 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
17.346 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.347 * [simplify]: Simplifying (*.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)))
17.347 * * [simplify]: iters left: 5 (14 enodes)
17.350 * * [simplify]: iters left: 4 (36 enodes)
17.358 * * [simplify]: iters left: 3 (94 enodes)
17.388 * * [simplify]: iters left: 2 (461 enodes)
17.783 * * [simplify]: Extracting #0: cost 1 inf + 0
17.783 * * [simplify]: Extracting #1: cost 92 inf + 0
17.785 * * [simplify]: Extracting #2: cost 490 inf + 0
17.788 * * [simplify]: Extracting #3: cost 732 inf + 2545
17.792 * * [simplify]: Extracting #4: cost 702 inf + 15883
17.811 * * [simplify]: Extracting #5: cost 524 inf + 137309
17.855 * * [simplify]: Extracting #6: cost 53 inf + 625829
17.909 * * [simplify]: Extracting #7: cost 0 inf + 687509
18.005 * * [simplify]: Extracting #8: cost 0 inf + 687466
18.079 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
18.079 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.080 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.080 * [simplify]: Simplifying (*.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)))
18.080 * * [simplify]: iters left: 5 (14 enodes)
18.087 * * [simplify]: iters left: 4 (36 enodes)
18.100 * * [simplify]: iters left: 3 (94 enodes)
18.139 * * [simplify]: iters left: 2 (461 enodes)
18.627 * * [simplify]: Extracting #0: cost 1 inf + 0
18.627 * * [simplify]: Extracting #1: cost 92 inf + 0
18.629 * * [simplify]: Extracting #2: cost 490 inf + 0
18.635 * * [simplify]: Extracting #3: cost 732 inf + 2545
18.642 * * [simplify]: Extracting #4: cost 702 inf + 15883
18.651 * * [simplify]: Extracting #5: cost 524 inf + 137309
18.723 * * [simplify]: Extracting #6: cost 53 inf + 625829
18.779 * * [simplify]: Extracting #7: cost 0 inf + 687509
18.865 * * [simplify]: Extracting #8: cost 0 inf + 687466
18.930 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
18.930 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.930 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.931 * [simplify]: Simplifying (*.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)))
18.931 * * [simplify]: iters left: 5 (14 enodes)
18.937 * * [simplify]: iters left: 4 (36 enodes)
18.949 * * [simplify]: iters left: 3 (94 enodes)
18.995 * * [simplify]: iters left: 2 (461 enodes)
19.362 * * [simplify]: Extracting #0: cost 1 inf + 0
19.362 * * [simplify]: Extracting #1: cost 92 inf + 0
19.363 * * [simplify]: Extracting #2: cost 490 inf + 0
19.367 * * [simplify]: Extracting #3: cost 732 inf + 2545
19.371 * * [simplify]: Extracting #4: cost 702 inf + 15883
19.381 * * [simplify]: Extracting #5: cost 524 inf + 137309
19.432 * * [simplify]: Extracting #6: cost 53 inf + 625829
19.519 * * [simplify]: Extracting #7: cost 0 inf + 687509
19.612 * * [simplify]: Extracting #8: cost 0 inf + 687466
19.666 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
19.666 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.666 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.666 * [simplify]: Simplifying (*.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)))
19.667 * * [simplify]: iters left: 5 (14 enodes)
19.670 * * [simplify]: iters left: 4 (36 enodes)
19.677 * * [simplify]: iters left: 3 (94 enodes)
19.740 * * [simplify]: iters left: 2 (461 enodes)
20.247 * * [simplify]: Extracting #0: cost 1 inf + 0
20.247 * * [simplify]: Extracting #1: cost 92 inf + 0
20.248 * * [simplify]: Extracting #2: cost 490 inf + 0
20.252 * * [simplify]: Extracting #3: cost 732 inf + 2545
20.260 * * [simplify]: Extracting #4: cost 702 inf + 15883
20.280 * * [simplify]: Extracting #5: cost 524 inf + 137309
20.336 * * [simplify]: Extracting #6: cost 53 inf + 625829
20.416 * * [simplify]: Extracting #7: cost 0 inf + 687509
20.519 * * [simplify]: Extracting #8: cost 0 inf + 687466
20.606 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
20.606 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
20.607 * * * [progress]: adding candidates to table
20.875 * [progress]: [Phase 3 of 3] Extracting.
20.875 * * [regime]: Finding splitpoints for: (#<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 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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))))))>)
20.895 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
20.895 * * * * [regimes]: Trying to branch on beta from (#<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 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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))))))>)
21.448 * * * * [regimes]: Trying to branch on alpha from (#<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 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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))))))>)
21.861 * * * * [regimes]: Trying to branch on i from (#<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 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.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 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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))))))>)
22.482 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
22.482 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
22.482 * * [simplify]: iters left: 6 (22 enodes)
22.485 * * [simplify]: Extracting #0: cost 1 inf + 0
22.485 * * [simplify]: Extracting #1: cost 3 inf + 0
22.485 * * [simplify]: Extracting #2: cost 7 inf + 0
22.485 * * [simplify]: Extracting #3: cost 13 inf + 0
22.485 * * [simplify]: Extracting #4: cost 17 inf + 1
22.485 * * [simplify]: Extracting #5: cost 18 inf + 3
22.485 * * [simplify]: Extracting #6: cost 15 inf + 369
22.485 * * [simplify]: Extracting #7: cost 11 inf + 857
22.486 * * [simplify]: Extracting #8: cost 7 inf + 3230
22.486 * * [simplify]: Extracting #9: cost 2 inf + 8694
22.487 * * [simplify]: Extracting #10: cost 1 inf + 10499
22.488 * * [simplify]: Extracting #11: cost 0 inf + 14264
22.489 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
22.489 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
22.550 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
22.555 * * * * [points]: Setting MPFR precision to 64
22.556 * * * * [points]: Setting MPFR precision to 320
22.557 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
22.562 * * * * [points]: Setting MPFR precision to 64
22.565 * * * * [points]: Setting MPFR precision to 320
22.567 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
22.572 * * * * [points]: Setting MPFR precision to 64
22.576 * * * * [points]: Setting MPFR precision to 320
22.596 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
22.601 * * * * [points]: Setting MPFR precision to 64
22.612 * * * * [points]: Setting MPFR precision to 320
22.621 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
22.626 * * * * [points]: Setting MPFR precision to 64
22.660 * * * * [points]: Setting MPFR precision to 320
22.677 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
22.682 * * * * [points]: Setting MPFR precision to 64
22.743 * * * * [points]: Setting MPFR precision to 320
22.811 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
22.821 * * * * [points]: Setting MPFR precision to 64
22.996 * * * * [points]: Setting MPFR precision to 320
23.123 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
23.132 * * * * [points]: Setting MPFR precision to 64
23.883 * * * * [points]: Setting MPFR precision to 320
24.113 * * * * [points]: Computing exacts for 8000 points
24.118 * * * * [points]: Setting MPFR precision to 64
25.069 * * * * [points]: Setting MPFR precision to 320
26.265 * * * * [points]: Filtering points with unrepresentable outputs
26.274 * * * * [points]: Sampling 6911 additional inputs, on iter 1 have 1089 / 8000
26.675 * * * * [points]: Computing exacts on every 431 of 6911 points to ramp up precision
26.683 * * * * [points]: Setting MPFR precision to 64
26.686 * * * * [points]: Setting MPFR precision to 320
26.688 * * * * [points]: Computing exacts on every 215 of 6911 points to ramp up precision
26.697 * * * * [points]: Setting MPFR precision to 64
26.702 * * * * [points]: Setting MPFR precision to 320
26.706 * * * * [points]: Computing exacts on every 107 of 6911 points to ramp up precision
26.715 * * * * [points]: Setting MPFR precision to 64
26.725 * * * * [points]: Setting MPFR precision to 320
26.734 * * * * [points]: Computing exacts on every 53 of 6911 points to ramp up precision
26.744 * * * * [points]: Setting MPFR precision to 64
26.762 * * * * [points]: Setting MPFR precision to 320
26.781 * * * * [points]: Computing exacts on every 26 of 6911 points to ramp up precision
26.787 * * * * [points]: Setting MPFR precision to 64
26.806 * * * * [points]: Setting MPFR precision to 320
26.847 * * * * [points]: Computing exacts on every 13 of 6911 points to ramp up precision
26.856 * * * * [points]: Setting MPFR precision to 64
26.929 * * * * [points]: Setting MPFR precision to 320
26.998 * * * * [points]: Computing exacts on every 6 of 6911 points to ramp up precision
27.008 * * * * [points]: Setting MPFR precision to 64
27.119 * * * * [points]: Setting MPFR precision to 320
27.226 * * * * [points]: Computing exacts on every 3 of 6911 points to ramp up precision
27.231 * * * * [points]: Setting MPFR precision to 64
27.397 * * * * [points]: Setting MPFR precision to 320
27.570 * * * * [points]: Computing exacts for 6911 points
27.578 * * * * [points]: Setting MPFR precision to 64
28.402 * * * * [points]: Setting MPFR precision to 320
29.556 * * * * [points]: Filtering points with unrepresentable outputs
29.560 * * * * [points]: Sampling 5930 additional inputs, on iter 2 have 2070 / 8000
29.586 * * * * [points]: Computing exacts on every 370 of 5930 points to ramp up precision
29.591 * * * * [points]: Setting MPFR precision to 64
29.592 * * * * [points]: Setting MPFR precision to 320
29.593 * * * * [points]: Computing exacts on every 185 of 5930 points to ramp up precision
29.598 * * * * [points]: Setting MPFR precision to 64
29.600 * * * * [points]: Setting MPFR precision to 320
29.603 * * * * [points]: Computing exacts on every 92 of 5930 points to ramp up precision
29.607 * * * * [points]: Setting MPFR precision to 64
29.612 * * * * [points]: Setting MPFR precision to 320
29.617 * * * * [points]: Computing exacts on every 46 of 5930 points to ramp up precision
29.621 * * * * [points]: Setting MPFR precision to 64
29.631 * * * * [points]: Setting MPFR precision to 320
29.659 * * * * [points]: Computing exacts on every 23 of 5930 points to ramp up precision
29.664 * * * * [points]: Setting MPFR precision to 64
29.684 * * * * [points]: Setting MPFR precision to 320
29.703 * * * * [points]: Computing exacts on every 11 of 5930 points to ramp up precision
29.707 * * * * [points]: Setting MPFR precision to 64
29.766 * * * * [points]: Setting MPFR precision to 320
29.877 * * * * [points]: Computing exacts on every 5 of 5930 points to ramp up precision
29.887 * * * * [points]: Setting MPFR precision to 64
29.998 * * * * [points]: Setting MPFR precision to 320
30.105 * * * * [points]: Computing exacts on every 2 of 5930 points to ramp up precision
30.110 * * * * [points]: Setting MPFR precision to 64
30.315 * * * * [points]: Setting MPFR precision to 320
30.543 * * * * [points]: Computing exacts for 5930 points
30.553 * * * * [points]: Setting MPFR precision to 64
31.236 * * * * [points]: Setting MPFR precision to 320
32.647 * * * * [points]: Filtering points with unrepresentable outputs
32.650 * * * * [points]: Sampling 5121 additional inputs, on iter 3 have 2879 / 8000
32.671 * * * * [points]: Computing exacts on every 320 of 5121 points to ramp up precision
32.676 * * * * [points]: Setting MPFR precision to 64
32.677 * * * * [points]: Setting MPFR precision to 320
32.678 * * * * [points]: Computing exacts on every 160 of 5121 points to ramp up precision
32.683 * * * * [points]: Setting MPFR precision to 64
32.685 * * * * [points]: Setting MPFR precision to 320
32.688 * * * * [points]: Computing exacts on every 80 of 5121 points to ramp up precision
32.718 * * * * [points]: Setting MPFR precision to 64
32.728 * * * * [points]: Setting MPFR precision to 320
32.733 * * * * [points]: Computing exacts on every 40 of 5121 points to ramp up precision
32.738 * * * * [points]: Setting MPFR precision to 64
32.748 * * * * [points]: Setting MPFR precision to 320
32.757 * * * * [points]: Computing exacts on every 20 of 5121 points to ramp up precision
32.762 * * * * [points]: Setting MPFR precision to 64
32.780 * * * * [points]: Setting MPFR precision to 320
32.798 * * * * [points]: Computing exacts on every 10 of 5121 points to ramp up precision
32.803 * * * * [points]: Setting MPFR precision to 64
32.865 * * * * [points]: Setting MPFR precision to 320
32.902 * * * * [points]: Computing exacts on every 5 of 5121 points to ramp up precision
32.907 * * * * [points]: Setting MPFR precision to 64
33.041 * * * * [points]: Setting MPFR precision to 320
33.148 * * * * [points]: Computing exacts on every 2 of 5121 points to ramp up precision
33.153 * * * * [points]: Setting MPFR precision to 64
33.314 * * * * [points]: Setting MPFR precision to 320
33.507 * * * * [points]: Computing exacts for 5121 points
33.511 * * * * [points]: Setting MPFR precision to 64
34.026 * * * * [points]: Setting MPFR precision to 320
34.637 * * * * [points]: Filtering points with unrepresentable outputs
34.640 * * * * [points]: Sampling 4392 additional inputs, on iter 4 have 3608 / 8000
34.658 * * * * [points]: Computing exacts on every 274 of 4392 points to ramp up precision
34.664 * * * * [points]: Setting MPFR precision to 64
34.665 * * * * [points]: Setting MPFR precision to 320
34.666 * * * * [points]: Computing exacts on every 137 of 4392 points to ramp up precision
34.670 * * * * [points]: Setting MPFR precision to 64
34.673 * * * * [points]: Setting MPFR precision to 320
34.675 * * * * [points]: Computing exacts on every 68 of 4392 points to ramp up precision
34.679 * * * * [points]: Setting MPFR precision to 64
34.684 * * * * [points]: Setting MPFR precision to 320
34.688 * * * * [points]: Computing exacts on every 34 of 4392 points to ramp up precision
34.693 * * * * [points]: Setting MPFR precision to 64
34.703 * * * * [points]: Setting MPFR precision to 320
34.711 * * * * [points]: Computing exacts on every 17 of 4392 points to ramp up precision
34.716 * * * * [points]: Setting MPFR precision to 64
34.764 * * * * [points]: Setting MPFR precision to 320
34.781 * * * * [points]: Computing exacts on every 8 of 4392 points to ramp up precision
34.786 * * * * [points]: Setting MPFR precision to 64
34.836 * * * * [points]: Setting MPFR precision to 320
34.893 * * * * [points]: Computing exacts on every 4 of 4392 points to ramp up precision
35.256 * * * * [points]: Setting MPFR precision to 64
35.323 * * * * [points]: Setting MPFR precision to 320
35.458 * * * * [points]: Computing exacts on every 2 of 4392 points to ramp up precision
35.462 * * * * [points]: Setting MPFR precision to 64
35.617 * * * * [points]: Setting MPFR precision to 320
35.804 * * * * [points]: Computing exacts for 4392 points
35.813 * * * * [points]: Setting MPFR precision to 64
36.390 * * * * [points]: Setting MPFR precision to 320
36.945 * * * * [points]: Filtering points with unrepresentable outputs
36.949 * * * * [points]: Sampling 3759 additional inputs, on iter 5 have 4241 / 8000
36.968 * * * * [points]: Computing exacts on every 234 of 3759 points to ramp up precision
36.973 * * * * [points]: Setting MPFR precision to 64
36.974 * * * * [points]: Setting MPFR precision to 320
36.975 * * * * [points]: Computing exacts on every 117 of 3759 points to ramp up precision
36.980 * * * * [points]: Setting MPFR precision to 64
36.983 * * * * [points]: Setting MPFR precision to 320
36.987 * * * * [points]: Computing exacts on every 58 of 3759 points to ramp up precision
36.994 * * * * [points]: Setting MPFR precision to 64
37.002 * * * * [points]: Setting MPFR precision to 320
37.008 * * * * [points]: Computing exacts on every 29 of 3759 points to ramp up precision
37.013 * * * * [points]: Setting MPFR precision to 64
37.050 * * * * [points]: Setting MPFR precision to 320
37.068 * * * * [points]: Computing exacts on every 14 of 3759 points to ramp up precision
37.076 * * * * [points]: Setting MPFR precision to 64
37.097 * * * * [points]: Setting MPFR precision to 320
37.127 * * * * [points]: Computing exacts on every 7 of 3759 points to ramp up precision
37.135 * * * * [points]: Setting MPFR precision to 64
37.185 * * * * [points]: Setting MPFR precision to 320
37.263 * * * * [points]: Computing exacts on every 3 of 3759 points to ramp up precision
37.272 * * * * [points]: Setting MPFR precision to 64
37.393 * * * * [points]: Setting MPFR precision to 320
37.557 * * * * [points]: Computing exacts for 3759 points
37.566 * * * * [points]: Setting MPFR precision to 64
38.395 * * * * [points]: Setting MPFR precision to 320
38.891 * * * * [points]: Filtering points with unrepresentable outputs
38.894 * * * * [points]: Sampling 3249 additional inputs, on iter 6 have 4751 / 8000
38.913 * * * * [points]: Computing exacts on every 203 of 3249 points to ramp up precision
38.922 * * * * [points]: Setting MPFR precision to 64
38.924 * * * * [points]: Setting MPFR precision to 320
38.926 * * * * [points]: Computing exacts on every 101 of 3249 points to ramp up precision
38.935 * * * * [points]: Setting MPFR precision to 64
38.939 * * * * [points]: Setting MPFR precision to 320
38.943 * * * * [points]: Computing exacts on every 50 of 3249 points to ramp up precision
38.987 * * * * [points]: Setting MPFR precision to 64
38.997 * * * * [points]: Setting MPFR precision to 320
39.005 * * * * [points]: Computing exacts on every 25 of 3249 points to ramp up precision
39.013 * * * * [points]: Setting MPFR precision to 64
39.023 * * * * [points]: Setting MPFR precision to 320
39.032 * * * * [points]: Computing exacts on every 12 of 3249 points to ramp up precision
39.037 * * * * [points]: Setting MPFR precision to 64
39.067 * * * * [points]: Setting MPFR precision to 320
39.099 * * * * [points]: Computing exacts on every 6 of 3249 points to ramp up precision
39.108 * * * * [points]: Setting MPFR precision to 64
39.191 * * * * [points]: Setting MPFR precision to 320
39.234 * * * * [points]: Computing exacts on every 3 of 3249 points to ramp up precision
39.241 * * * * [points]: Setting MPFR precision to 64
39.387 * * * * [points]: Setting MPFR precision to 320
39.493 * * * * [points]: Computing exacts for 3249 points
39.503 * * * * [points]: Setting MPFR precision to 64
39.938 * * * * [points]: Setting MPFR precision to 320
40.435 * * * * [points]: Filtering points with unrepresentable outputs
40.437 * * * * [points]: Sampling 2805 additional inputs, on iter 7 have 5195 / 8000
40.449 * * * * [points]: Computing exacts on every 175 of 2805 points to ramp up precision
40.453 * * * * [points]: Setting MPFR precision to 64
40.455 * * * * [points]: Setting MPFR precision to 320
40.456 * * * * [points]: Computing exacts on every 87 of 2805 points to ramp up precision
40.460 * * * * [points]: Setting MPFR precision to 64
40.463 * * * * [points]: Setting MPFR precision to 320
40.465 * * * * [points]: Computing exacts on every 43 of 2805 points to ramp up precision
40.470 * * * * [points]: Setting MPFR precision to 64
40.474 * * * * [points]: Setting MPFR precision to 320
40.480 * * * * [points]: Computing exacts on every 21 of 2805 points to ramp up precision
40.484 * * * * [points]: Setting MPFR precision to 64
40.497 * * * * [points]: Setting MPFR precision to 320
40.507 * * * * [points]: Computing exacts on every 10 of 2805 points to ramp up precision
40.511 * * * * [points]: Setting MPFR precision to 64
40.569 * * * * [points]: Setting MPFR precision to 320
40.587 * * * * [points]: Computing exacts on every 5 of 2805 points to ramp up precision
40.592 * * * * [points]: Setting MPFR precision to 64
40.628 * * * * [points]: Setting MPFR precision to 320
40.687 * * * * [points]: Computing exacts on every 2 of 2805 points to ramp up precision
40.721 * * * * [points]: Setting MPFR precision to 64
40.848 * * * * [points]: Setting MPFR precision to 320
41.029 * * * * [points]: Computing exacts for 2805 points
41.039 * * * * [points]: Setting MPFR precision to 64
41.807 * * * * [points]: Setting MPFR precision to 320
42.114 * * * * [points]: Filtering points with unrepresentable outputs
42.115 * * * * [points]: Sampling 2409 additional inputs, on iter 8 have 5591 / 8000
42.125 * * * * [points]: Computing exacts on every 150 of 2409 points to ramp up precision
42.130 * * * * [points]: Setting MPFR precision to 64
42.131 * * * * [points]: Setting MPFR precision to 320
42.132 * * * * [points]: Computing exacts on every 75 of 2409 points to ramp up precision
42.137 * * * * [points]: Setting MPFR precision to 64
42.139 * * * * [points]: Setting MPFR precision to 320
42.142 * * * * [points]: Computing exacts on every 37 of 2409 points to ramp up precision
42.146 * * * * [points]: Setting MPFR precision to 64
42.151 * * * * [points]: Setting MPFR precision to 320
42.156 * * * * [points]: Computing exacts on every 18 of 2409 points to ramp up precision
42.161 * * * * [points]: Setting MPFR precision to 64
42.170 * * * * [points]: Setting MPFR precision to 320
42.180 * * * * [points]: Computing exacts on every 9 of 2409 points to ramp up precision
42.185 * * * * [points]: Setting MPFR precision to 64
42.228 * * * * [points]: Setting MPFR precision to 320
42.247 * * * * [points]: Computing exacts on every 4 of 2409 points to ramp up precision
42.251 * * * * [points]: Setting MPFR precision to 64
42.289 * * * * [points]: Setting MPFR precision to 320
42.326 * * * * [points]: Computing exacts on every 2 of 2409 points to ramp up precision
42.359 * * * * [points]: Setting MPFR precision to 64
42.422 * * * * [points]: Setting MPFR precision to 320
42.517 * * * * [points]: Computing exacts for 2409 points
42.524 * * * * [points]: Setting MPFR precision to 64
42.740 * * * * [points]: Setting MPFR precision to 320
42.989 * * * * [points]: Filtering points with unrepresentable outputs
42.990 * * * * [points]: Sampling 2067 additional inputs, on iter 9 have 5933 / 8000
42.998 * * * * [points]: Computing exacts on every 129 of 2067 points to ramp up precision
43.004 * * * * [points]: Setting MPFR precision to 64
43.005 * * * * [points]: Setting MPFR precision to 320
43.006 * * * * [points]: Computing exacts on every 64 of 2067 points to ramp up precision
43.011 * * * * [points]: Setting MPFR precision to 64
43.014 * * * * [points]: Setting MPFR precision to 320
43.016 * * * * [points]: Computing exacts on every 32 of 2067 points to ramp up precision
43.021 * * * * [points]: Setting MPFR precision to 64
43.025 * * * * [points]: Setting MPFR precision to 320
43.030 * * * * [points]: Computing exacts on every 16 of 2067 points to ramp up precision
43.035 * * * * [points]: Setting MPFR precision to 64
43.044 * * * * [points]: Setting MPFR precision to 320
43.076 * * * * [points]: Computing exacts on every 8 of 2067 points to ramp up precision
43.082 * * * * [points]: Setting MPFR precision to 64
43.102 * * * * [points]: Setting MPFR precision to 320
43.119 * * * * [points]: Computing exacts on every 4 of 2067 points to ramp up precision
43.124 * * * * [points]: Setting MPFR precision to 64
43.180 * * * * [points]: Setting MPFR precision to 320
43.285 * * * * [points]: Computing exacts on every 2 of 2067 points to ramp up precision
43.294 * * * * [points]: Setting MPFR precision to 64
43.394 * * * * [points]: Setting MPFR precision to 320
43.544 * * * * [points]: Computing exacts for 2067 points
43.553 * * * * [points]: Setting MPFR precision to 64
43.837 * * * * [points]: Setting MPFR precision to 320
44.023 * * * * [points]: Filtering points with unrepresentable outputs
44.025 * * * * [points]: Sampling 1762 additional inputs, on iter 10 have 6238 / 8000
44.032 * * * * [points]: Computing exacts on every 110 of 1762 points to ramp up precision
44.063 * * * * [points]: Setting MPFR precision to 64
44.065 * * * * [points]: Setting MPFR precision to 320
44.066 * * * * [points]: Computing exacts on every 55 of 1762 points to ramp up precision
44.070 * * * * [points]: Setting MPFR precision to 64
44.074 * * * * [points]: Setting MPFR precision to 320
44.077 * * * * [points]: Computing exacts on every 27 of 1762 points to ramp up precision
44.082 * * * * [points]: Setting MPFR precision to 64
44.087 * * * * [points]: Setting MPFR precision to 320
44.091 * * * * [points]: Computing exacts on every 13 of 1762 points to ramp up precision
44.097 * * * * [points]: Setting MPFR precision to 64
44.106 * * * * [points]: Setting MPFR precision to 320
44.116 * * * * [points]: Computing exacts on every 6 of 1762 points to ramp up precision
44.120 * * * * [points]: Setting MPFR precision to 64
44.139 * * * * [points]: Setting MPFR precision to 320
44.157 * * * * [points]: Computing exacts on every 3 of 1762 points to ramp up precision
44.573 * * * * [points]: Setting MPFR precision to 64
44.637 * * * * [points]: Setting MPFR precision to 320
44.697 * * * * [points]: Computing exacts for 1762 points
44.707 * * * * [points]: Setting MPFR precision to 64
44.900 * * * * [points]: Setting MPFR precision to 320
45.112 * * * * [points]: Filtering points with unrepresentable outputs
45.113 * * * * [points]: Sampling 1523 additional inputs, on iter 11 have 6477 / 8000
45.122 * * * * [points]: Computing exacts on every 95 of 1523 points to ramp up precision
45.127 * * * * [points]: Setting MPFR precision to 64
45.128 * * * * [points]: Setting MPFR precision to 320
45.130 * * * * [points]: Computing exacts on every 47 of 1523 points to ramp up precision
45.134 * * * * [points]: Setting MPFR precision to 64
45.136 * * * * [points]: Setting MPFR precision to 320
45.139 * * * * [points]: Computing exacts on every 23 of 1523 points to ramp up precision
45.143 * * * * [points]: Setting MPFR precision to 64
45.148 * * * * [points]: Setting MPFR precision to 320
45.154 * * * * [points]: Computing exacts on every 11 of 1523 points to ramp up precision
45.163 * * * * [points]: Setting MPFR precision to 64
45.182 * * * * [points]: Setting MPFR precision to 320
45.192 * * * * [points]: Computing exacts on every 5 of 1523 points to ramp up precision
45.197 * * * * [points]: Setting MPFR precision to 64
45.252 * * * * [points]: Setting MPFR precision to 320
45.290 * * * * [points]: Computing exacts on every 2 of 1523 points to ramp up precision
45.299 * * * * [points]: Setting MPFR precision to 64
45.371 * * * * [points]: Setting MPFR precision to 320
45.444 * * * * [points]: Computing exacts for 1523 points
45.451 * * * * [points]: Setting MPFR precision to 64
45.657 * * * * [points]: Setting MPFR precision to 320
45.945 * * * * [points]: Filtering points with unrepresentable outputs
45.947 * * * * [points]: Sampling 1295 additional inputs, on iter 12 have 6705 / 8000
45.960 * * * * [points]: Computing exacts on every 80 of 1295 points to ramp up precision
45.969 * * * * [points]: Setting MPFR precision to 64
45.972 * * * * [points]: Setting MPFR precision to 320
45.974 * * * * [points]: Computing exacts on every 40 of 1295 points to ramp up precision
45.983 * * * * [points]: Setting MPFR precision to 64
45.988 * * * * [points]: Setting MPFR precision to 320
45.992 * * * * [points]: Computing exacts on every 20 of 1295 points to ramp up precision
46.002 * * * * [points]: Setting MPFR precision to 64
46.011 * * * * [points]: Setting MPFR precision to 320
46.020 * * * * [points]: Computing exacts on every 10 of 1295 points to ramp up precision
46.030 * * * * [points]: Setting MPFR precision to 64
46.046 * * * * [points]: Setting MPFR precision to 320
46.063 * * * * [points]: Computing exacts on every 5 of 1295 points to ramp up precision
46.072 * * * * [points]: Setting MPFR precision to 64
46.102 * * * * [points]: Setting MPFR precision to 320
46.149 * * * * [points]: Computing exacts on every 2 of 1295 points to ramp up precision
46.159 * * * * [points]: Setting MPFR precision to 64
46.214 * * * * [points]: Setting MPFR precision to 320
46.245 * * * * [points]: Computing exacts for 1295 points
46.250 * * * * [points]: Setting MPFR precision to 64
46.375 * * * * [points]: Setting MPFR precision to 320
46.505 * * * * [points]: Filtering points with unrepresentable outputs
46.505 * * * * [points]: Sampling 1091 additional inputs, on iter 13 have 6909 / 8000
46.510 * * * * [points]: Computing exacts on every 68 of 1091 points to ramp up precision
46.515 * * * * [points]: Setting MPFR precision to 64
46.516 * * * * [points]: Setting MPFR precision to 320
46.517 * * * * [points]: Computing exacts on every 34 of 1091 points to ramp up precision
46.522 * * * * [points]: Setting MPFR precision to 64
46.525 * * * * [points]: Setting MPFR precision to 320
46.527 * * * * [points]: Computing exacts on every 17 of 1091 points to ramp up precision
46.531 * * * * [points]: Setting MPFR precision to 64
46.536 * * * * [points]: Setting MPFR precision to 320
46.541 * * * * [points]: Computing exacts on every 8 of 1091 points to ramp up precision
46.546 * * * * [points]: Setting MPFR precision to 64
46.578 * * * * [points]: Setting MPFR precision to 320
46.592 * * * * [points]: Computing exacts on every 4 of 1091 points to ramp up precision
46.597 * * * * [points]: Setting MPFR precision to 64
46.613 * * * * [points]: Setting MPFR precision to 320
46.630 * * * * [points]: Computing exacts on every 2 of 1091 points to ramp up precision
46.634 * * * * [points]: Setting MPFR precision to 64
46.673 * * * * [points]: Setting MPFR precision to 320
46.771 * * * * [points]: Computing exacts for 1091 points
46.781 * * * * [points]: Setting MPFR precision to 64
46.932 * * * * [points]: Setting MPFR precision to 320
47.138 * * * * [points]: Filtering points with unrepresentable outputs
47.139 * * * * [points]: Sampling 943 additional inputs, on iter 14 have 7057 / 8000
47.146 * * * * [points]: Computing exacts on every 58 of 943 points to ramp up precision
47.156 * * * * [points]: Setting MPFR precision to 64
47.158 * * * * [points]: Setting MPFR precision to 320
47.160 * * * * [points]: Computing exacts on every 29 of 943 points to ramp up precision
47.169 * * * * [points]: Setting MPFR precision to 64
47.174 * * * * [points]: Setting MPFR precision to 320
47.178 * * * * [points]: Computing exacts on every 14 of 943 points to ramp up precision
47.188 * * * * [points]: Setting MPFR precision to 64
47.197 * * * * [points]: Setting MPFR precision to 320
47.246 * * * * [points]: Computing exacts on every 7 of 943 points to ramp up precision
47.258 * * * * [points]: Setting MPFR precision to 64
47.275 * * * * [points]: Setting MPFR precision to 320
47.291 * * * * [points]: Computing exacts on every 3 of 943 points to ramp up precision
47.300 * * * * [points]: Setting MPFR precision to 64
47.335 * * * * [points]: Setting MPFR precision to 320
47.368 * * * * [points]: Computing exacts for 943 points
47.377 * * * * [points]: Setting MPFR precision to 64
47.553 * * * * [points]: Setting MPFR precision to 320
47.686 * * * * [points]: Filtering points with unrepresentable outputs
47.687 * * * * [points]: Sampling 803 additional inputs, on iter 15 have 7197 / 8000
47.693 * * * * [points]: Computing exacts on every 50 of 803 points to ramp up precision
48.188 * * * * [points]: Setting MPFR precision to 64
48.194 * * * * [points]: Setting MPFR precision to 320
48.196 * * * * [points]: Computing exacts on every 25 of 803 points to ramp up precision
48.205 * * * * [points]: Setting MPFR precision to 64
48.210 * * * * [points]: Setting MPFR precision to 320
48.214 * * * * [points]: Computing exacts on every 12 of 803 points to ramp up precision
48.223 * * * * [points]: Setting MPFR precision to 64
48.232 * * * * [points]: Setting MPFR precision to 320
48.237 * * * * [points]: Computing exacts on every 6 of 803 points to ramp up precision
48.241 * * * * [points]: Setting MPFR precision to 64
48.250 * * * * [points]: Setting MPFR precision to 320
48.259 * * * * [points]: Computing exacts on every 3 of 803 points to ramp up precision
48.267 * * * * [points]: Setting MPFR precision to 64
48.295 * * * * [points]: Setting MPFR precision to 320
48.313 * * * * [points]: Computing exacts for 803 points
48.317 * * * * [points]: Setting MPFR precision to 64
48.458 * * * * [points]: Setting MPFR precision to 320
48.617 * * * * [points]: Filtering points with unrepresentable outputs
48.618 * * * * [points]: Sampling 693 additional inputs, on iter 16 have 7307 / 8000
48.627 * * * * [points]: Computing exacts on every 43 of 693 points to ramp up precision
48.636 * * * * [points]: Setting MPFR precision to 64
48.638 * * * * [points]: Setting MPFR precision to 320
48.640 * * * * [points]: Computing exacts on every 21 of 693 points to ramp up precision
48.649 * * * * [points]: Setting MPFR precision to 64
48.653 * * * * [points]: Setting MPFR precision to 320
48.657 * * * * [points]: Computing exacts on every 10 of 693 points to ramp up precision
48.666 * * * * [points]: Setting MPFR precision to 64
48.674 * * * * [points]: Setting MPFR precision to 320
48.682 * * * * [points]: Computing exacts on every 5 of 693 points to ramp up precision
48.691 * * * * [points]: Setting MPFR precision to 64
48.706 * * * * [points]: Setting MPFR precision to 320
48.721 * * * * [points]: Computing exacts on every 2 of 693 points to ramp up precision
48.730 * * * * [points]: Setting MPFR precision to 64
48.762 * * * * [points]: Setting MPFR precision to 320
48.827 * * * * [points]: Computing exacts for 693 points
48.836 * * * * [points]: Setting MPFR precision to 64
48.926 * * * * [points]: Setting MPFR precision to 320
49.040 * * * * [points]: Filtering points with unrepresentable outputs
49.041 * * * * [points]: Sampling 602 additional inputs, on iter 17 have 7398 / 8000
49.046 * * * * [points]: Computing exacts on every 37 of 602 points to ramp up precision
49.056 * * * * [points]: Setting MPFR precision to 64
49.059 * * * * [points]: Setting MPFR precision to 320
49.061 * * * * [points]: Computing exacts on every 18 of 602 points to ramp up precision
49.070 * * * * [points]: Setting MPFR precision to 64
49.074 * * * * [points]: Setting MPFR precision to 320
49.079 * * * * [points]: Computing exacts on every 9 of 602 points to ramp up precision
49.088 * * * * [points]: Setting MPFR precision to 64
49.096 * * * * [points]: Setting MPFR precision to 320
49.104 * * * * [points]: Computing exacts on every 4 of 602 points to ramp up precision
49.113 * * * * [points]: Setting MPFR precision to 64
49.130 * * * * [points]: Setting MPFR precision to 320
49.146 * * * * [points]: Computing exacts on every 2 of 602 points to ramp up precision
49.155 * * * * [points]: Setting MPFR precision to 64
49.182 * * * * [points]: Setting MPFR precision to 320
49.229 * * * * [points]: Computing exacts for 602 points
49.235 * * * * [points]: Setting MPFR precision to 64
49.289 * * * * [points]: Setting MPFR precision to 320
49.334 * * * * [points]: Filtering points with unrepresentable outputs
49.335 * * * * [points]: Sampling 528 additional inputs, on iter 18 have 7472 / 8000
49.337 * * * * [points]: Computing exacts on every 33 of 528 points to ramp up precision
49.341 * * * * [points]: Setting MPFR precision to 64
49.374 * * * * [points]: Setting MPFR precision to 320
49.377 * * * * [points]: Computing exacts on every 16 of 528 points to ramp up precision
49.390 * * * * [points]: Setting MPFR precision to 64
49.394 * * * * [points]: Setting MPFR precision to 320
49.399 * * * * [points]: Computing exacts on every 8 of 528 points to ramp up precision
49.408 * * * * [points]: Setting MPFR precision to 64
49.416 * * * * [points]: Setting MPFR precision to 320
49.424 * * * * [points]: Computing exacts on every 4 of 528 points to ramp up precision
49.431 * * * * [points]: Setting MPFR precision to 64
49.439 * * * * [points]: Setting MPFR precision to 320
49.446 * * * * [points]: Computing exacts on every 2 of 528 points to ramp up precision
49.451 * * * * [points]: Setting MPFR precision to 64
49.464 * * * * [points]: Setting MPFR precision to 320
49.476 * * * * [points]: Computing exacts for 528 points
49.480 * * * * [points]: Setting MPFR precision to 64
49.562 * * * * [points]: Setting MPFR precision to 320
49.600 * * * * [points]: Filtering points with unrepresentable outputs
49.601 * * * * [points]: Sampling 455 additional inputs, on iter 19 have 7545 / 8000
49.604 * * * * [points]: Computing exacts on every 28 of 455 points to ramp up precision
49.613 * * * * [points]: Setting MPFR precision to 64
49.615 * * * * [points]: Setting MPFR precision to 320
49.617 * * * * [points]: Computing exacts on every 14 of 455 points to ramp up precision
49.626 * * * * [points]: Setting MPFR precision to 64
49.631 * * * * [points]: Setting MPFR precision to 320
49.635 * * * * [points]: Computing exacts on every 7 of 455 points to ramp up precision
49.644 * * * * [points]: Setting MPFR precision to 64
49.651 * * * * [points]: Setting MPFR precision to 320
49.659 * * * * [points]: Computing exacts on every 3 of 455 points to ramp up precision
49.706 * * * * [points]: Setting MPFR precision to 64
49.716 * * * * [points]: Setting MPFR precision to 320
49.724 * * * * [points]: Computing exacts for 455 points
49.728 * * * * [points]: Setting MPFR precision to 64
49.775 * * * * [points]: Setting MPFR precision to 320
49.815 * * * * [points]: Filtering points with unrepresentable outputs
49.816 * * * * [points]: Sampling 393 additional inputs, on iter 20 have 7607 / 8000
49.818 * * * * [points]: Computing exacts on every 24 of 393 points to ramp up precision
49.827 * * * * [points]: Setting MPFR precision to 64
49.829 * * * * [points]: Setting MPFR precision to 320
49.869 * * * * [points]: Computing exacts on every 12 of 393 points to ramp up precision
49.881 * * * * [points]: Setting MPFR precision to 64
49.885 * * * * [points]: Setting MPFR precision to 320
49.890 * * * * [points]: Computing exacts on every 6 of 393 points to ramp up precision
49.898 * * * * [points]: Setting MPFR precision to 64
49.902 * * * * [points]: Setting MPFR precision to 320
49.906 * * * * [points]: Computing exacts on every 3 of 393 points to ramp up precision
49.910 * * * * [points]: Setting MPFR precision to 64
49.917 * * * * [points]: Setting MPFR precision to 320
49.924 * * * * [points]: Computing exacts for 393 points
49.928 * * * * [points]: Setting MPFR precision to 64
49.971 * * * * [points]: Setting MPFR precision to 320
50.045 * * * * [points]: Filtering points with unrepresentable outputs
50.045 * * * * [points]: Sampling 345 additional inputs, on iter 21 have 7655 / 8000
50.048 * * * * [points]: Computing exacts on every 21 of 345 points to ramp up precision
50.055 * * * * [points]: Setting MPFR precision to 64
50.058 * * * * [points]: Setting MPFR precision to 320
50.060 * * * * [points]: Computing exacts on every 10 of 345 points to ramp up precision
50.068 * * * * [points]: Setting MPFR precision to 64
50.072 * * * * [points]: Setting MPFR precision to 320
50.076 * * * * [points]: Computing exacts on every 5 of 345 points to ramp up precision
50.083 * * * * [points]: Setting MPFR precision to 64
50.091 * * * * [points]: Setting MPFR precision to 320
50.098 * * * * [points]: Computing exacts on every 2 of 345 points to ramp up precision
50.105 * * * * [points]: Setting MPFR precision to 64
50.120 * * * * [points]: Setting MPFR precision to 320
50.134 * * * * [points]: Computing exacts for 345 points
50.141 * * * * [points]: Setting MPFR precision to 64
50.206 * * * * [points]: Setting MPFR precision to 320
50.251 * * * * [points]: Filtering points with unrepresentable outputs
50.252 * * * * [points]: Sampling 291 additional inputs, on iter 22 have 7709 / 8000
50.254 * * * * [points]: Computing exacts on every 18 of 291 points to ramp up precision
50.262 * * * * [points]: Setting MPFR precision to 64
50.264 * * * * [points]: Setting MPFR precision to 320
50.266 * * * * [points]: Computing exacts on every 9 of 291 points to ramp up precision
50.274 * * * * [points]: Setting MPFR precision to 64
50.278 * * * * [points]: Setting MPFR precision to 320
50.282 * * * * [points]: Computing exacts on every 4 of 291 points to ramp up precision
50.290 * * * * [points]: Setting MPFR precision to 64
50.297 * * * * [points]: Setting MPFR precision to 320
50.305 * * * * [points]: Computing exacts on every 2 of 291 points to ramp up precision
50.311 * * * * [points]: Setting MPFR precision to 64
50.318 * * * * [points]: Setting MPFR precision to 320
50.328 * * * * [points]: Computing exacts for 291 points
50.336 * * * * [points]: Setting MPFR precision to 64
50.407 * * * * [points]: Setting MPFR precision to 320
50.444 * * * * [points]: Filtering points with unrepresentable outputs
50.444 * * * * [points]: Sampling 248 additional inputs, on iter 23 have 7752 / 8000
50.446 * * * * [points]: Computing exacts on every 15 of 248 points to ramp up precision
50.455 * * * * [points]: Setting MPFR precision to 64
50.457 * * * * [points]: Setting MPFR precision to 320
50.459 * * * * [points]: Computing exacts on every 7 of 248 points to ramp up precision
50.467 * * * * [points]: Setting MPFR precision to 64
50.471 * * * * [points]: Setting MPFR precision to 320
50.475 * * * * [points]: Computing exacts on every 3 of 248 points to ramp up precision
50.484 * * * * [points]: Setting MPFR precision to 64
50.492 * * * * [points]: Setting MPFR precision to 320
50.501 * * * * [points]: Computing exacts for 248 points
50.509 * * * * [points]: Setting MPFR precision to 64
50.540 * * * * [points]: Setting MPFR precision to 320
50.610 * * * * [points]: Filtering points with unrepresentable outputs
50.611 * * * * [points]: Sampling 210 additional inputs, on iter 24 have 7790 / 8000
50.612 * * * * [points]: Computing exacts on every 13 of 210 points to ramp up precision
50.621 * * * * [points]: Setting MPFR precision to 64
50.623 * * * * [points]: Setting MPFR precision to 320
50.625 * * * * [points]: Computing exacts on every 6 of 210 points to ramp up precision
50.634 * * * * [points]: Setting MPFR precision to 64
50.637 * * * * [points]: Setting MPFR precision to 320
50.641 * * * * [points]: Computing exacts on every 3 of 210 points to ramp up precision
50.647 * * * * [points]: Setting MPFR precision to 64
50.651 * * * * [points]: Setting MPFR precision to 320
50.655 * * * * [points]: Computing exacts for 210 points
50.660 * * * * [points]: Setting MPFR precision to 64
50.675 * * * * [points]: Setting MPFR precision to 320
50.690 * * * * [points]: Filtering points with unrepresentable outputs
50.691 * * * * [points]: Sampling 180 additional inputs, on iter 25 have 7820 / 8000
50.691 * * * * [points]: Computing exacts on every 11 of 180 points to ramp up precision
50.696 * * * * [points]: Setting MPFR precision to 64
50.698 * * * * [points]: Setting MPFR precision to 320
50.699 * * * * [points]: Computing exacts on every 5 of 180 points to ramp up precision
50.704 * * * * [points]: Setting MPFR precision to 64
50.727 * * * * [points]: Setting MPFR precision to 320
50.729 * * * * [points]: Computing exacts on every 2 of 180 points to ramp up precision
50.734 * * * * [points]: Setting MPFR precision to 64
50.740 * * * * [points]: Setting MPFR precision to 320
50.744 * * * * [points]: Computing exacts for 180 points
50.749 * * * * [points]: Setting MPFR precision to 64
50.763 * * * * [points]: Setting MPFR precision to 320
50.776 * * * * [points]: Filtering points with unrepresentable outputs
50.776 * * * * [points]: Sampling 156 additional inputs, on iter 26 have 7844 / 8000
50.776 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision
50.781 * * * * [points]: Setting MPFR precision to 64
50.782 * * * * [points]: Setting MPFR precision to 320
50.783 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision
50.788 * * * * [points]: Setting MPFR precision to 64
50.790 * * * * [points]: Setting MPFR precision to 320
50.793 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision
50.797 * * * * [points]: Setting MPFR precision to 64
50.801 * * * * [points]: Setting MPFR precision to 320
50.805 * * * * [points]: Computing exacts for 156 points
50.809 * * * * [points]: Setting MPFR precision to 64
50.841 * * * * [points]: Setting MPFR precision to 320
50.854 * * * * [points]: Filtering points with unrepresentable outputs
50.854 * * * * [points]: Sampling 135 additional inputs, on iter 27 have 7865 / 8000
50.855 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
50.860 * * * * [points]: Setting MPFR precision to 64
50.861 * * * * [points]: Setting MPFR precision to 320
50.863 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
50.868 * * * * [points]: Setting MPFR precision to 64
50.870 * * * * [points]: Setting MPFR precision to 320
50.872 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
50.876 * * * * [points]: Setting MPFR precision to 64
50.880 * * * * [points]: Setting MPFR precision to 320
50.883 * * * * [points]: Computing exacts for 135 points
50.888 * * * * [points]: Setting MPFR precision to 64
50.898 * * * * [points]: Setting MPFR precision to 320
50.908 * * * * [points]: Filtering points with unrepresentable outputs
50.908 * * * * [points]: Sampling 115 additional inputs, on iter 28 have 7885 / 8000
50.908 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
50.913 * * * * [points]: Setting MPFR precision to 64
50.914 * * * * [points]: Setting MPFR precision to 320
50.915 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
50.920 * * * * [points]: Setting MPFR precision to 64
50.922 * * * * [points]: Setting MPFR precision to 320
50.924 * * * * [points]: Computing exacts for 115 points
50.952 * * * * [points]: Setting MPFR precision to 64
50.962 * * * * [points]: Setting MPFR precision to 320
50.971 * * * * [points]: Filtering points with unrepresentable outputs
50.971 * * * * [points]: Sampling 98 additional inputs, on iter 29 have 7902 / 8000
50.972 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
50.976 * * * * [points]: Setting MPFR precision to 64
50.977 * * * * [points]: Setting MPFR precision to 320
50.978 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
50.983 * * * * [points]: Setting MPFR precision to 64
50.985 * * * * [points]: Setting MPFR precision to 320
50.987 * * * * [points]: Computing exacts for 98 points
50.991 * * * * [points]: Setting MPFR precision to 64
50.999 * * * * [points]: Setting MPFR precision to 320
51.005 * * * * [points]: Filtering points with unrepresentable outputs
51.006 * * * * [points]: Sampling 89 additional inputs, on iter 30 have 7911 / 8000
51.006 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
51.011 * * * * [points]: Setting MPFR precision to 64
51.012 * * * * [points]: Setting MPFR precision to 320
51.013 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
51.018 * * * * [points]: Setting MPFR precision to 64
51.022 * * * * [points]: Setting MPFR precision to 320
51.026 * * * * [points]: Computing exacts for 89 points
51.035 * * * * [points]: Setting MPFR precision to 64
51.047 * * * * [points]: Setting MPFR precision to 320
51.077 * * * * [points]: Filtering points with unrepresentable outputs
51.077 * * * * [points]: Sampling 77 additional inputs, on iter 31 have 7923 / 8000
51.078 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
51.090 * * * * [points]: Setting MPFR precision to 64
51.092 * * * * [points]: Setting MPFR precision to 320
51.094 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
51.098 * * * * [points]: Setting MPFR precision to 64
51.100 * * * * [points]: Setting MPFR precision to 320
51.102 * * * * [points]: Computing exacts for 77 points
51.106 * * * * [points]: Setting MPFR precision to 64
51.112 * * * * [points]: Setting MPFR precision to 320
51.118 * * * * [points]: Filtering points with unrepresentable outputs
51.118 * * * * [points]: Sampling 60 additional inputs, on iter 32 have 7940 / 8000
51.118 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
51.123 * * * * [points]: Setting MPFR precision to 64
51.124 * * * * [points]: Setting MPFR precision to 320
51.125 * * * * [points]: Computing exacts for 60 points
51.130 * * * * [points]: Setting MPFR precision to 64
51.135 * * * * [points]: Setting MPFR precision to 320
51.139 * * * * [points]: Filtering points with unrepresentable outputs
51.139 * * * * [points]: Sampling 54 additional inputs, on iter 33 have 7946 / 8000
51.140 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
51.144 * * * * [points]: Setting MPFR precision to 64
51.146 * * * * [points]: Setting MPFR precision to 320
51.148 * * * * [points]: Computing exacts for 54 points
51.157 * * * * [points]: Setting MPFR precision to 64
51.165 * * * * [points]: Setting MPFR precision to 320
51.172 * * * * [points]: Filtering points with unrepresentable outputs
51.172 * * * * [points]: Sampling 49 additional inputs, on iter 34 have 7951 / 8000
51.173 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
51.181 * * * * [points]: Setting MPFR precision to 64
51.183 * * * * [points]: Setting MPFR precision to 320
51.205 * * * * [points]: Computing exacts for 49 points
51.210 * * * * [points]: Setting MPFR precision to 64
51.214 * * * * [points]: Setting MPFR precision to 320
51.219 * * * * [points]: Filtering points with unrepresentable outputs
51.219 * * * * [points]: Sampling 44 additional inputs, on iter 35 have 7956 / 8000
51.219 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
51.224 * * * * [points]: Setting MPFR precision to 64
51.225 * * * * [points]: Setting MPFR precision to 320
51.226 * * * * [points]: Computing exacts for 44 points
51.232 * * * * [points]: Setting MPFR precision to 64
51.238 * * * * [points]: Setting MPFR precision to 320
51.243 * * * * [points]: Filtering points with unrepresentable outputs
51.243 * * * * [points]: Sampling 43 additional inputs, on iter 36 have 7957 / 8000
51.244 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
51.253 * * * * [points]: Setting MPFR precision to 64
51.255 * * * * [points]: Setting MPFR precision to 320
51.257 * * * * [points]: Computing exacts for 43 points
51.265 * * * * [points]: Setting MPFR precision to 64
51.271 * * * * [points]: Setting MPFR precision to 320
51.277 * * * * [points]: Filtering points with unrepresentable outputs
51.277 * * * * [points]: Sampling 40 additional inputs, on iter 37 have 7960 / 8000
51.277 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
51.282 * * * * [points]: Setting MPFR precision to 64
51.283 * * * * [points]: Setting MPFR precision to 320
51.284 * * * * [points]: Computing exacts for 40 points
51.288 * * * * [points]: Setting MPFR precision to 64
51.291 * * * * [points]: Setting MPFR precision to 320
51.294 * * * * [points]: Filtering points with unrepresentable outputs
51.294 * * * * [points]: Sampling 36 additional inputs, on iter 38 have 7964 / 8000
51.294 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
51.299 * * * * [points]: Setting MPFR precision to 64
51.300 * * * * [points]: Setting MPFR precision to 320
51.301 * * * * [points]: Computing exacts for 36 points
51.306 * * * * [points]: Setting MPFR precision to 64
51.332 * * * * [points]: Setting MPFR precision to 320
51.336 * * * * [points]: Filtering points with unrepresentable outputs
51.336 * * * * [points]: Sampling 30 additional inputs, on iter 39 have 7970 / 8000
51.336 * * * * [points]: Computing exacts for 30 points
51.346 * * * * [points]: Setting MPFR precision to 64
51.349 * * * * [points]: Setting MPFR precision to 320
51.351 * * * * [points]: Filtering points with unrepresentable outputs
51.351 * * * * [points]: Sampling 26 additional inputs, on iter 40 have 7974 / 8000
51.351 * * * * [points]: Computing exacts for 26 points
51.355 * * * * [points]: Setting MPFR precision to 64
51.357 * * * * [points]: Setting MPFR precision to 320
51.359 * * * * [points]: Filtering points with unrepresentable outputs
51.359 * * * * [points]: Sampling 24 additional inputs, on iter 41 have 7976 / 8000
51.359 * * * * [points]: Computing exacts for 24 points
51.364 * * * * [points]: Setting MPFR precision to 64
51.366 * * * * [points]: Setting MPFR precision to 320
51.369 * * * * [points]: Filtering points with unrepresentable outputs
51.369 * * * * [points]: Sampling 23 additional inputs, on iter 42 have 7977 / 8000
51.369 * * * * [points]: Computing exacts for 23 points
51.377 * * * * [points]: Setting MPFR precision to 64
51.380 * * * * [points]: Setting MPFR precision to 320
51.383 * * * * [points]: Filtering points with unrepresentable outputs
51.383 * * * * [points]: Sampling 20 additional inputs, on iter 43 have 7980 / 8000
51.384 * * * * [points]: Computing exacts for 20 points
51.391 * * * * [points]: Setting MPFR precision to 64
51.394 * * * * [points]: Setting MPFR precision to 320
51.396 * * * * [points]: Filtering points with unrepresentable outputs
51.396 * * * * [points]: Sampling 17 additional inputs, on iter 44 have 7983 / 8000
51.397 * * * * [points]: Computing exacts for 17 points
51.403 * * * * [points]: Setting MPFR precision to 64
51.405 * * * * [points]: Setting MPFR precision to 320
51.407 * * * * [points]: Filtering points with unrepresentable outputs
51.407 * * * * [points]: Sampling 15 additional inputs, on iter 45 have 7985 / 8000
51.407 * * * * [points]: Computing exacts for 15 points
51.415 * * * * [points]: Setting MPFR precision to 64
51.417 * * * * [points]: Setting MPFR precision to 320
51.419 * * * * [points]: Filtering points with unrepresentable outputs
51.419 * * * * [points]: Sampling 15 additional inputs, on iter 46 have 7985 / 8000
51.419 * * * * [points]: Computing exacts for 15 points
51.427 * * * * [points]: Setting MPFR precision to 64
51.429 * * * * [points]: Setting MPFR precision to 320
51.431 * * * * [points]: Filtering points with unrepresentable outputs
51.431 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
51.431 * * * * [points]: Computing exacts for 14 points
51.439 * * * * [points]: Setting MPFR precision to 64
51.441 * * * * [points]: Setting MPFR precision to 320
51.443 * * * * [points]: Filtering points with unrepresentable outputs
51.443 * * * * [points]: Sampling 11 additional inputs, on iter 48 have 7989 / 8000
51.443 * * * * [points]: Computing exacts for 11 points
51.792 * * * * [points]: Setting MPFR precision to 64
51.793 * * * * [points]: Setting MPFR precision to 320
51.795 * * * * [points]: Filtering points with unrepresentable outputs
51.795 * * * * [points]: Sampling 10 additional inputs, on iter 49 have 7990 / 8000
51.795 * * * * [points]: Computing exacts for 10 points
51.805 * * * * [points]: Setting MPFR precision to 64
51.807 * * * * [points]: Setting MPFR precision to 320
51.808 * * * * [points]: Filtering points with unrepresentable outputs
51.808 * * * * [points]: Sampling 7 additional inputs, on iter 50 have 7993 / 8000
51.808 * * * * [points]: Computing exacts for 7 points
51.816 * * * * [points]: Setting MPFR precision to 64
51.816 * * * * [points]: Setting MPFR precision to 320
51.817 * * * * [points]: Filtering points with unrepresentable outputs
51.817 * * * * [points]: Sampling 5 additional inputs, on iter 51 have 7995 / 8000
51.817 * * * * [points]: Computing exacts for 5 points
51.821 * * * * [points]: Setting MPFR precision to 64
51.822 * * * * [points]: Setting MPFR precision to 320
51.822 * * * * [points]: Filtering points with unrepresentable outputs
51.822 * * * * [points]: Sampling 5 additional inputs, on iter 52 have 7995 / 8000
51.823 * * * * [points]: Computing exacts for 5 points
51.827 * * * * [points]: Setting MPFR precision to 64
51.827 * * * * [points]: Setting MPFR precision to 320
51.828 * * * * [points]: Filtering points with unrepresentable outputs
51.828 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
51.828 * * * * [points]: Computing exacts for 5 points
51.832 * * * * [points]: Setting MPFR precision to 64
51.833 * * * * [points]: Setting MPFR precision to 320
51.833 * * * * [points]: Filtering points with unrepresentable outputs
51.833 * * * * [points]: Sampling 5 additional inputs, on iter 54 have 7995 / 8000
51.833 * * * * [points]: Computing exacts for 5 points
51.838 * * * * [points]: Setting MPFR precision to 64
51.838 * * * * [points]: Setting MPFR precision to 320
51.839 * * * * [points]: Filtering points with unrepresentable outputs
51.839 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7996 / 8000
51.839 * * * * [points]: Computing exacts for 4 points
51.845 * * * * [points]: Setting MPFR precision to 64
51.845 * * * * [points]: Setting MPFR precision to 320
51.846 * * * * [points]: Filtering points with unrepresentable outputs
51.846 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
51.846 * * * * [points]: Computing exacts for 4 points
51.854 * * * * [points]: Setting MPFR precision to 64
51.855 * * * * [points]: Setting MPFR precision to 320
51.855 * * * * [points]: Filtering points with unrepresentable outputs
51.856 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7996 / 8000
51.856 * * * * [points]: Computing exacts for 4 points
51.863 * * * * [points]: Setting MPFR precision to 64
51.864 * * * * [points]: Setting MPFR precision to 320
51.865 * * * * [points]: Filtering points with unrepresentable outputs
51.865 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7996 / 8000
51.865 * * * * [points]: Computing exacts for 4 points
51.872 * * * * [points]: Setting MPFR precision to 64
51.873 * * * * [points]: Setting MPFR precision to 320
51.874 * * * * [points]: Filtering points with unrepresentable outputs
51.874 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7996 / 8000
51.874 * * * * [points]: Computing exacts for 4 points
51.882 * * * * [points]: Setting MPFR precision to 64
51.883 * * * * [points]: Setting MPFR precision to 320
51.883 * * * * [points]: Filtering points with unrepresentable outputs
51.883 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7996 / 8000
51.883 * * * * [points]: Computing exacts for 4 points
51.906 * * * * [points]: Setting MPFR precision to 64
51.909 * * * * [points]: Setting MPFR precision to 320
51.910 * * * * [points]: Filtering points with unrepresentable outputs
51.910 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7996 / 8000
51.910 * * * * [points]: Computing exacts for 4 points
51.918 * * * * [points]: Setting MPFR precision to 64
51.919 * * * * [points]: Setting MPFR precision to 320
51.920 * * * * [points]: Filtering points with unrepresentable outputs
51.920 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7997 / 8000
51.920 * * * * [points]: Computing exacts for 4 points
51.928 * * * * [points]: Setting MPFR precision to 64
51.928 * * * * [points]: Setting MPFR precision to 320
51.929 * * * * [points]: Filtering points with unrepresentable outputs
51.929 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7997 / 8000
51.929 * * * * [points]: Computing exacts for 4 points
51.937 * * * * [points]: Setting MPFR precision to 64
51.938 * * * * [points]: Setting MPFR precision to 320
51.939 * * * * [points]: Filtering points with unrepresentable outputs
51.939 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7997 / 8000
51.939 * * * * [points]: Computing exacts for 4 points
51.947 * * * * [points]: Setting MPFR precision to 64
51.948 * * * * [points]: Setting MPFR precision to 320
51.948 * * * * [points]: Filtering points with unrepresentable outputs
51.949 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7997 / 8000
51.949 * * * * [points]: Computing exacts for 4 points
51.957 * * * * [points]: Setting MPFR precision to 64
51.958 * * * * [points]: Setting MPFR precision to 320
51.958 * * * * [points]: Filtering points with unrepresentable outputs
51.958 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7998 / 8000
51.958 * * * * [points]: Computing exacts for 4 points
51.964 * * * * [points]: Setting MPFR precision to 64
51.964 * * * * [points]: Setting MPFR precision to 320
51.965 * * * * [points]: Filtering points with unrepresentable outputs
51.965 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7999 / 8000
51.965 * * * * [points]: Computing exacts for 4 points
51.969 * * * * [points]: Setting MPFR precision to 64
51.969 * * * * [points]: Setting MPFR precision to 320
51.970 * * * * [points]: Filtering points with unrepresentable outputs
51.970 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7999 / 8000
51.970 * * * * [points]: Computing exacts for 4 points
51.974 * * * * [points]: Setting MPFR precision to 64
51.975 * * * * [points]: Setting MPFR precision to 320
51.975 * * * * [points]: Filtering points with unrepresentable outputs
51.975 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
51.975 * * * * [points]: Computing exacts for 4 points
51.979 * * * * [points]: Setting MPFR precision to 64
51.980 * * * * [points]: Setting MPFR precision to 320
51.980 * * * * [points]: Filtering points with unrepresentable outputs
51.980 * * * * [points]: Sampled 8000 points with exact outputs
65.368 * [regime-testing]: Baseline error score: 64.0
65.375 * [regime-testing]: Oracle error score: 64.0
65.389 * [regime-testing]: End program error score: 1.4738512558504357