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.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.024 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.036 * * * * [points]: Computing exacts for 256 points
0.046 * * * * [points]: Setting MPFR precision to 64
0.062 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Filtering points with unrepresentable outputs
0.077 * * * * [points]: Sampling 114 additional inputs, on iter 1 have 142 / 256
0.077 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
0.080 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
0.085 * * * * [points]: Setting MPFR precision to 64
0.086 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts for 114 points
0.091 * * * * [points]: Setting MPFR precision to 64
0.097 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Filtering points with unrepresentable outputs
0.104 * * * * [points]: Sampling 50 additional inputs, on iter 2 have 206 / 256
0.104 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
0.107 * * * * [points]: Setting MPFR precision to 64
0.108 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Computing exacts for 50 points
0.111 * * * * [points]: Setting MPFR precision to 64
0.114 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Filtering points with unrepresentable outputs
0.117 * * * * [points]: Sampling 17 additional inputs, on iter 3 have 239 / 256
0.117 * * * * [points]: Computing exacts for 17 points
0.120 * * * * [points]: Setting MPFR precision to 64
0.121 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Filtering points with unrepresentable outputs
0.122 * * * * [points]: Sampling 9 additional inputs, on iter 4 have 247 / 256
0.122 * * * * [points]: Computing exacts for 9 points
0.125 * * * * [points]: Setting MPFR precision to 64
0.125 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Filtering points with unrepresentable outputs
0.126 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 254 / 256
0.126 * * * * [points]: Computing exacts for 4 points
0.128 * * * * [points]: Setting MPFR precision to 64
0.129 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Filtering points with unrepresentable outputs
0.129 * * * * [points]: Sampled 257 points with exact outputs
0.129 * * * [progress]: [2/2] Setting up program.
0.142 * [progress]: [Phase 2 of 3] Improving.
0.142 * * * * [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.142 * [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.143 * * [simplify]: iteration 1: (12 enodes)
0.162 * * [simplify]: iteration 2: (29 enodes)
0.167 * * [simplify]: iteration 3: (46 enodes)
0.176 * * [simplify]: iteration 4: (97 enodes)
0.200 * * [simplify]: iteration 5: (335 enodes)
0.417 * * [simplify]: iteration 6: (1742 enodes)
17.720 * * [simplify]: Extracting #0: cost 1 inf + 0
17.720 * * [simplify]: Extracting #1: cost 3 inf + 0
17.720 * * [simplify]: Extracting #2: cost 12 inf + 0
17.722 * * [simplify]: Extracting #3: cost 288 inf + 1
17.736 * * [simplify]: Extracting #4: cost 2458 inf + 4
17.770 * * [simplify]: Extracting #5: cost 3760 inf + 156794
17.967 * * [simplify]: Extracting #6: cost 1636 inf + 3674161
18.509 * * [simplify]: Extracting #7: cost 44 inf + 6594597
19.073 * * [simplify]: Extracting #8: cost 0 inf + 6635954
19.572 * * [simplify]: Extracting #9: cost 0 inf + 6633914
20.023 * [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))
20.043 * * [progress]: iteration 1 / 4
20.043 * * * [progress]: picking best candidate
20.057 * * * * [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)))>
20.057 * * * [progress]: localizing error
20.265 * * * [progress]: generating rewritten candidates
20.266 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
20.284 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
20.297 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
20.313 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
20.326 * * * [progress]: generating series expansions
20.326 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
20.327 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
20.327 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
20.327 * * * * [progress]: [ 4 / 4 ] generating series at (2)
20.327 * * * [progress]: simplifying candidates
20.327 * * * * [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)))>
20.327 * * * * [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)))>
20.327 * * * * [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)))>
20.327 * * * * [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)))>
20.327 * * * * [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)))>
20.327 * * * * [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)))>
20.327 * * * * [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)))>
20.327 * * * * [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)))>
20.327 * [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))
20.327 * * [simplify]: iteration 1: (15 enodes)
20.331 * * [simplify]: iteration 2: (38 enodes)
20.343 * * [simplify]: iteration 3: (94 enodes)
20.369 * * [simplify]: iteration 4: (247 enodes)
20.432 * * [simplify]: iteration 5: (770 enodes)
21.024 * * [simplify]: Extracting #0: cost 3 inf + 0
21.024 * * [simplify]: Extracting #1: cost 59 inf + 0
21.025 * * [simplify]: Extracting #2: cost 88 inf + 1
21.026 * * [simplify]: Extracting #3: cost 143 inf + 3424
21.032 * * [simplify]: Extracting #4: cost 373 inf + 30056
21.059 * * [simplify]: Extracting #5: cost 237 inf + 277539
21.102 * * [simplify]: Extracting #6: cost 77 inf + 525685
21.135 * * [simplify]: Extracting #7: cost 1 inf + 655281
21.192 * * [simplify]: Extracting #8: cost 0 inf + 658563
21.234 * [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.234 * * * [progress]: adding candidates to table
21.440 * * [progress]: iteration 2 / 4
21.440 * * * [progress]: picking best candidate
21.468 * * * * [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.468 * * * [progress]: localizing error
21.624 * * * [progress]: generating rewritten candidates
21.624 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
21.629 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
21.635 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
21.640 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
21.655 * * * [progress]: generating series expansions
21.655 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
21.655 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
21.655 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
21.655 * * * * [progress]: [ 4 / 4 ] generating series at (2)
21.655 * * * [progress]: simplifying candidates
21.655 * * * * [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.656 * * * * [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.656 * * * * [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.656 * * * * [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.656 * * * * [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.656 * * * * [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.656 * * * * [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.656 * * * * [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.656 * [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.656 * * [simplify]: iteration 1: (9 enodes)
21.664 * * [simplify]: iteration 2: (24 enodes)
21.669 * * [simplify]: iteration 3: (72 enodes)
21.687 * * [simplify]: iteration 4: (184 enodes)
21.760 * * [simplify]: iteration 5: (477 enodes)
21.988 * * [simplify]: iteration 6: (915 enodes)
22.444 * * [simplify]: iteration 7: (1064 enodes)
23.047 * * [simplify]: iteration 8: (1087 enodes)
23.454 * * [simplify]: Extracting #0: cost 3 inf + 0
23.454 * * [simplify]: Extracting #1: cost 53 inf + 0
23.454 * * [simplify]: Extracting #2: cost 61 inf + 2
23.455 * * [simplify]: Extracting #3: cost 27 inf + 10317
23.461 * * [simplify]: Extracting #4: cost 0 inf + 26433
23.466 * [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.467 * * * [progress]: adding candidates to table
24.089 * * [progress]: iteration 3 / 4
24.090 * * * [progress]: picking best candidate
24.110 * * * * [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.110 * * * [progress]: localizing error
24.490 * * * [progress]: generating rewritten candidates
24.490 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
24.499 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
24.511 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
24.514 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
24.520 * * * [progress]: generating series expansions
24.520 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
24.520 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
24.520 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
24.520 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
24.520 * * * [progress]: simplifying candidates
24.520 * * * * [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.520 * * * * [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.520 * * * * [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.520 * * * * [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.520 * * * * [progress]: [ 5 / 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.521 * * * * [progress]: [ 6 / 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.521 * * * * [progress]: [ 7 / 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.521 * * * * [progress]: [ 8 / 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.521 * * * * [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.521 * * * * [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.521 * * * * [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.521 * * * * [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.521 * * * * [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.521 * * * * [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.521 * * * * [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.521 * [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))
24.521 * * [simplify]: iteration 1: (26 enodes)
24.528 * * [simplify]: iteration 2: (81 enodes)
24.561 * * [simplify]: iteration 3: (250 enodes)
24.765 * * [simplify]: iteration 4: (1313 enodes)
27.269 * * [simplify]: Extracting #0: cost 13 inf + 0
27.271 * * [simplify]: Extracting #1: cost 509 inf + 0
27.297 * * [simplify]: Extracting #2: cost 1573 inf + 54347
27.343 * * [simplify]: Extracting #3: cost 1417 inf + 641044
27.461 * * [simplify]: Extracting #4: cost 981 inf + 1483854
27.646 * * [simplify]: Extracting #5: cost 256 inf + 2453699
27.791 * * [simplify]: Extracting #6: cost 1 inf + 2854658
27.976 * * [simplify]: Extracting #7: cost 0 inf + 2855702
28.167 * [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.169 * * * [progress]: adding candidates to table
28.813 * * [progress]: iteration 4 / 4
28.813 * * * [progress]: picking best candidate
28.983 * * * * [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)))>
28.983 * * * [progress]: localizing error
29.249 * * * [progress]: generating rewritten candidates
29.249 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
29.256 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
29.265 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
29.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
29.282 * * * [progress]: generating series expansions
29.282 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
29.282 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
29.282 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
29.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
29.282 * * * [progress]: simplifying candidates
29.282 * * * * [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.282 * * * * [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.282 * * * * [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.282 * * * * [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.282 * * * * [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.282 * * * * [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.282 * * * * [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.283 * * * * [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.283 * * * * [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.283 * [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.283 * * [simplify]: iteration 1: (13 enodes)
29.299 * * [simplify]: iteration 2: (39 enodes)
29.314 * * [simplify]: iteration 3: (97 enodes)
29.357 * * [simplify]: iteration 4: (313 enodes)
29.615 * * [simplify]: iteration 5: (1550 enodes)
47.755 * * [simplify]: Extracting #0: cost 5 inf + 0
47.757 * * [simplify]: Extracting #1: cost 258 inf + 0
47.770 * * [simplify]: Extracting #2: cost 1833 inf + 2493
47.808 * * [simplify]: Extracting #3: cost 2664 inf + 66601
47.873 * * [simplify]: Extracting #4: cost 1478 inf + 1496452
48.150 * * [simplify]: Extracting #5: cost 391 inf + 3325883
48.512 * * [simplify]: Extracting #6: cost 2 inf + 4013402
48.848 * * [simplify]: Extracting #7: cost 0 inf + 4016686
49.205 * [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))
49.206 * * * [progress]: adding candidates to table
49.680 * [progress]: [Phase 3 of 3] Extracting.
49.680 * * [regime]: Finding splitpoints for: (#<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 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (*.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 beta 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 (*.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 (+.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 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 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)))> #<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 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>)
49.684 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
49.684 * * * * [regimes]: Trying to branch on alpha from (#<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 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (*.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 beta 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 (*.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 (+.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 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 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)))> #<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 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>)
50.074 * * * * [regimes]: Trying to branch on beta from (#<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 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (*.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 beta 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 (*.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 (+.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 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 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)))> #<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 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>)
50.450 * * * [regime]: Found split indices: #<option (#s(si 9 256))>
50.450 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
50.450 * * [simplify]: iteration 1: (12 enodes)
50.454 * * [simplify]: Extracting #0: cost 1 inf + 0
50.454 * * [simplify]: Extracting #1: cost 3 inf + 0
50.455 * * [simplify]: Extracting #2: cost 6 inf + 0
50.455 * * [simplify]: Extracting #3: cost 7 inf + 2
50.455 * * [simplify]: Extracting #4: cost 8 inf + 4
50.455 * * [simplify]: Extracting #5: cost 6 inf + 6
50.455 * * [simplify]: Extracting #6: cost 0 inf + 2544
50.455 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
50.456 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
50.498 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
50.503 * * * * [points]: Setting MPFR precision to 64
50.505 * * * * [points]: Setting MPFR precision to 320
50.507 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
50.512 * * * * [points]: Setting MPFR precision to 64
50.515 * * * * [points]: Setting MPFR precision to 320
50.519 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
50.524 * * * * [points]: Setting MPFR precision to 64
50.531 * * * * [points]: Setting MPFR precision to 320
50.538 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
50.544 * * * * [points]: Setting MPFR precision to 64
50.559 * * * * [points]: Setting MPFR precision to 320
50.573 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
50.578 * * * * [points]: Setting MPFR precision to 64
50.604 * * * * [points]: Setting MPFR precision to 320
50.630 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
50.635 * * * * [points]: Setting MPFR precision to 64
50.726 * * * * [points]: Setting MPFR precision to 320
50.780 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
50.788 * * * * [points]: Setting MPFR precision to 64
50.891 * * * * [points]: Setting MPFR precision to 320
51.046 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
51.052 * * * * [points]: Setting MPFR precision to 64
51.282 * * * * [points]: Setting MPFR precision to 320
51.524 * * * * [points]: Computing exacts for 8000 points
51.529 * * * * [points]: Setting MPFR precision to 64
52.909 * * * * [points]: Setting MPFR precision to 320
53.812 * * * * [points]: Filtering points with unrepresentable outputs
53.822 * * * * [points]: Sampling 3521 additional inputs, on iter 1 have 4479 / 8000
53.832 * * * * [points]: Computing exacts on every 220 of 3521 points to ramp up precision
53.835 * * * * [points]: Setting MPFR precision to 64
53.836 * * * * [points]: Setting MPFR precision to 320
53.837 * * * * [points]: Computing exacts on every 110 of 3521 points to ramp up precision
53.841 * * * * [points]: Setting MPFR precision to 64
53.845 * * * * [points]: Setting MPFR precision to 320
53.848 * * * * [points]: Computing exacts on every 55 of 3521 points to ramp up precision
53.854 * * * * [points]: Setting MPFR precision to 64
53.863 * * * * [points]: Setting MPFR precision to 320
53.870 * * * * [points]: Computing exacts on every 27 of 3521 points to ramp up precision
53.875 * * * * [points]: Setting MPFR precision to 64
53.889 * * * * [points]: Setting MPFR precision to 320
53.902 * * * * [points]: Computing exacts on every 13 of 3521 points to ramp up precision
53.907 * * * * [points]: Setting MPFR precision to 64
53.934 * * * * [points]: Setting MPFR precision to 320
53.990 * * * * [points]: Computing exacts on every 6 of 3521 points to ramp up precision
53.995 * * * * [points]: Setting MPFR precision to 64
54.055 * * * * [points]: Setting MPFR precision to 320
54.102 * * * * [points]: Computing exacts on every 3 of 3521 points to ramp up precision
54.108 * * * * [points]: Setting MPFR precision to 64
54.193 * * * * [points]: Setting MPFR precision to 320
54.331 * * * * [points]: Computing exacts for 3521 points
54.337 * * * * [points]: Setting MPFR precision to 64
54.788 * * * * [points]: Setting MPFR precision to 320
55.183 * * * * [points]: Filtering points with unrepresentable outputs
55.192 * * * * [points]: Sampling 1587 additional inputs, on iter 2 have 6413 / 8000
55.201 * * * * [points]: Computing exacts on every 99 of 1587 points to ramp up precision
55.206 * * * * [points]: Setting MPFR precision to 64
55.208 * * * * [points]: Setting MPFR precision to 320
55.209 * * * * [points]: Computing exacts on every 49 of 1587 points to ramp up precision
55.215 * * * * [points]: Setting MPFR precision to 64
55.218 * * * * [points]: Setting MPFR precision to 320
55.222 * * * * [points]: Computing exacts on every 24 of 1587 points to ramp up precision
55.227 * * * * [points]: Setting MPFR precision to 64
55.233 * * * * [points]: Setting MPFR precision to 320
55.271 * * * * [points]: Computing exacts on every 12 of 1587 points to ramp up precision
55.277 * * * * [points]: Setting MPFR precision to 64
55.293 * * * * [points]: Setting MPFR precision to 320
55.306 * * * * [points]: Computing exacts on every 6 of 1587 points to ramp up precision
55.311 * * * * [points]: Setting MPFR precision to 64
55.334 * * * * [points]: Setting MPFR precision to 320
55.356 * * * * [points]: Computing exacts on every 3 of 1587 points to ramp up precision
55.361 * * * * [points]: Setting MPFR precision to 64
55.400 * * * * [points]: Setting MPFR precision to 320
55.434 * * * * [points]: Computing exacts for 1587 points
55.437 * * * * [points]: Setting MPFR precision to 64
55.557 * * * * [points]: Setting MPFR precision to 320
55.753 * * * * [points]: Filtering points with unrepresentable outputs
55.757 * * * * [points]: Sampling 742 additional inputs, on iter 3 have 7258 / 8000
55.761 * * * * [points]: Computing exacts on every 46 of 742 points to ramp up precision
55.766 * * * * [points]: Setting MPFR precision to 64
55.768 * * * * [points]: Setting MPFR precision to 320
55.770 * * * * [points]: Computing exacts on every 23 of 742 points to ramp up precision
55.775 * * * * [points]: Setting MPFR precision to 64
55.778 * * * * [points]: Setting MPFR precision to 320
55.781 * * * * [points]: Computing exacts on every 11 of 742 points to ramp up precision
55.787 * * * * [points]: Setting MPFR precision to 64
55.791 * * * * [points]: Setting MPFR precision to 320
55.794 * * * * [points]: Computing exacts on every 5 of 742 points to ramp up precision
55.797 * * * * [points]: Setting MPFR precision to 64
55.804 * * * * [points]: Setting MPFR precision to 320
55.811 * * * * [points]: Computing exacts on every 2 of 742 points to ramp up precision
55.814 * * * * [points]: Setting MPFR precision to 64
55.828 * * * * [points]: Setting MPFR precision to 320
55.868 * * * * [points]: Computing exacts for 742 points
55.870 * * * * [points]: Setting MPFR precision to 64
55.914 * * * * [points]: Setting MPFR precision to 320
55.955 * * * * [points]: Filtering points with unrepresentable outputs
55.956 * * * * [points]: Sampling 305 additional inputs, on iter 4 have 7695 / 8000
55.957 * * * * [points]: Computing exacts on every 19 of 305 points to ramp up precision
55.960 * * * * [points]: Setting MPFR precision to 64
55.961 * * * * [points]: Setting MPFR precision to 320
55.962 * * * * [points]: Computing exacts on every 9 of 305 points to ramp up precision
55.964 * * * * [points]: Setting MPFR precision to 64
55.966 * * * * [points]: Setting MPFR precision to 320
55.968 * * * * [points]: Computing exacts on every 4 of 305 points to ramp up precision
55.970 * * * * [points]: Setting MPFR precision to 64
55.974 * * * * [points]: Setting MPFR precision to 320
55.978 * * * * [points]: Computing exacts on every 2 of 305 points to ramp up precision
56.334 * * * * [points]: Setting MPFR precision to 64
56.348 * * * * [points]: Setting MPFR precision to 320
56.360 * * * * [points]: Computing exacts for 305 points
56.365 * * * * [points]: Setting MPFR precision to 64
56.397 * * * * [points]: Setting MPFR precision to 320
56.430 * * * * [points]: Filtering points with unrepresentable outputs
56.431 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 7874 / 8000
56.432 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
56.437 * * * * [points]: Setting MPFR precision to 64
56.438 * * * * [points]: Setting MPFR precision to 320
56.440 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
56.445 * * * * [points]: Setting MPFR precision to 64
56.448 * * * * [points]: Setting MPFR precision to 320
56.452 * * * * [points]: Computing exacts for 126 points
56.457 * * * * [points]: Setting MPFR precision to 64
56.470 * * * * [points]: Setting MPFR precision to 320
56.484 * * * * [points]: Filtering points with unrepresentable outputs
56.484 * * * * [points]: Sampling 56 additional inputs, on iter 6 have 7944 / 8000
56.484 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
56.490 * * * * [points]: Setting MPFR precision to 64
56.491 * * * * [points]: Setting MPFR precision to 320
56.493 * * * * [points]: Computing exacts for 56 points
56.498 * * * * [points]: Setting MPFR precision to 64
56.504 * * * * [points]: Setting MPFR precision to 320
56.509 * * * * [points]: Filtering points with unrepresentable outputs
56.509 * * * * [points]: Sampling 22 additional inputs, on iter 7 have 7978 / 8000
56.509 * * * * [points]: Computing exacts for 22 points
56.514 * * * * [points]: Setting MPFR precision to 64
56.517 * * * * [points]: Setting MPFR precision to 320
56.519 * * * * [points]: Filtering points with unrepresentable outputs
56.519 * * * * [points]: Sampling 12 additional inputs, on iter 8 have 7988 / 8000
56.519 * * * * [points]: Computing exacts for 12 points
56.552 * * * * [points]: Setting MPFR precision to 64
56.553 * * * * [points]: Setting MPFR precision to 320
56.554 * * * * [points]: Filtering points with unrepresentable outputs
56.554 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000
56.554 * * * * [points]: Computing exacts for 7 points
56.557 * * * * [points]: Setting MPFR precision to 64
56.557 * * * * [points]: Setting MPFR precision to 320
56.558 * * * * [points]: Filtering points with unrepresentable outputs
56.558 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
56.558 * * * * [points]: Computing exacts for 4 points
56.562 * * * * [points]: Setting MPFR precision to 64
56.562 * * * * [points]: Setting MPFR precision to 320
56.563 * * * * [points]: Filtering points with unrepresentable outputs
56.563 * * * * [points]: Sampled 8002 points with exact outputs
64.612 * [regime-testing]: Baseline error score: 64.0
64.615 * [regime-testing]: Oracle error score: 64.0
64.622 * [regime-testing]: End program error score: 0.7456045603360114