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.005 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.013 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.022 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.032 * * * * [points]: Setting MPFR precision to 320
0.037 * * * * [points]: Computing exacts for 256 points
0.040 * * * * [points]: Setting MPFR precision to 64
0.053 * * * * [points]: Setting MPFR precision to 320
0.068 * * * * [points]: Filtering points with unrepresentable outputs
0.068 * * * * [points]: Sampling 101 additional inputs, on iter 1 have 155 / 256
0.069 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision
0.072 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.074 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision
0.077 * * * * [points]: Setting MPFR precision to 64
0.078 * * * * [points]: Setting MPFR precision to 320
0.080 * * * * [points]: Computing exacts for 101 points
0.083 * * * * [points]: Setting MPFR precision to 64
0.088 * * * * [points]: Setting MPFR precision to 320
0.093 * * * * [points]: Filtering points with unrepresentable outputs
0.093 * * * * [points]: Sampling 43 additional inputs, on iter 2 have 213 / 256
0.094 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.097 * * * * [points]: Setting MPFR precision to 64
0.097 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts for 43 points
0.101 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Filtering points with unrepresentable outputs
0.124 * * * * [points]: Sampling 14 additional inputs, on iter 3 have 242 / 256
0.124 * * * * [points]: Computing exacts for 14 points
0.127 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Filtering points with unrepresentable outputs
0.129 * * * * [points]: Sampling 7 additional inputs, on iter 4 have 249 / 256
0.129 * * * * [points]: Computing exacts for 7 points
0.132 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Filtering points with unrepresentable outputs
0.133 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256
0.133 * * * * [points]: Computing exacts for 4 points
0.136 * * * * [points]: Setting MPFR precision to 64
0.136 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Filtering points with unrepresentable outputs
0.137 * * * * [points]: Sampled 256 points with exact outputs
0.137 * * * [progress]: [2/2] Setting up program.
0.149 * [progress]: [Phase 2 of 3] Improving.
0.149 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.149 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
0.150 * * [simplify]: iteration 1: (12 enodes)
0.153 * * [simplify]: iteration 2: (29 enodes)
0.158 * * [simplify]: iteration 3: (46 enodes)
0.166 * * [simplify]: iteration 4: (97 enodes)
0.189 * * [simplify]: iteration 5: (335 enodes)
0.451 * * [simplify]: iteration 6: (1742 enodes)
17.229 * * [simplify]: Extracting #0: cost 1 inf + 0
17.229 * * [simplify]: Extracting #1: cost 3 inf + 0
17.229 * * [simplify]: Extracting #2: cost 12 inf + 0
17.230 * * [simplify]: Extracting #3: cost 288 inf + 1
17.237 * * [simplify]: Extracting #4: cost 2458 inf + 4
17.261 * * [simplify]: Extracting #5: cost 3760 inf + 156794
17.461 * * [simplify]: Extracting #6: cost 1636 inf + 3674161
17.955 * * [simplify]: Extracting #7: cost 44 inf + 6594597
18.495 * * [simplify]: Extracting #8: cost 0 inf + 6635954
19.000 * * [simplify]: Extracting #9: cost 0 inf + 6633914
19.530 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0))
19.557 * * [progress]: iteration 1 / 4
19.557 * * * [progress]: picking best candidate
19.582 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.582 * * * [progress]: localizing error
19.862 * * * [progress]: generating rewritten candidates
19.862 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
19.877 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
19.891 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
19.906 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
19.924 * * * [progress]: generating series expansions
19.924 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
19.924 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
19.924 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
19.924 * * * * [progress]: [ 4 / 4 ] generating series at (2)
19.924 * * * [progress]: simplifying candidates
19.924 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.924 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))>
19.924 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.924 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.924 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.924 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.925 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.925 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
19.925 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)), (+.p16 beta (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
19.925 * * [simplify]: iteration 1: (15 enodes)
19.934 * * [simplify]: iteration 2: (38 enodes)
19.948 * * [simplify]: iteration 3: (94 enodes)
19.993 * * [simplify]: iteration 4: (247 enodes)
20.105 * * [simplify]: iteration 5: (770 enodes)
20.916 * * [simplify]: Extracting #0: cost 3 inf + 0
20.916 * * [simplify]: Extracting #1: cost 59 inf + 0
20.917 * * [simplify]: Extracting #2: cost 88 inf + 1
20.919 * * [simplify]: Extracting #3: cost 143 inf + 3424
20.925 * * [simplify]: Extracting #4: cost 373 inf + 30056
20.950 * * [simplify]: Extracting #5: cost 237 inf + 277539
20.998 * * [simplify]: Extracting #6: cost 77 inf + 525685
21.060 * * [simplify]: Extracting #7: cost 1 inf + 655281
21.123 * * [simplify]: Extracting #8: cost 0 inf + 658563
21.189 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))), (+.p16 (real->posit16 2.0) beta), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0))
21.189 * * * [progress]: adding candidates to table
21.454 * * [progress]: iteration 2 / 4
21.454 * * * [progress]: picking best candidate
21.492 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
21.492 * * * [progress]: localizing error
21.735 * * * [progress]: generating rewritten candidates
21.735 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
21.744 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
21.767 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
21.775 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
21.800 * * * [progress]: generating series expansions
21.800 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
21.800 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
21.800 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
21.800 * * * * [progress]: [ 4 / 4 ] generating series at (2)
21.800 * * * [progress]: simplifying candidates
21.800 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
21.800 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 2.0)))>
21.800 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
21.800 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
21.800 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
21.800 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
21.800 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
21.800 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
21.801 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (+.p16 alpha beta), (+.p16 beta (real->posit16 2.0)), (+.p16 beta (real->posit16 2.0)), (+.p16 beta (real->posit16 2.0)), (+.p16 beta (real->posit16 2.0))
21.801 * * [simplify]: iteration 1: (9 enodes)
21.806 * * [simplify]: iteration 2: (24 enodes)
21.815 * * [simplify]: iteration 3: (72 enodes)
21.851 * * [simplify]: iteration 4: (184 enodes)
21.932 * * [simplify]: iteration 5: (477 enodes)
22.301 * * [simplify]: iteration 6: (915 enodes)
22.981 * * [simplify]: iteration 7: (1064 enodes)
23.460 * * [simplify]: iteration 8: (1087 enodes)
23.766 * * [simplify]: Extracting #0: cost 3 inf + 0
23.766 * * [simplify]: Extracting #1: cost 53 inf + 0
23.767 * * [simplify]: Extracting #2: cost 61 inf + 2
23.768 * * [simplify]: Extracting #3: cost 27 inf + 10317
23.774 * * [simplify]: Extracting #4: cost 0 inf + 26433
23.780 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))), (+.p16 beta alpha), (+.p16 (real->posit16 2.0) beta), (+.p16 (real->posit16 2.0) beta), (+.p16 (real->posit16 2.0) beta), (+.p16 (real->posit16 2.0) beta)
23.781 * * * [progress]: adding candidates to table
24.110 * * [progress]: iteration 3 / 4
24.110 * * * [progress]: picking best candidate
24.167 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.167 * * * [progress]: localizing error
24.558 * * * [progress]: generating rewritten candidates
24.558 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
24.568 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
24.574 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
24.593 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
24.604 * * * [progress]: generating series expansions
24.604 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
24.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
24.604 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
24.604 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
24.604 * * * [progress]: simplifying candidates
24.605 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta beta) (neg.p16 (*.p16 alpha alpha))) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)))) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.605 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.606 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha)), (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha))), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (+.p16 beta alpha), (-.p16 beta alpha), (neg.p16 (*.p16 alpha alpha)), (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))), (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha), (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))
25.056 * * [simplify]: iteration 1: (26 enodes)
25.069 * * [simplify]: iteration 2: (81 enodes)
25.103 * * [simplify]: iteration 3: (250 enodes)
25.244 * * [simplify]: iteration 4: (1313 enodes)
27.688 * * [simplify]: Extracting #0: cost 13 inf + 0
27.689 * * [simplify]: Extracting #1: cost 509 inf + 0
27.696 * * [simplify]: Extracting #2: cost 1573 inf + 54347
27.726 * * [simplify]: Extracting #3: cost 1417 inf + 641044
27.800 * * [simplify]: Extracting #4: cost 981 inf + 1483854
27.965 * * [simplify]: Extracting #5: cost 256 inf + 2453699
28.162 * * [simplify]: Extracting #6: cost 1 inf + 2854658
28.446 * * [simplify]: Extracting #7: cost 0 inf + 2855702
28.733 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))), (*.p16 (/.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (/.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)), (+.p16 alpha beta), (-.p16 beta alpha), (neg.p16 (*.p16 alpha alpha)), (*.p16 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))), (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)), (*.p16 beta (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 alpha (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 beta (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 alpha (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))
28.735 * * * [progress]: adding candidates to table
29.365 * * [progress]: iteration 4 / 4
29.365 * * * [progress]: picking best candidate
29.484 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.484 * * * [progress]: localizing error
29.902 * * * [progress]: generating rewritten candidates
29.902 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
29.910 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
29.921 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
29.930 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
29.937 * * * [progress]: generating series expansions
29.937 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
29.937 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
29.937 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
29.937 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
29.937 * * * [progress]: simplifying candidates
29.937 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (-.p16 beta alpha)) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.938 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)), (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (-.p16 beta alpha)), (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
29.939 * * [simplify]: iteration 1: (13 enodes)
29.945 * * [simplify]: iteration 2: (39 enodes)
29.960 * * [simplify]: iteration 3: (97 enodes)
30.012 * * [simplify]: iteration 4: (313 enodes)
30.312 * * [simplify]: iteration 5: (1550 enodes)
44.039 * * [simplify]: Extracting #0: cost 5 inf + 0
44.040 * * [simplify]: Extracting #1: cost 258 inf + 0
44.046 * * [simplify]: Extracting #2: cost 1833 inf + 2493
44.061 * * [simplify]: Extracting #3: cost 2664 inf + 66601
44.120 * * [simplify]: Extracting #4: cost 1478 inf + 1496452
44.256 * * [simplify]: Extracting #5: cost 391 inf + 3325883
44.439 * * [simplify]: Extracting #6: cost 2 inf + 4013402
44.705 * * [simplify]: Extracting #7: cost 0 inf + 4016686
45.080 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)), (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))), (-.p16 beta alpha), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
45.081 * * * [progress]: adding candidates to table
45.402 * [progress]: [Phase 3 of 3] Extracting.
45.402 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
45.403 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
45.403 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
45.592 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
45.842 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
45.842 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
45.842 * * [simplify]: iteration 1: (12 enodes)
45.844 * * [simplify]: Extracting #0: cost 1 inf + 0
45.844 * * [simplify]: Extracting #1: cost 3 inf + 0
45.844 * * [simplify]: Extracting #2: cost 6 inf + 0
45.844 * * [simplify]: Extracting #3: cost 8 inf + 1
45.845 * * [simplify]: Extracting #4: cost 8 inf + 4
45.845 * * [simplify]: Extracting #5: cost 6 inf + 6
45.845 * * [simplify]: Extracting #6: cost 0 inf + 2544
45.845 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
45.845 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
45.867 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
45.871 * * * * [points]: Setting MPFR precision to 64
45.872 * * * * [points]: Setting MPFR precision to 320
45.873 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
45.876 * * * * [points]: Setting MPFR precision to 64
45.878 * * * * [points]: Setting MPFR precision to 320
45.879 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
45.882 * * * * [points]: Setting MPFR precision to 64
45.886 * * * * [points]: Setting MPFR precision to 320
45.890 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
45.893 * * * * [points]: Setting MPFR precision to 64
45.900 * * * * [points]: Setting MPFR precision to 320
45.908 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
45.911 * * * * [points]: Setting MPFR precision to 64
45.935 * * * * [points]: Setting MPFR precision to 320
45.975 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
45.978 * * * * [points]: Setting MPFR precision to 64
46.013 * * * * [points]: Setting MPFR precision to 320
46.042 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
46.045 * * * * [points]: Setting MPFR precision to 64
46.176 * * * * [points]: Setting MPFR precision to 320
46.251 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
46.255 * * * * [points]: Setting MPFR precision to 64
46.510 * * * * [points]: Setting MPFR precision to 320
46.761 * * * * [points]: Computing exacts for 8000 points
46.767 * * * * [points]: Setting MPFR precision to 64
48.226 * * * * [points]: Setting MPFR precision to 320
48.952 * * * * [points]: Filtering points with unrepresentable outputs
48.962 * * * * [points]: Sampling 3503 additional inputs, on iter 1 have 4497 / 8000
48.978 * * * * [points]: Computing exacts on every 218 of 3503 points to ramp up precision
48.981 * * * * [points]: Setting MPFR precision to 64
48.982 * * * * [points]: Setting MPFR precision to 320
48.983 * * * * [points]: Computing exacts on every 109 of 3503 points to ramp up precision
48.986 * * * * [points]: Setting MPFR precision to 64
48.988 * * * * [points]: Setting MPFR precision to 320
48.990 * * * * [points]: Computing exacts on every 54 of 3503 points to ramp up precision
48.992 * * * * [points]: Setting MPFR precision to 64
48.996 * * * * [points]: Setting MPFR precision to 320
49.000 * * * * [points]: Computing exacts on every 27 of 3503 points to ramp up precision
49.003 * * * * [points]: Setting MPFR precision to 64
49.010 * * * * [points]: Setting MPFR precision to 320
49.017 * * * * [points]: Computing exacts on every 13 of 3503 points to ramp up precision
49.020 * * * * [points]: Setting MPFR precision to 64
49.074 * * * * [points]: Setting MPFR precision to 320
49.100 * * * * [points]: Computing exacts on every 6 of 3503 points to ramp up precision
49.106 * * * * [points]: Setting MPFR precision to 64
49.160 * * * * [points]: Setting MPFR precision to 320
49.214 * * * * [points]: Computing exacts on every 3 of 3503 points to ramp up precision
49.221 * * * * [points]: Setting MPFR precision to 64
49.360 * * * * [points]: Setting MPFR precision to 320
49.457 * * * * [points]: Computing exacts for 3503 points
49.464 * * * * [points]: Setting MPFR precision to 64
49.941 * * * * [points]: Setting MPFR precision to 320
50.374 * * * * [points]: Filtering points with unrepresentable outputs
50.382 * * * * [points]: Sampling 1580 additional inputs, on iter 2 have 6420 / 8000
50.390 * * * * [points]: Computing exacts on every 98 of 1580 points to ramp up precision
50.435 * * * * [points]: Setting MPFR precision to 64
50.437 * * * * [points]: Setting MPFR precision to 320
50.438 * * * * [points]: Computing exacts on every 49 of 1580 points to ramp up precision
50.447 * * * * [points]: Setting MPFR precision to 64
50.450 * * * * [points]: Setting MPFR precision to 320
50.453 * * * * [points]: Computing exacts on every 24 of 1580 points to ramp up precision
50.459 * * * * [points]: Setting MPFR precision to 64
50.467 * * * * [points]: Setting MPFR precision to 320
50.474 * * * * [points]: Computing exacts on every 12 of 1580 points to ramp up precision
50.480 * * * * [points]: Setting MPFR precision to 64
50.493 * * * * [points]: Setting MPFR precision to 320
50.506 * * * * [points]: Computing exacts on every 6 of 1580 points to ramp up precision
50.512 * * * * [points]: Setting MPFR precision to 64
50.536 * * * * [points]: Setting MPFR precision to 320
50.561 * * * * [points]: Computing exacts on every 3 of 1580 points to ramp up precision
50.567 * * * * [points]: Setting MPFR precision to 64
50.609 * * * * [points]: Setting MPFR precision to 320
50.693 * * * * [points]: Computing exacts for 1580 points
50.698 * * * * [points]: Setting MPFR precision to 64
50.870 * * * * [points]: Setting MPFR precision to 320
51.067 * * * * [points]: Filtering points with unrepresentable outputs
51.069 * * * * [points]: Sampling 697 additional inputs, on iter 3 have 7303 / 8000
51.071 * * * * [points]: Computing exacts on every 43 of 697 points to ramp up precision
51.074 * * * * [points]: Setting MPFR precision to 64
51.075 * * * * [points]: Setting MPFR precision to 320
51.076 * * * * [points]: Computing exacts on every 21 of 697 points to ramp up precision
51.079 * * * * [points]: Setting MPFR precision to 64
51.081 * * * * [points]: Setting MPFR precision to 320
51.083 * * * * [points]: Computing exacts on every 10 of 697 points to ramp up precision
51.086 * * * * [points]: Setting MPFR precision to 64
51.090 * * * * [points]: Setting MPFR precision to 320
51.094 * * * * [points]: Computing exacts on every 5 of 697 points to ramp up precision
51.097 * * * * [points]: Setting MPFR precision to 64
51.104 * * * * [points]: Setting MPFR precision to 320
51.144 * * * * [points]: Computing exacts on every 2 of 697 points to ramp up precision
51.150 * * * * [points]: Setting MPFR precision to 64
51.177 * * * * [points]: Setting MPFR precision to 320
51.200 * * * * [points]: Computing exacts for 697 points
51.206 * * * * [points]: Setting MPFR precision to 64
51.279 * * * * [points]: Setting MPFR precision to 320
51.352 * * * * [points]: Filtering points with unrepresentable outputs
51.353 * * * * [points]: Sampling 313 additional inputs, on iter 4 have 7687 / 8000
51.355 * * * * [points]: Computing exacts on every 19 of 313 points to ramp up precision
51.401 * * * * [points]: Setting MPFR precision to 64
51.403 * * * * [points]: Setting MPFR precision to 320
51.405 * * * * [points]: Computing exacts on every 9 of 313 points to ramp up precision
51.413 * * * * [points]: Setting MPFR precision to 64
51.416 * * * * [points]: Setting MPFR precision to 320
51.420 * * * * [points]: Computing exacts on every 4 of 313 points to ramp up precision
51.425 * * * * [points]: Setting MPFR precision to 64
51.432 * * * * [points]: Setting MPFR precision to 320
51.438 * * * * [points]: Computing exacts on every 2 of 313 points to ramp up precision
51.444 * * * * [points]: Setting MPFR precision to 64
51.455 * * * * [points]: Setting MPFR precision to 320
51.466 * * * * [points]: Computing exacts for 313 points
51.473 * * * * [points]: Setting MPFR precision to 64
51.506 * * * * [points]: Setting MPFR precision to 320
51.527 * * * * [points]: Filtering points with unrepresentable outputs
51.527 * * * * [points]: Sampling 137 additional inputs, on iter 5 have 7863 / 8000
51.528 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
51.531 * * * * [points]: Setting MPFR precision to 64
51.532 * * * * [points]: Setting MPFR precision to 320
51.533 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
51.535 * * * * [points]: Setting MPFR precision to 64
51.537 * * * * [points]: Setting MPFR precision to 320
51.539 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
51.543 * * * * [points]: Setting MPFR precision to 64
51.548 * * * * [points]: Setting MPFR precision to 320
51.553 * * * * [points]: Computing exacts for 137 points
51.559 * * * * [points]: Setting MPFR precision to 64
51.607 * * * * [points]: Setting MPFR precision to 320
51.622 * * * * [points]: Filtering points with unrepresentable outputs
51.623 * * * * [points]: Sampling 56 additional inputs, on iter 6 have 7944 / 8000
51.623 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
51.629 * * * * [points]: Setting MPFR precision to 64
51.631 * * * * [points]: Setting MPFR precision to 320
51.632 * * * * [points]: Computing exacts for 56 points
51.638 * * * * [points]: Setting MPFR precision to 64
51.645 * * * * [points]: Setting MPFR precision to 320
51.652 * * * * [points]: Filtering points with unrepresentable outputs
51.652 * * * * [points]: Sampling 28 additional inputs, on iter 7 have 7972 / 8000
51.652 * * * * [points]: Computing exacts for 28 points
51.659 * * * * [points]: Setting MPFR precision to 64
51.662 * * * * [points]: Setting MPFR precision to 320
51.665 * * * * [points]: Filtering points with unrepresentable outputs
51.665 * * * * [points]: Sampling 11 additional inputs, on iter 8 have 7989 / 8000
51.665 * * * * [points]: Computing exacts for 11 points
51.671 * * * * [points]: Setting MPFR precision to 64
51.672 * * * * [points]: Setting MPFR precision to 320
51.674 * * * * [points]: Filtering points with unrepresentable outputs
51.674 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 7997 / 8000
51.674 * * * * [points]: Computing exacts for 4 points
51.680 * * * * [points]: Setting MPFR precision to 64
51.680 * * * * [points]: Setting MPFR precision to 320
51.681 * * * * [points]: Filtering points with unrepresentable outputs
51.681 * * * * [points]: Sampled 8000 points with exact outputs
57.762 * [regime-testing]: Baseline error score: 64.0
57.765 * [regime-testing]: Oracle error score: 64.0
57.772 * [regime-testing]: End program error score: 0.7629318989036127