1552480259.882 * [progress]: [Phase 1 of 3] Setting up.
1552480259.882 * * * [progress]: [1/2] Preparing points
1552480259.883 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552480259.884 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552480259.887 * * * * [points]: Setting MPFR precision to 64
1552480259.888 * * * * [points]: Setting MPFR precision to 320
1552480259.889 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552480259.894 * * * * [points]: Setting MPFR precision to 64
1552480259.895 * * * * [points]: Setting MPFR precision to 320
1552480259.897 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552480259.907 * * * * [points]: Setting MPFR precision to 64
1552480259.913 * * * * [points]: Setting MPFR precision to 320
1552480259.916 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552480259.920 * * * * [points]: Setting MPFR precision to 64
1552480259.925 * * * * [points]: Setting MPFR precision to 320
1552480259.931 * * * * [points]: Computing exacts for 256 points
1552480259.935 * * * * [points]: Setting MPFR precision to 64
1552480259.950 * * * * [points]: Setting MPFR precision to 320
1552480259.967 * * * * [points]: Filtering points with unrepresentable outputs
1552480259.973 * * * * [points]: Sampling 107 additional inputs, on iter 1 have 149 / 256
1552480259.974 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
1552480259.978 * * * * [points]: Setting MPFR precision to 64
1552480259.979 * * * * [points]: Setting MPFR precision to 320
1552480259.980 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
1552480259.985 * * * * [points]: Setting MPFR precision to 64
1552480259.986 * * * * [points]: Setting MPFR precision to 320
1552480259.988 * * * * [points]: Computing exacts for 107 points
1552480260.016 * * * * [points]: Setting MPFR precision to 64
1552480260.030 * * * * [points]: Setting MPFR precision to 320
1552480260.038 * * * * [points]: Filtering points with unrepresentable outputs
1552480260.041 * * * * [points]: Sampling 39 additional inputs, on iter 2 have 217 / 256
1552480260.041 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
1552480260.045 * * * * [points]: Setting MPFR precision to 64
1552480260.046 * * * * [points]: Setting MPFR precision to 320
1552480260.047 * * * * [points]: Computing exacts for 39 points
1552480260.051 * * * * [points]: Setting MPFR precision to 64
1552480260.055 * * * * [points]: Setting MPFR precision to 320
1552480260.060 * * * * [points]: Filtering points with unrepresentable outputs
1552480260.061 * * * * [points]: Sampling 14 additional inputs, on iter 3 have 242 / 256
1552480260.061 * * * * [points]: Computing exacts for 14 points
1552480260.065 * * * * [points]: Setting MPFR precision to 64
1552480260.066 * * * * [points]: Setting MPFR precision to 320
1552480260.067 * * * * [points]: Filtering points with unrepresentable outputs
1552480260.068 * * * * [points]: Sampling 5 additional inputs, on iter 4 have 251 / 256
1552480260.068 * * * * [points]: Computing exacts for 5 points
1552480260.074 * * * * [points]: Setting MPFR precision to 64
1552480260.075 * * * * [points]: Setting MPFR precision to 320
1552480260.076 * * * * [points]: Filtering points with unrepresentable outputs
1552480260.076 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 255 / 256
1552480260.076 * * * * [points]: Computing exacts for 4 points
1552480260.083 * * * * [points]: Setting MPFR precision to 64
1552480260.083 * * * * [points]: Setting MPFR precision to 320
1552480260.083 * * * * [points]: Filtering points with unrepresentable outputs
1552480260.083 * * * * [points]: Sampled 257 points with exact outputs
1552480260.084 * * * [progress]: [2/2] Setting up program.
1552480260.103 * [progress]: [Phase 2 of 3] Improving.
1552480260.103 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480260.103 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552480260.103 * * [simplify]: iters left: 6 (18 enodes)
1552480260.108 * * [simplify]: iters left: 5 (46 enodes)
1552480260.135 * * [simplify]: iters left: 4 (118 enodes)
1552480260.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480260.173 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480260.173 * * [simplify]: Extracting #2: cost 62 inf + 0
1552480260.174 * * [simplify]: Extracting #3: cost 165 inf + 2
1552480260.175 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552480260.176 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552480260.177 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552480260.180 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552480260.188 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552480260.201 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552480260.221 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552480260.221 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552480260.294 * * [progress]: iteration 1 / 4
1552480260.294 * * * [progress]: picking best candidate
1552480260.338 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480260.338 * * * [progress]: localizing error
1552480260.758 * * * [progress]: generating rewritten candidates
1552480260.758 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480260.830 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1552480260.850 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552480260.984 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1552480261.019 * * * [progress]: generating series expansions
1552480261.019 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480261.019 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1552480261.019 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552480261.019 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1552480261.019 * * * [progress]: simplifying candidates
1552480261.019 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.019 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.019 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.019 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.020 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
1552480261.020 * * [simplify]: iters left: 3 (8 enodes)
1552480261.022 * * [simplify]: iters left: 2 (21 enodes)
1552480261.026 * * [simplify]: iters left: 1 (43 enodes)
1552480261.033 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480261.034 * * [simplify]: Extracting #1: cost 16 inf + 0
1552480261.034 * * [simplify]: Extracting #2: cost 16 inf + 2
1552480261.034 * * [simplify]: Extracting #3: cost 13 inf + 367
1552480261.034 * * [simplify]: Extracting #4: cost 0 inf + 3718
1552480261.035 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
1552480261.035 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480261.035 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.035 * [simplify]: Simplifying (+.p16 alpha beta)
1552480261.035 * * [simplify]: iters left: 1 (3 enodes)
1552480261.036 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480261.036 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480261.036 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480261.036 * * [simplify]: Extracting #3: cost 0 inf + 44
1552480261.036 * [simplify]: Simplified to (+.p16 beta alpha)
1552480261.036 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480261.036 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.036 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 beta (+.p16 (+.p16 alpha (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.036 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.036 * [simplify]: Simplifying (*.p16 beta alpha)
1552480261.036 * * [simplify]: iters left: 1 (3 enodes)
1552480261.037 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480261.037 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480261.037 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480261.037 * * [simplify]: Extracting #3: cost 0 inf + 324
1552480261.037 * [simplify]: Simplified to (*.p16 alpha beta)
1552480261.037 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480261.037 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 beta alpha))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.037 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.037 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552480261.037 * * [simplify]: iters left: 6 (18 enodes)
1552480261.042 * * [simplify]: iters left: 5 (46 enodes)
1552480261.050 * * [simplify]: iters left: 4 (118 enodes)
1552480261.088 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480261.088 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480261.088 * * [simplify]: Extracting #2: cost 62 inf + 0
1552480261.088 * * [simplify]: Extracting #3: cost 165 inf + 2
1552480261.089 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552480261.090 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552480261.091 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552480261.096 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552480261.103 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552480261.112 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552480261.123 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552480261.123 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552480261.123 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.124 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552480261.124 * * [simplify]: iters left: 6 (18 enodes)
1552480261.131 * * [simplify]: iters left: 5 (46 enodes)
1552480261.146 * * [simplify]: iters left: 4 (118 enodes)
1552480261.181 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480261.182 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480261.182 * * [simplify]: Extracting #2: cost 62 inf + 0
1552480261.182 * * [simplify]: Extracting #3: cost 165 inf + 2
1552480261.183 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552480261.184 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552480261.185 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552480261.188 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552480261.195 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552480261.204 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552480261.213 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552480261.213 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552480261.213 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.213 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552480261.213 * * [simplify]: iters left: 6 (18 enodes)
1552480261.222 * * [simplify]: iters left: 5 (46 enodes)
1552480261.232 * * [simplify]: iters left: 4 (118 enodes)
1552480261.268 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480261.268 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480261.268 * * [simplify]: Extracting #2: cost 62 inf + 0
1552480261.268 * * [simplify]: Extracting #3: cost 165 inf + 2
1552480261.269 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552480261.270 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552480261.271 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552480261.274 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552480261.281 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552480261.290 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552480261.300 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552480261.300 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552480261.300 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480261.300 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552480261.301 * * [simplify]: iters left: 6 (18 enodes)
1552480261.310 * * [simplify]: iters left: 5 (46 enodes)
1552480261.319 * * [simplify]: iters left: 4 (118 enodes)
1552480261.354 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480261.355 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480261.355 * * [simplify]: Extracting #2: cost 62 inf + 0
1552480261.355 * * [simplify]: Extracting #3: cost 165 inf + 2
1552480261.356 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552480261.357 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552480261.358 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552480261.362 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552480261.375 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552480261.393 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552480261.411 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1552480261.411 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1552480261.411 * * * [progress]: adding candidates to table
1552480262.428 * * [progress]: iteration 2 / 4
1552480262.428 * * * [progress]: picking best candidate
1552480262.604 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480262.604 * * * [progress]: localizing error
1552480262.795 * * * [progress]: generating rewritten candidates
1552480262.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480262.856 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1552480262.911 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552480263.040 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552480263.248 * * * [progress]: generating series expansions
1552480263.249 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480263.249 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1552480263.249 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552480263.249 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552480263.249 * * * [progress]: simplifying candidates
1552480263.249 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.249 * [simplify]: Simplifying (real->posit16 1.0)
1552480263.249 * * [simplify]: iters left: 1 (2 enodes)
1552480263.250 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.250 * * [simplify]: Extracting #1: cost 2 inf + 0
1552480263.250 * * [simplify]: Extracting #2: cost 1 inf + 1
1552480263.250 * * [simplify]: Extracting #3: cost 0 inf + 2
1552480263.250 * [simplify]: Simplified to (real->posit16 1.0)
1552480263.250 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.250 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) alpha) (+.p16 beta (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.251 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552480263.251 * * [simplify]: iters left: 2 (4 enodes)
1552480263.252 * * [simplify]: iters left: 1 (8 enodes)
1552480263.253 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.253 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.253 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480263.253 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480263.253 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552480263.253 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) alpha) (+.p16 (real->posit16 1.0) beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.253 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.254 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480263.254 * * [simplify]: iters left: 2 (4 enodes)
1552480263.255 * * [simplify]: iters left: 1 (8 enodes)
1552480263.256 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.256 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.256 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480263.256 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480263.256 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480263.256 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 (real->posit16 1.0) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.256 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (real->posit16 1.0)) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.256 * [simplify]: Simplifying (+.p16 alpha beta)
1552480263.256 * * [simplify]: iters left: 1 (3 enodes)
1552480263.257 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.257 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.257 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480263.257 * * [simplify]: Extracting #3: cost 0 inf + 44
1552480263.257 * [simplify]: Simplified to (+.p16 beta alpha)
1552480263.257 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.257 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (real->posit16 1.0)) (*.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.257 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.258 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0)))
1552480263.258 * * [simplify]: iters left: 3 (8 enodes)
1552480263.260 * * [simplify]: iters left: 2 (21 enodes)
1552480263.263 * * [simplify]: iters left: 1 (40 enodes)
1552480263.270 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.270 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480263.271 * * [simplify]: Extracting #2: cost 18 inf + 2
1552480263.271 * * [simplify]: Extracting #3: cost 13 inf + 1091
1552480263.271 * * [simplify]: Extracting #4: cost 10 inf + 1937
1552480263.271 * * [simplify]: Extracting #5: cost 1 inf + 4482
1552480263.272 * * [simplify]: Extracting #6: cost 0 inf + 4885
1552480263.272 * [simplify]: Simplified to (+.p16 (+.p16 alpha (+.p16 (*.p16 alpha beta) beta)) (real->posit16 1.0))
1552480263.272 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 (*.p16 alpha beta) beta)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.272 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
1552480263.273 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552480263.273 * * [simplify]: iters left: 4 (15 enodes)
1552480263.277 * * [simplify]: iters left: 3 (36 enodes)
1552480263.284 * * [simplify]: iters left: 2 (63 enodes)
1552480263.295 * * [simplify]: iters left: 1 (90 enodes)
1552480263.321 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.321 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.321 * * [simplify]: Extracting #2: cost 20 inf + 0
1552480263.321 * * [simplify]: Extracting #3: cost 21 inf + 2
1552480263.321 * * [simplify]: Extracting #4: cost 15 inf + 1898
1552480263.322 * * [simplify]: Extracting #5: cost 5 inf + 3277
1552480263.323 * * [simplify]: Extracting #6: cost 2 inf + 4366
1552480263.325 * * [simplify]: Extracting #7: cost 0 inf + 6014
1552480263.326 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (+.p16 alpha (*.p16 alpha beta))) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
1552480263.326 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (+.p16 alpha (*.p16 alpha beta))) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
1552480263.327 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552480263.327 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0)))
1552480263.327 * * [simplify]: iters left: 3 (8 enodes)
1552480263.331 * * [simplify]: iters left: 2 (21 enodes)
1552480263.336 * * [simplify]: iters left: 1 (40 enodes)
1552480263.343 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.343 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480263.343 * * [simplify]: Extracting #2: cost 18 inf + 2
1552480263.343 * * [simplify]: Extracting #3: cost 13 inf + 1091
1552480263.344 * * [simplify]: Extracting #4: cost 10 inf + 1937
1552480263.344 * * [simplify]: Extracting #5: cost 1 inf + 4482
1552480263.344 * * [simplify]: Extracting #6: cost 0 inf + 4885
1552480263.345 * [simplify]: Simplified to (+.p16 (+.p16 alpha (+.p16 (*.p16 alpha beta) beta)) (real->posit16 1.0))
1552480263.345 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 alpha (+.p16 (*.p16 alpha beta) beta)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552480263.345 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.345 * [simplify]: Simplifying (*.p16 beta alpha)
1552480263.345 * * [simplify]: iters left: 1 (3 enodes)
1552480263.346 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.346 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.346 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480263.346 * * [simplify]: Extracting #3: cost 0 inf + 324
1552480263.346 * [simplify]: Simplified to (*.p16 alpha beta)
1552480263.346 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.346 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.347 * [simplify]: Simplifying (*.p16 beta alpha)
1552480263.347 * * [simplify]: iters left: 1 (3 enodes)
1552480263.347 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.347 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.347 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480263.347 * * [simplify]: Extracting #3: cost 0 inf + 324
1552480263.347 * [simplify]: Simplified to (*.p16 alpha beta)
1552480263.347 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.347 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.348 * [simplify]: Simplifying (*.p16 beta alpha)
1552480263.348 * * [simplify]: iters left: 1 (3 enodes)
1552480263.348 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.348 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.348 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480263.348 * * [simplify]: Extracting #3: cost 0 inf + 324
1552480263.348 * [simplify]: Simplified to (*.p16 alpha beta)
1552480263.348 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.348 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480263.349 * [simplify]: Simplifying (*.p16 beta alpha)
1552480263.349 * * [simplify]: iters left: 1 (3 enodes)
1552480263.349 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.349 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480263.349 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480263.349 * * [simplify]: Extracting #3: cost 0 inf + 324
1552480263.349 * [simplify]: Simplified to (*.p16 alpha beta)
1552480263.349 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480263.350 * * * [progress]: adding candidates to table
1552480264.025 * * [progress]: iteration 3 / 4
1552480264.025 * * * [progress]: picking best candidate
1552480264.222 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.222 * * * [progress]: localizing error
1552480264.458 * * * [progress]: generating rewritten candidates
1552480264.458 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480264.508 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1552480264.558 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552480264.636 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1552480264.641 * * * [progress]: generating series expansions
1552480264.641 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480264.641 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1552480264.641 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552480264.641 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1552480264.641 * * * [progress]: simplifying candidates
1552480264.641 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.641 * [simplify]: Simplifying (real->posit16 1.0)
1552480264.641 * * [simplify]: iters left: 1 (2 enodes)
1552480264.642 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.642 * * [simplify]: Extracting #1: cost 2 inf + 0
1552480264.642 * * [simplify]: Extracting #2: cost 1 inf + 1
1552480264.642 * * [simplify]: Extracting #3: cost 0 inf + 2
1552480264.643 * [simplify]: Simplified to (real->posit16 1.0)
1552480264.643 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.643 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (real->posit16 1.0)) alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.643 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.643 * [simplify]: Simplifying (*.p16 beta alpha)
1552480264.643 * * [simplify]: iters left: 1 (3 enodes)
1552480264.643 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.643 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.644 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480264.644 * * [simplify]: Extracting #3: cost 0 inf + 324
1552480264.644 * [simplify]: Simplified to (*.p16 alpha beta)
1552480264.644 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.644 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 beta (+.p16 (*.p16 beta alpha) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.644 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (*.p16 beta alpha) beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.644 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.644 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0)))
1552480264.644 * * [simplify]: iters left: 3 (8 enodes)
1552480264.646 * * [simplify]: iters left: 2 (21 enodes)
1552480264.649 * * [simplify]: iters left: 1 (41 enodes)
1552480264.656 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.656 * * [simplify]: Extracting #1: cost 15 inf + 0
1552480264.656 * * [simplify]: Extracting #2: cost 15 inf + 2
1552480264.657 * * [simplify]: Extracting #3: cost 5 inf + 2383
1552480264.657 * * [simplify]: Extracting #4: cost 0 inf + 3636
1552480264.658 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (+.p16 alpha (*.p16 alpha beta))) beta)
1552480264.658 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (+.p16 alpha (*.p16 alpha beta))) beta) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.658 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.658 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480264.658 * * [simplify]: iters left: 2 (4 enodes)
1552480264.659 * * [simplify]: iters left: 1 (8 enodes)
1552480264.660 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.660 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.660 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480264.660 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480264.660 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480264.660 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 1.0) alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.661 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.661 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.661 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480264.661 * * [simplify]: iters left: 2 (4 enodes)
1552480264.662 * * [simplify]: iters left: 1 (8 enodes)
1552480264.663 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.663 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.663 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480264.663 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480264.663 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480264.663 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 (real->posit16 1.0) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.663 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.663 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480264.663 * * [simplify]: iters left: 2 (4 enodes)
1552480264.664 * * [simplify]: iters left: 1 (8 enodes)
1552480264.666 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.666 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.666 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480264.666 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480264.666 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480264.666 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 (real->posit16 1.0) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.666 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.666 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480264.666 * * [simplify]: iters left: 2 (4 enodes)
1552480264.667 * * [simplify]: iters left: 1 (8 enodes)
1552480264.668 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.668 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.668 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480264.669 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480264.669 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480264.669 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 (real->posit16 1.0) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.669 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480264.669 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480264.669 * * [simplify]: iters left: 2 (4 enodes)
1552480264.670 * * [simplify]: iters left: 1 (8 enodes)
1552480264.671 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.671 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.671 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480264.671 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480264.671 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480264.672 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (+.p16 (real->posit16 1.0) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480264.672 * * * [progress]: adding candidates to table
1552480265.595 * * [progress]: iteration 4 / 4
1552480265.595 * * * [progress]: picking best candidate
1552480266.137 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.137 * * * [progress]: localizing error
1552480266.386 * * * [progress]: generating rewritten candidates
1552480266.386 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480266.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1552480266.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552480266.559 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552480266.758 * * * [progress]: generating series expansions
1552480266.758 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480266.758 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1552480266.758 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552480266.758 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552480266.758 * * * [progress]: simplifying candidates
1552480266.758 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.759 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552480266.759 * * [simplify]: iters left: 2 (4 enodes)
1552480266.760 * * [simplify]: iters left: 1 (8 enodes)
1552480266.761 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.761 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480266.761 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480266.762 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480266.762 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552480266.762 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480266.762 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.762 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552480266.762 * * [simplify]: iters left: 2 (4 enodes)
1552480266.763 * * [simplify]: iters left: 1 (8 enodes)
1552480266.764 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.764 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480266.764 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480266.764 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480266.764 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552480266.764 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480266.765 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.765 * [simplify]: Simplifying (real->posit16 1.0)
1552480266.765 * * [simplify]: iters left: 1 (2 enodes)
1552480266.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.766 * * [simplify]: Extracting #1: cost 2 inf + 0
1552480266.766 * * [simplify]: Extracting #2: cost 1 inf + 1
1552480266.766 * * [simplify]: Extracting #3: cost 0 inf + 2
1552480266.766 * [simplify]: Simplified to (real->posit16 1.0)
1552480266.766 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480266.766 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (real->posit16 1.0)) alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.766 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (real->posit16 1.0)) (*.p16 (+.p16 alpha (real->posit16 1.0)) beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.766 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.766 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0)))
1552480266.766 * * [simplify]: iters left: 4 (7 enodes)
1552480266.768 * * [simplify]: iters left: 3 (17 enodes)
1552480266.771 * * [simplify]: iters left: 2 (33 enodes)
1552480266.778 * * [simplify]: iters left: 1 (88 enodes)
1552480266.801 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.802 * * [simplify]: Extracting #1: cost 38 inf + 0
1552480266.802 * * [simplify]: Extracting #2: cost 67 inf + 86
1552480266.803 * * [simplify]: Extracting #3: cost 54 inf + 3431
1552480266.804 * * [simplify]: Extracting #4: cost 6 inf + 17902
1552480266.807 * * [simplify]: Extracting #5: cost 0 inf + 19478
1552480266.810 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (real->posit16 1.0) alpha))
1552480266.810 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (real->posit16 1.0) alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480266.811 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480266.811 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552480266.811 * * [simplify]: iters left: 2 (4 enodes)
1552480266.813 * * [simplify]: iters left: 1 (8 enodes)
1552480266.816 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.816 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480266.816 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480266.816 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480266.816 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552480266.816 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480266.816 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
1552480266.817 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552480266.817 * * [simplify]: iters left: 5 (15 enodes)
1552480266.824 * * [simplify]: iters left: 4 (34 enodes)
1552480266.836 * * [simplify]: iters left: 3 (58 enodes)
1552480266.861 * * [simplify]: iters left: 2 (116 enodes)
1552480266.902 * * [simplify]: iters left: 1 (260 enodes)
1552480267.085 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.085 * * [simplify]: Extracting #1: cost 15 inf + 0
1552480267.085 * * [simplify]: Extracting #2: cost 47 inf + 0
1552480267.086 * * [simplify]: Extracting #3: cost 47 inf + 4
1552480267.087 * * [simplify]: Extracting #4: cost 25 inf + 6941
1552480267.090 * * [simplify]: Extracting #5: cost 15 inf + 9201
1552480267.092 * * [simplify]: Extracting #6: cost 10 inf + 12902
1552480267.096 * * [simplify]: Extracting #7: cost 0 inf + 22908
1552480267.100 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 1.0) alpha) beta) (+.p16 (real->posit16 1.0) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 1) (real->posit16 2))))
1552480267.100 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 1.0) alpha) beta) (+.p16 (real->posit16 1.0) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
1552480267.101 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552480267.101 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0)))
1552480267.101 * * [simplify]: iters left: 4 (7 enodes)
1552480267.104 * * [simplify]: iters left: 3 (17 enodes)
1552480267.110 * * [simplify]: iters left: 2 (33 enodes)
1552480267.126 * * [simplify]: iters left: 1 (88 enodes)
1552480267.153 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.153 * * [simplify]: Extracting #1: cost 38 inf + 0
1552480267.153 * * [simplify]: Extracting #2: cost 67 inf + 86
1552480267.154 * * [simplify]: Extracting #3: cost 54 inf + 3431
1552480267.155 * * [simplify]: Extracting #4: cost 6 inf + 17902
1552480267.156 * * [simplify]: Extracting #5: cost 0 inf + 19478
1552480267.158 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (real->posit16 1.0) alpha))
1552480267.158 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (real->posit16 1.0) alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552480267.158 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0)))))))>
1552480267.158 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552480267.158 * * [simplify]: iters left: 2 (4 enodes)
1552480267.160 * * [simplify]: iters left: 1 (8 enodes)
1552480267.161 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.161 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480267.161 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480267.161 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480267.161 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552480267.161 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0)))))))
1552480267.161 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480267.162 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480267.162 * * [simplify]: iters left: 2 (4 enodes)
1552480267.163 * * [simplify]: iters left: 1 (8 enodes)
1552480267.164 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.164 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480267.164 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480267.164 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480267.164 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480267.164 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 1.0) alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480267.164 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480267.165 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480267.165 * * [simplify]: iters left: 2 (4 enodes)
1552480267.166 * * [simplify]: iters left: 1 (8 enodes)
1552480267.167 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.167 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480267.167 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480267.167 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480267.167 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480267.167 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 1.0) alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480267.167 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480267.167 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480267.167 * * [simplify]: iters left: 2 (4 enodes)
1552480267.168 * * [simplify]: iters left: 1 (8 enodes)
1552480267.170 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.170 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480267.170 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480267.170 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480267.170 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480267.170 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 1.0) alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480267.170 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552480267.170 * [simplify]: Simplifying (+.p16 alpha (real->posit16 1.0))
1552480267.170 * * [simplify]: iters left: 2 (4 enodes)
1552480267.171 * * [simplify]: iters left: 1 (8 enodes)
1552480267.172 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.173 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480267.173 * * [simplify]: Extracting #2: cost 3 inf + 1
1552480267.173 * * [simplify]: Extracting #3: cost 0 inf + 45
1552480267.173 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) alpha)
1552480267.173 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 1.0) alpha) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552480267.173 * * * [progress]: adding candidates to table
1552480267.889 * [progress]: [Phase 3 of 3] Extracting.
1552480267.889 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0)))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>)
1552480267.892 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
1552480267.892 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0)))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>)
1552480268.406 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha (real->posit16 1.0)))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>)
1552480268.904 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
1552480268.905 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552480268.905 * * [simplify]: iters left: 6 (18 enodes)
1552480268.908 * * [simplify]: iters left: 5 (20 enodes)
1552480268.910 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480268.910 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480268.910 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480268.910 * * [simplify]: Extracting #3: cost 10 inf + 0
1552480268.910 * * [simplify]: Extracting #4: cost 15 inf + 1
1552480268.910 * * [simplify]: Extracting #5: cost 14 inf + 4
1552480268.910 * * [simplify]: Extracting #6: cost 7 inf + 455
1552480268.911 * * [simplify]: Extracting #7: cost 4 inf + 1584
1552480268.911 * * [simplify]: Extracting #8: cost 1 inf + 4959
1552480268.912 * * [simplify]: Extracting #9: cost 0 inf + 7124
1552480268.912 * [simplify]: Simplified to (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552480268.912 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552480268.954 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552480268.976 * * * * [points]: Setting MPFR precision to 64
1552480268.978 * * * * [points]: Setting MPFR precision to 320
1552480268.980 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552480268.989 * * * * [points]: Setting MPFR precision to 64
1552480268.993 * * * * [points]: Setting MPFR precision to 320
1552480268.996 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552480269.006 * * * * [points]: Setting MPFR precision to 64
1552480269.013 * * * * [points]: Setting MPFR precision to 320
1552480269.022 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552480269.031 * * * * [points]: Setting MPFR precision to 64
1552480269.045 * * * * [points]: Setting MPFR precision to 320
1552480269.062 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552480269.070 * * * * [points]: Setting MPFR precision to 64
1552480269.101 * * * * [points]: Setting MPFR precision to 320
1552480269.133 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552480269.169 * * * * [points]: Setting MPFR precision to 64
1552480269.231 * * * * [points]: Setting MPFR precision to 320
1552480269.296 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552480269.305 * * * * [points]: Setting MPFR precision to 64
1552480269.466 * * * * [points]: Setting MPFR precision to 320
1552480269.596 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552480269.605 * * * * [points]: Setting MPFR precision to 64
1552480269.855 * * * * [points]: Setting MPFR precision to 320
1552480270.144 * * * * [points]: Computing exacts for 8000 points
1552480270.153 * * * * [points]: Setting MPFR precision to 64
1552480271.089 * * * * [points]: Setting MPFR precision to 320
1552480272.574 * * * * [points]: Filtering points with unrepresentable outputs
1552480272.995 * * * * [points]: Sampling 3530 additional inputs, on iter 1 have 4470 / 8000
1552480273.013 * * * * [points]: Computing exacts on every 220 of 3530 points to ramp up precision
1552480273.038 * * * * [points]: Setting MPFR precision to 64
1552480273.042 * * * * [points]: Setting MPFR precision to 320
1552480273.045 * * * * [points]: Computing exacts on every 110 of 3530 points to ramp up precision
1552480273.054 * * * * [points]: Setting MPFR precision to 64
1552480273.058 * * * * [points]: Setting MPFR precision to 320
1552480273.062 * * * * [points]: Computing exacts on every 55 of 3530 points to ramp up precision
1552480273.070 * * * * [points]: Setting MPFR precision to 64
1552480273.077 * * * * [points]: Setting MPFR precision to 320
1552480273.085 * * * * [points]: Computing exacts on every 27 of 3530 points to ramp up precision
1552480273.090 * * * * [points]: Setting MPFR precision to 64
1552480273.099 * * * * [points]: Setting MPFR precision to 320
1552480273.110 * * * * [points]: Computing exacts on every 13 of 3530 points to ramp up precision
1552480273.115 * * * * [points]: Setting MPFR precision to 64
1552480273.138 * * * * [points]: Setting MPFR precision to 320
1552480273.173 * * * * [points]: Computing exacts on every 6 of 3530 points to ramp up precision
1552480273.182 * * * * [points]: Setting MPFR precision to 64
1552480273.272 * * * * [points]: Setting MPFR precision to 320
1552480273.318 * * * * [points]: Computing exacts on every 3 of 3530 points to ramp up precision
1552480273.327 * * * * [points]: Setting MPFR precision to 64
1552480273.439 * * * * [points]: Setting MPFR precision to 320
1552480273.559 * * * * [points]: Computing exacts for 3530 points
1552480273.571 * * * * [points]: Setting MPFR precision to 64
1552480274.036 * * * * [points]: Setting MPFR precision to 320
1552480274.608 * * * * [points]: Filtering points with unrepresentable outputs
1552480274.847 * * * * [points]: Sampling 1526 additional inputs, on iter 2 have 6474 / 8000
1552480274.855 * * * * [points]: Computing exacts on every 95 of 1526 points to ramp up precision
1552480274.864 * * * * [points]: Setting MPFR precision to 64
1552480274.866 * * * * [points]: Setting MPFR precision to 320
1552480274.868 * * * * [points]: Computing exacts on every 47 of 1526 points to ramp up precision
1552480274.877 * * * * [points]: Setting MPFR precision to 64
1552480274.880 * * * * [points]: Setting MPFR precision to 320
1552480274.904 * * * * [points]: Computing exacts on every 23 of 1526 points to ramp up precision
1552480274.910 * * * * [points]: Setting MPFR precision to 64
1552480274.915 * * * * [points]: Setting MPFR precision to 320
1552480274.920 * * * * [points]: Computing exacts on every 11 of 1526 points to ramp up precision
1552480274.925 * * * * [points]: Setting MPFR precision to 64
1552480274.934 * * * * [points]: Setting MPFR precision to 320
1552480274.952 * * * * [points]: Computing exacts on every 5 of 1526 points to ramp up precision
1552480274.961 * * * * [points]: Setting MPFR precision to 64
1552480274.994 * * * * [points]: Setting MPFR precision to 320
1552480275.029 * * * * [points]: Computing exacts on every 2 of 1526 points to ramp up precision
1552480275.038 * * * * [points]: Setting MPFR precision to 64
1552480275.142 * * * * [points]: Setting MPFR precision to 320
1552480275.212 * * * * [points]: Computing exacts for 1526 points
1552480275.222 * * * * [points]: Setting MPFR precision to 64
1552480275.395 * * * * [points]: Setting MPFR precision to 320
1552480275.544 * * * * [points]: Filtering points with unrepresentable outputs
1552480275.630 * * * * [points]: Sampling 681 additional inputs, on iter 3 have 7319 / 8000
1552480275.633 * * * * [points]: Computing exacts on every 42 of 681 points to ramp up precision
1552480275.642 * * * * [points]: Setting MPFR precision to 64
1552480275.645 * * * * [points]: Setting MPFR precision to 320
1552480275.647 * * * * [points]: Computing exacts on every 21 of 681 points to ramp up precision
1552480275.655 * * * * [points]: Setting MPFR precision to 64
1552480275.659 * * * * [points]: Setting MPFR precision to 320
1552480275.663 * * * * [points]: Computing exacts on every 10 of 681 points to ramp up precision
1552480275.672 * * * * [points]: Setting MPFR precision to 64
1552480275.679 * * * * [points]: Setting MPFR precision to 320
1552480275.689 * * * * [points]: Computing exacts on every 5 of 681 points to ramp up precision
1552480275.726 * * * * [points]: Setting MPFR precision to 64
1552480275.742 * * * * [points]: Setting MPFR precision to 320
1552480275.757 * * * * [points]: Computing exacts on every 2 of 681 points to ramp up precision
1552480275.767 * * * * [points]: Setting MPFR precision to 64
1552480275.794 * * * * [points]: Setting MPFR precision to 320
1552480275.827 * * * * [points]: Computing exacts for 681 points
1552480275.836 * * * * [points]: Setting MPFR precision to 64
1552480275.917 * * * * [points]: Setting MPFR precision to 320
1552480276.056 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.091 * * * * [points]: Sampling 294 additional inputs, on iter 4 have 7706 / 8000
1552480276.092 * * * * [points]: Computing exacts on every 18 of 294 points to ramp up precision
1552480276.096 * * * * [points]: Setting MPFR precision to 64
1552480276.097 * * * * [points]: Setting MPFR precision to 320
1552480276.099 * * * * [points]: Computing exacts on every 9 of 294 points to ramp up precision
1552480276.103 * * * * [points]: Setting MPFR precision to 64
1552480276.105 * * * * [points]: Setting MPFR precision to 320
1552480276.107 * * * * [points]: Computing exacts on every 4 of 294 points to ramp up precision
1552480276.112 * * * * [points]: Setting MPFR precision to 64
1552480276.116 * * * * [points]: Setting MPFR precision to 320
1552480276.120 * * * * [points]: Computing exacts on every 2 of 294 points to ramp up precision
1552480276.152 * * * * [points]: Setting MPFR precision to 64
1552480276.168 * * * * [points]: Setting MPFR precision to 320
1552480276.181 * * * * [points]: Computing exacts for 294 points
1552480276.190 * * * * [points]: Setting MPFR precision to 64
1552480276.225 * * * * [points]: Setting MPFR precision to 320
1552480276.266 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.281 * * * * [points]: Sampling 129 additional inputs, on iter 5 have 7871 / 8000
1552480276.282 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
1552480276.291 * * * * [points]: Setting MPFR precision to 64
1552480276.293 * * * * [points]: Setting MPFR precision to 320
1552480276.295 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
1552480276.304 * * * * [points]: Setting MPFR precision to 64
1552480276.307 * * * * [points]: Setting MPFR precision to 320
1552480276.311 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
1552480276.321 * * * * [points]: Setting MPFR precision to 64
1552480276.326 * * * * [points]: Setting MPFR precision to 320
1552480276.332 * * * * [points]: Computing exacts for 129 points
1552480276.374 * * * * [points]: Setting MPFR precision to 64
1552480276.390 * * * * [points]: Setting MPFR precision to 320
1552480276.407 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.414 * * * * [points]: Sampling 65 additional inputs, on iter 6 have 7935 / 8000
1552480276.414 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1552480276.424 * * * * [points]: Setting MPFR precision to 64
1552480276.425 * * * * [points]: Setting MPFR precision to 320
1552480276.427 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1552480276.436 * * * * [points]: Setting MPFR precision to 64
1552480276.439 * * * * [points]: Setting MPFR precision to 320
1552480276.442 * * * * [points]: Computing exacts for 65 points
1552480276.451 * * * * [points]: Setting MPFR precision to 64
1552480276.458 * * * * [points]: Setting MPFR precision to 320
1552480276.467 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.471 * * * * [points]: Sampling 33 additional inputs, on iter 7 have 7967 / 8000
1552480276.471 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1552480276.480 * * * * [points]: Setting MPFR precision to 64
1552480276.482 * * * * [points]: Setting MPFR precision to 320
1552480276.483 * * * * [points]: Computing exacts for 33 points
1552480276.492 * * * * [points]: Setting MPFR precision to 64
1552480276.496 * * * * [points]: Setting MPFR precision to 320
1552480276.501 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.502 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 7984 / 8000
1552480276.503 * * * * [points]: Computing exacts for 16 points
1552480276.511 * * * * [points]: Setting MPFR precision to 64
1552480276.513 * * * * [points]: Setting MPFR precision to 320
1552480276.516 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.516 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000
1552480276.517 * * * * [points]: Computing exacts for 7 points
1552480276.959 * * * * [points]: Setting MPFR precision to 64
1552480276.960 * * * * [points]: Setting MPFR precision to 320
1552480276.961 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.962 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
1552480276.962 * * * * [points]: Computing exacts for 4 points
1552480276.973 * * * * [points]: Setting MPFR precision to 64
1552480276.974 * * * * [points]: Setting MPFR precision to 320
1552480276.975 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.975 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
1552480276.975 * * * * [points]: Computing exacts for 4 points
1552480276.981 * * * * [points]: Setting MPFR precision to 64
1552480276.981 * * * * [points]: Setting MPFR precision to 320
1552480276.981 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.982 * * * * [points]: Sampled 8001 points with exact outputs
1552480282.873 * [regime-testing]: Baseline error score: 64.0
1552480282.877 * [regime-testing]: Oracle error score: 64.0
1552480282.884 * [regime-testing]: End program error score: 0.3522363965614236