1554043273.956 * [progress]: [Phase 1 of 3] Setting up.
1554043273.956 * * * [progress]: [1/2] Preparing points
1554043273.958 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043273.959 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043273.965 * * * * [points]: Setting MPFR precision to 64
1554043273.968 * * * * [points]: Setting MPFR precision to 320
1554043273.971 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043273.985 * * * * [points]: Setting MPFR precision to 64
1554043273.989 * * * * [points]: Setting MPFR precision to 320
1554043273.993 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043274.002 * * * * [points]: Setting MPFR precision to 64
1554043274.008 * * * * [points]: Setting MPFR precision to 320
1554043274.015 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043274.024 * * * * [points]: Setting MPFR precision to 64
1554043274.034 * * * * [points]: Setting MPFR precision to 320
1554043274.046 * * * * [points]: Computing exacts for 256 points
1554043274.054 * * * * [points]: Setting MPFR precision to 64
1554043274.082 * * * * [points]: Setting MPFR precision to 320
1554043274.117 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.132 * * * * [points]: Sampling 110 additional inputs, on iter 1 have 146 / 256
1554043274.133 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
1554043274.142 * * * * [points]: Setting MPFR precision to 64
1554043274.144 * * * * [points]: Setting MPFR precision to 320
1554043274.146 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
1554043274.181 * * * * [points]: Setting MPFR precision to 64
1554043274.184 * * * * [points]: Setting MPFR precision to 320
1554043274.191 * * * * [points]: Computing exacts for 110 points
1554043274.200 * * * * [points]: Setting MPFR precision to 64
1554043274.212 * * * * [points]: Setting MPFR precision to 320
1554043274.220 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.223 * * * * [points]: Sampling 52 additional inputs, on iter 2 have 204 / 256
1554043274.223 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
1554043274.227 * * * * [points]: Setting MPFR precision to 64
1554043274.228 * * * * [points]: Setting MPFR precision to 320
1554043274.229 * * * * [points]: Computing exacts for 52 points
1554043274.233 * * * * [points]: Setting MPFR precision to 64
1554043274.236 * * * * [points]: Setting MPFR precision to 320
1554043274.240 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.243 * * * * [points]: Sampling 21 additional inputs, on iter 3 have 235 / 256
1554043274.243 * * * * [points]: Computing exacts for 21 points
1554043274.253 * * * * [points]: Setting MPFR precision to 64
1554043274.256 * * * * [points]: Setting MPFR precision to 320
1554043274.259 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.260 * * * * [points]: Sampling 7 additional inputs, on iter 4 have 249 / 256
1554043274.260 * * * * [points]: Computing exacts for 7 points
1554043274.269 * * * * [points]: Setting MPFR precision to 64
1554043274.270 * * * * [points]: Setting MPFR precision to 320
1554043274.271 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.271 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 255 / 256
1554043274.271 * * * * [points]: Computing exacts for 4 points
1554043274.280 * * * * [points]: Setting MPFR precision to 64
1554043274.280 * * * * [points]: Setting MPFR precision to 320
1554043274.281 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.281 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
1554043274.281 * * * * [points]: Computing exacts for 4 points
1554043274.288 * * * * [points]: Setting MPFR precision to 64
1554043274.289 * * * * [points]: Setting MPFR precision to 320
1554043274.289 * * * * [points]: Filtering points with unrepresentable outputs
1554043274.290 * * * * [points]: Sampled 258 points with exact outputs
1554043274.290 * * * [progress]: [2/2] Setting up program.
1554043274.331 * [progress]: [Phase 2 of 3] Improving.
1554043274.331 * * * * [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))))>
1554043274.331 * [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)))
1554043274.331 * * [simplify]: iters left: 6 (18 enodes)
1554043274.336 * * [simplify]: iters left: 5 (46 enodes)
1554043274.344 * * [simplify]: iters left: 4 (118 enodes)
1554043274.382 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043274.382 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043274.382 * * [simplify]: Extracting #2: cost 62 inf + 0
1554043274.383 * * [simplify]: Extracting #3: cost 165 inf + 2
1554043274.384 * * [simplify]: Extracting #4: cost 154 inf + 3708
1554043274.385 * * [simplify]: Extracting #5: cost 131 inf + 9961
1554043274.386 * * [simplify]: Extracting #6: cost 129 inf + 10365
1554043274.391 * * [simplify]: Extracting #7: cost 82 inf + 46686
1554043274.408 * * [simplify]: Extracting #8: cost 5 inf + 102245
1554043274.424 * * [simplify]: Extracting #9: cost 0 inf + 105668
1554043274.439 * [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)))))
1554043274.439 * [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))))))
1554043274.510 * * [progress]: iteration 1 / 4
1554043274.510 * * * [progress]: picking best candidate
1554043274.575 * * * * [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))))>
1554043274.575 * * * [progress]: localizing error
1554043275.105 * * * [progress]: generating rewritten candidates
1554043275.105 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043275.206 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1554043275.215 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043275.303 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1554043275.358 * * * [progress]: generating series expansions
1554043275.358 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043275.359 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1554043275.359 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043275.359 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1554043275.359 * * * [progress]: simplifying candidates
1554043275.359 * * * * [progress]: [ 1 / 9 ] 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))))>
1554043275.359 * * * * [progress]: [ 2 / 9 ] 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))))>
1554043275.359 * * * * [progress]: [ 3 / 9 ] 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))))>
1554043275.359 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
1554043275.359 * * [simplify]: iters left: 3 (8 enodes)
1554043275.365 * * [simplify]: iters left: 2 (21 enodes)
1554043275.372 * * [simplify]: iters left: 1 (43 enodes)
1554043275.385 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043275.385 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043275.385 * * [simplify]: Extracting #2: cost 16 inf + 2
1554043275.385 * * [simplify]: Extracting #3: cost 13 inf + 367
1554043275.386 * * [simplify]: Extracting #4: cost 0 inf + 3718
1554043275.387 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
1554043275.387 * [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))))
1554043275.387 * * * * [progress]: [ 4 / 9 ] 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))))>
1554043275.387 * [simplify]: Simplifying (+.p16 alpha beta)
1554043275.387 * * [simplify]: iters left: 1 (3 enodes)
1554043275.388 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043275.388 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043275.388 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043275.388 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043275.388 * [simplify]: Simplified to (+.p16 beta alpha)
1554043275.388 * [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))))
1554043275.389 * * * * [progress]: [ 5 / 9 ] 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))))>
1554043275.389 * * * * [progress]: [ 6 / 9 ] 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))))>
1554043275.389 * [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)))
1554043275.389 * * [simplify]: iters left: 6 (18 enodes)
1554043275.396 * * [simplify]: iters left: 5 (46 enodes)
1554043275.410 * * [simplify]: iters left: 4 (118 enodes)
1554043275.471 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043275.471 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043275.471 * * [simplify]: Extracting #2: cost 62 inf + 0
1554043275.472 * * [simplify]: Extracting #3: cost 165 inf + 2
1554043275.473 * * [simplify]: Extracting #4: cost 154 inf + 3708
1554043275.474 * * [simplify]: Extracting #5: cost 131 inf + 9961
1554043275.475 * * [simplify]: Extracting #6: cost 129 inf + 10365
1554043275.478 * * [simplify]: Extracting #7: cost 82 inf + 46686
1554043275.485 * * [simplify]: Extracting #8: cost 5 inf + 102245
1554043275.494 * * [simplify]: Extracting #9: cost 0 inf + 105668
1554043275.502 * [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)))))
1554043275.502 * [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))))))
1554043275.502 * * * * [progress]: [ 7 / 9 ] 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))))>
1554043275.503 * [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)))
1554043275.503 * * [simplify]: iters left: 6 (18 enodes)
1554043275.507 * * [simplify]: iters left: 5 (46 enodes)
1554043275.517 * * [simplify]: iters left: 4 (118 enodes)
1554043275.585 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043275.585 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043275.585 * * [simplify]: Extracting #2: cost 62 inf + 0
1554043275.586 * * [simplify]: Extracting #3: cost 165 inf + 2
1554043275.587 * * [simplify]: Extracting #4: cost 154 inf + 3708
1554043275.590 * * [simplify]: Extracting #5: cost 131 inf + 9961
1554043275.592 * * [simplify]: Extracting #6: cost 129 inf + 10365
1554043275.599 * * [simplify]: Extracting #7: cost 82 inf + 46686
1554043275.611 * * [simplify]: Extracting #8: cost 5 inf + 102245
1554043275.620 * * [simplify]: Extracting #9: cost 0 inf + 105668
1554043275.629 * [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)))))
1554043275.629 * [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))))))
1554043275.629 * * * * [progress]: [ 8 / 9 ] 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))))>
1554043275.629 * [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)))
1554043275.629 * * [simplify]: iters left: 6 (18 enodes)
1554043275.633 * * [simplify]: iters left: 5 (46 enodes)
1554043275.644 * * [simplify]: iters left: 4 (118 enodes)
1554043275.675 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043275.676 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043275.676 * * [simplify]: Extracting #2: cost 62 inf + 0
1554043275.676 * * [simplify]: Extracting #3: cost 165 inf + 2
1554043275.677 * * [simplify]: Extracting #4: cost 154 inf + 3708
1554043275.678 * * [simplify]: Extracting #5: cost 131 inf + 9961
1554043275.680 * * [simplify]: Extracting #6: cost 129 inf + 10365
1554043275.683 * * [simplify]: Extracting #7: cost 82 inf + 46686
1554043275.690 * * [simplify]: Extracting #8: cost 5 inf + 102245
1554043275.699 * * [simplify]: Extracting #9: cost 0 inf + 105668
1554043275.710 * [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)))))
1554043275.710 * [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))))))
1554043275.710 * * * * [progress]: [ 9 / 9 ] 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))))>
1554043275.711 * [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)))
1554043275.711 * * [simplify]: iters left: 6 (18 enodes)
1554043275.716 * * [simplify]: iters left: 5 (46 enodes)
1554043275.724 * * [simplify]: iters left: 4 (118 enodes)
1554043275.755 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043275.755 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043275.755 * * [simplify]: Extracting #2: cost 62 inf + 0
1554043275.756 * * [simplify]: Extracting #3: cost 165 inf + 2
1554043275.757 * * [simplify]: Extracting #4: cost 154 inf + 3708
1554043275.758 * * [simplify]: Extracting #5: cost 131 inf + 9961
1554043275.759 * * [simplify]: Extracting #6: cost 129 inf + 10365
1554043275.762 * * [simplify]: Extracting #7: cost 82 inf + 46686
1554043275.769 * * [simplify]: Extracting #8: cost 5 inf + 102245
1554043275.780 * * [simplify]: Extracting #9: cost 0 inf + 105668
1554043275.788 * [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)))))
1554043275.788 * [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))))))
1554043275.788 * * * [progress]: adding candidates to table
1554043276.208 * * [progress]: iteration 2 / 4
1554043276.208 * * * [progress]: picking best candidate
1554043276.360 * * * * [pick]: Picked  #<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))))>
1554043276.360 * * * [progress]: localizing error
1554043276.972 * * * [progress]: generating rewritten candidates
1554043276.972 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043276.990 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1554043277.004 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043277.039 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1554043277.042 * * * [progress]: generating series expansions
1554043277.042 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043277.042 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1554043277.042 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043277.042 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1554043277.042 * * * [progress]: simplifying candidates
1554043277.042 * * * * [progress]: [ 1 / 9 ] 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))))>
1554043277.042 * [simplify]: Simplifying (real->posit16 1.0)
1554043277.042 * * [simplify]: iters left: 1 (2 enodes)
1554043277.043 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043277.044 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043277.044 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043277.044 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043277.044 * [simplify]: Simplified to (real->posit16 1.0)
1554043277.044 * [simplify]: Simplified (2 1 1 1 2) to (λ (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))))
1554043277.044 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))>
1554043277.044 * * * * [progress]: [ 3 / 9 ] 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))))>
1554043277.044 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))>
1554043277.044 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))
1554043277.044 * * [simplify]: iters left: 3 (8 enodes)
1554043277.046 * * [simplify]: iters left: 2 (21 enodes)
1554043277.050 * * [simplify]: iters left: 1 (40 enodes)
1554043277.057 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043277.057 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043277.057 * * [simplify]: Extracting #2: cost 15 inf + 2
1554043277.057 * * [simplify]: Extracting #3: cost 9 inf + 772
1554043277.057 * * [simplify]: Extracting #4: cost 0 inf + 3315
1554043277.058 * [simplify]: Simplified to (+.p16 alpha (+.p16 (+.p16 (real->posit16 1.0) beta) (*.p16 beta alpha)))
1554043277.058 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 (real->posit16 1.0) beta) (*.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))))
1554043277.058 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (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))))>
1554043277.058 * * * * [progress]: [ 6 / 9 ] 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))))>
1554043277.058 * [simplify]: Simplifying (+.p16 alpha beta)
1554043277.058 * * [simplify]: iters left: 1 (3 enodes)
1554043277.059 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043277.059 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043277.059 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043277.059 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043277.059 * [simplify]: Simplified to (+.p16 beta alpha)
1554043277.059 * [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))))
1554043277.059 * * * * [progress]: [ 7 / 9 ] 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))))>
1554043277.059 * [simplify]: Simplifying (+.p16 alpha beta)
1554043277.059 * * [simplify]: iters left: 1 (3 enodes)
1554043277.060 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043277.060 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043277.060 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043277.060 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043277.060 * [simplify]: Simplified to (+.p16 beta alpha)
1554043277.060 * [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))))
1554043277.060 * * * * [progress]: [ 8 / 9 ] 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))))>
1554043277.060 * [simplify]: Simplifying (+.p16 alpha beta)
1554043277.060 * * [simplify]: iters left: 1 (3 enodes)
1554043277.061 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043277.061 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043277.061 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043277.061 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043277.061 * [simplify]: Simplified to (+.p16 beta alpha)
1554043277.061 * [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))))
1554043277.061 * * * * [progress]: [ 9 / 9 ] 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))))>
1554043277.061 * [simplify]: Simplifying (+.p16 alpha beta)
1554043277.061 * * [simplify]: iters left: 1 (3 enodes)
1554043277.062 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043277.062 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043277.062 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043277.062 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043277.062 * [simplify]: Simplified to (+.p16 beta alpha)
1554043277.062 * [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))))
1554043277.062 * * * [progress]: adding candidates to table
1554043277.501 * * [progress]: iteration 3 / 4
1554043277.501 * * * [progress]: picking best candidate
1554043277.616 * * * * [pick]: Picked  #<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))))>
1554043277.616 * * * [progress]: localizing error
1554043277.990 * * * [progress]: generating rewritten candidates
1554043277.990 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043278.022 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1554043278.026 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1554043278.032 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1554043278.075 * * * [progress]: generating series expansions
1554043278.075 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043278.075 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1554043278.075 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1554043278.075 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1554043278.075 * * * [progress]: simplifying candidates
1554043278.075 * * * * [progress]: [ 1 / 8 ] 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))))>
1554043278.076 * [simplify]: Simplifying (*.p16 beta alpha)
1554043278.076 * * [simplify]: iters left: 1 (3 enodes)
1554043278.077 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043278.077 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043278.077 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043278.077 * * [simplify]: Extracting #3: cost 0 inf + 324
1554043278.077 * [simplify]: Simplified to (*.p16 alpha beta)
1554043278.077 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.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))))
1554043278.077 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) 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))))>
1554043278.077 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 (*.p16 beta 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))))>
1554043278.077 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 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))))>
1554043278.078 * [simplify]: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
1554043278.078 * * [simplify]: iters left: 4 (8 enodes)
1554043278.082 * * [simplify]: iters left: 3 (21 enodes)
1554043278.091 * * [simplify]: iters left: 2 (41 enodes)
1554043278.103 * * [simplify]: iters left: 1 (61 enodes)
1554043278.115 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043278.115 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043278.115 * * [simplify]: Extracting #2: cost 17 inf + 2
1554043278.115 * * [simplify]: Extracting #3: cost 12 inf + 1091
1554043278.116 * * [simplify]: Extracting #4: cost 3 inf + 3553
1554043278.116 * * [simplify]: Extracting #5: cost 0 inf + 4280
1554043278.117 * [simplify]: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
1554043278.117 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.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))))
1554043278.117 * * * * [progress]: [ 5 / 8 ] 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))))>
1554043278.117 * * * * [progress]: [ 6 / 8 ] 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))))>
1554043278.117 * * * * [progress]: [ 7 / 8 ] 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))))>
1554043278.117 * * * * [progress]: [ 8 / 8 ] 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))))>
1554043278.117 * * * [progress]: adding candidates to table
1554043278.604 * * [progress]: iteration 4 / 4
1554043278.604 * * * [progress]: picking best candidate
1554043278.827 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))>
1554043278.827 * * * [progress]: localizing error
1554043279.571 * * * [progress]: generating rewritten candidates
1554043279.571 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043279.595 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1554043279.607 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
1554043279.615 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1554043279.650 * * * [progress]: generating series expansions
1554043279.650 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043279.650 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1554043279.650 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
1554043279.650 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1554043279.650 * * * [progress]: simplifying candidates
1554043279.650 * * * * [progress]: [ 1 / 9 ] 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))))>
1554043279.650 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (real->posit16 1.0))
1554043279.651 * * [simplify]: iters left: 2 (6 enodes)
1554043279.654 * * [simplify]: iters left: 1 (13 enodes)
1554043279.658 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043279.658 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043279.658 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043279.658 * * [simplify]: Extracting #3: cost 2 inf + 4
1554043279.658 * * [simplify]: Extracting #4: cost 0 inf + 689
1554043279.658 * [simplify]: Simplified to (+.p16 (*.p16 alpha beta) (real->posit16 1.0))
1554043279.659 * [simplify]: Simplified (2 1 1 1 2) 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))))
1554043279.659 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 (*.p16 beta alpha) (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))))>
1554043279.659 * * * * [progress]: [ 3 / 9 ] 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))))>
1554043279.659 * [simplify]: Simplifying (real->posit16 1.0)
1554043279.659 * * [simplify]: iters left: 1 (2 enodes)
1554043279.660 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043279.660 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043279.660 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043279.660 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043279.661 * [simplify]: Simplified to (real->posit16 1.0)
1554043279.661 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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))))
1554043279.661 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 (*.p16 beta 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))))>
1554043279.661 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
1554043279.661 * [simplify]: Simplifying (+.p16 alpha (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0))))
1554043279.661 * * [simplify]: iters left: 4 (8 enodes)
1554043279.665 * * [simplify]: iters left: 3 (21 enodes)
1554043279.672 * * [simplify]: iters left: 2 (43 enodes)
1554043279.686 * * [simplify]: iters left: 1 (66 enodes)
1554043279.706 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043279.706 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043279.707 * * [simplify]: Extracting #2: cost 16 inf + 2
1554043279.707 * * [simplify]: Extracting #3: cost 10 inf + 1493
1554043279.708 * * [simplify]: Extracting #4: cost 1 inf + 3555
1554043279.709 * * [simplify]: Extracting #5: cost 0 inf + 3877
1554043279.710 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0)))
1554043279.710 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 (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))))
1554043279.710 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))>
1554043279.710 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))>
1554043279.710 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))>
1554043279.710 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))>
1554043279.710 * * * [progress]: adding candidates to table
1554043280.152 * [progress]: [Phase 3 of 3] Extracting.
1554043280.152 * * [regime]: Finding splitpoints for: (#<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))))> #<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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.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 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))))> #<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))))))>)
1554043280.156 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
1554043280.156 * * * * [regimes]: Trying to branch on beta from (#<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))))> #<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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.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 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))))> #<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))))))>)
1554043280.636 * * * * [regimes]: Trying to branch on alpha from (#<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))))> #<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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.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 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))))> #<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))))))>)
1554043281.135 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
1554043281.136 * [simplify]: Simplifying (/.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)))
1554043281.136 * * [simplify]: iters left: 6 (18 enodes)
1554043281.139 * * [simplify]: iters left: 5 (20 enodes)
1554043281.141 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043281.141 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043281.141 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043281.141 * * [simplify]: Extracting #3: cost 10 inf + 0
1554043281.141 * * [simplify]: Extracting #4: cost 13 inf + 2
1554043281.141 * * [simplify]: Extracting #5: cost 14 inf + 4
1554043281.141 * * [simplify]: Extracting #6: cost 8 inf + 372
1554043281.142 * * [simplify]: Extracting #7: cost 4 inf + 1904
1554043281.142 * * [simplify]: Extracting #8: cost 1 inf + 5279
1554043281.143 * * [simplify]: Extracting #9: cost 0 inf + 7444
1554043281.143 * [simplify]: Simplified to (/.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)))
1554043281.143 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043281.194 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043281.204 * * * * [points]: Setting MPFR precision to 64
1554043281.207 * * * * [points]: Setting MPFR precision to 320
1554043281.209 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043281.218 * * * * [points]: Setting MPFR precision to 64
1554043281.221 * * * * [points]: Setting MPFR precision to 320
1554043281.226 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043281.235 * * * * [points]: Setting MPFR precision to 64
1554043281.243 * * * * [points]: Setting MPFR precision to 320
1554043281.252 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043281.261 * * * * [points]: Setting MPFR precision to 64
1554043281.276 * * * * [points]: Setting MPFR precision to 320
1554043281.293 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043281.302 * * * * [points]: Setting MPFR precision to 64
1554043281.332 * * * * [points]: Setting MPFR precision to 320
1554043281.366 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043281.406 * * * * [points]: Setting MPFR precision to 64
1554043281.470 * * * * [points]: Setting MPFR precision to 320
1554043281.540 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043281.549 * * * * [points]: Setting MPFR precision to 64
1554043281.717 * * * * [points]: Setting MPFR precision to 320
1554043281.812 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043281.817 * * * * [points]: Setting MPFR precision to 64
1554043282.110 * * * * [points]: Setting MPFR precision to 320
1554043282.392 * * * * [points]: Computing exacts for 8000 points
1554043282.402 * * * * [points]: Setting MPFR precision to 64
1554043283.492 * * * * [points]: Setting MPFR precision to 320
1554043284.516 * * * * [points]: Filtering points with unrepresentable outputs
1554043284.768 * * * * [points]: Sampling 3565 additional inputs, on iter 1 have 4435 / 8000
1554043284.778 * * * * [points]: Computing exacts on every 222 of 3565 points to ramp up precision
1554043284.783 * * * * [points]: Setting MPFR precision to 64
1554043284.784 * * * * [points]: Setting MPFR precision to 320
1554043284.785 * * * * [points]: Computing exacts on every 111 of 3565 points to ramp up precision
1554043284.789 * * * * [points]: Setting MPFR precision to 64
1554043284.791 * * * * [points]: Setting MPFR precision to 320
1554043284.794 * * * * [points]: Computing exacts on every 55 of 3565 points to ramp up precision
1554043284.798 * * * * [points]: Setting MPFR precision to 64
1554043284.804 * * * * [points]: Setting MPFR precision to 320
1554043284.813 * * * * [points]: Computing exacts on every 27 of 3565 points to ramp up precision
1554043284.822 * * * * [points]: Setting MPFR precision to 64
1554043284.837 * * * * [points]: Setting MPFR precision to 320
1554043284.854 * * * * [points]: Computing exacts on every 13 of 3565 points to ramp up precision
1554043284.862 * * * * [points]: Setting MPFR precision to 64
1554043284.891 * * * * [points]: Setting MPFR precision to 320
1554043284.958 * * * * [points]: Computing exacts on every 6 of 3565 points to ramp up precision
1554043284.967 * * * * [points]: Setting MPFR precision to 64
1554043285.023 * * * * [points]: Setting MPFR precision to 320
1554043285.061 * * * * [points]: Computing exacts on every 3 of 3565 points to ramp up precision
1554043285.066 * * * * [points]: Setting MPFR precision to 64
1554043285.159 * * * * [points]: Setting MPFR precision to 320
1554043285.281 * * * * [points]: Computing exacts for 3565 points
1554043285.291 * * * * [points]: Setting MPFR precision to 64
1554043285.841 * * * * [points]: Setting MPFR precision to 320
1554043286.689 * * * * [points]: Filtering points with unrepresentable outputs
1554043286.891 * * * * [points]: Sampling 1548 additional inputs, on iter 2 have 6452 / 8000
1554043286.915 * * * * [points]: Computing exacts on every 96 of 1548 points to ramp up precision
1554043286.924 * * * * [points]: Setting MPFR precision to 64
1554043286.926 * * * * [points]: Setting MPFR precision to 320
1554043286.928 * * * * [points]: Computing exacts on every 48 of 1548 points to ramp up precision
1554043286.937 * * * * [points]: Setting MPFR precision to 64
1554043286.940 * * * * [points]: Setting MPFR precision to 320
1554043286.944 * * * * [points]: Computing exacts on every 24 of 1548 points to ramp up precision
1554043286.953 * * * * [points]: Setting MPFR precision to 64
1554043286.960 * * * * [points]: Setting MPFR precision to 320
1554043286.969 * * * * [points]: Computing exacts on every 12 of 1548 points to ramp up precision
1554043286.978 * * * * [points]: Setting MPFR precision to 64
1554043286.992 * * * * [points]: Setting MPFR precision to 320
1554043287.009 * * * * [points]: Computing exacts on every 6 of 1548 points to ramp up precision
1554043287.018 * * * * [points]: Setting MPFR precision to 64
1554043287.045 * * * * [points]: Setting MPFR precision to 320
1554043287.067 * * * * [points]: Computing exacts on every 3 of 1548 points to ramp up precision
1554043287.072 * * * * [points]: Setting MPFR precision to 64
1554043287.126 * * * * [points]: Setting MPFR precision to 320
1554043287.156 * * * * [points]: Computing exacts for 1548 points
1554043287.160 * * * * [points]: Setting MPFR precision to 64
1554043287.347 * * * * [points]: Setting MPFR precision to 320
1554043287.610 * * * * [points]: Filtering points with unrepresentable outputs
1554043287.673 * * * * [points]: Sampling 652 additional inputs, on iter 3 have 7348 / 8000
1554043287.677 * * * * [points]: Computing exacts on every 40 of 652 points to ramp up precision
1554043287.685 * * * * [points]: Setting MPFR precision to 64
1554043287.687 * * * * [points]: Setting MPFR precision to 320
1554043287.688 * * * * [points]: Computing exacts on every 20 of 652 points to ramp up precision
1554043287.696 * * * * [points]: Setting MPFR precision to 64
1554043287.699 * * * * [points]: Setting MPFR precision to 320
1554043287.703 * * * * [points]: Computing exacts on every 10 of 652 points to ramp up precision
1554043287.737 * * * * [points]: Setting MPFR precision to 64
1554043287.743 * * * * [points]: Setting MPFR precision to 320
1554043287.751 * * * * [points]: Computing exacts on every 5 of 652 points to ramp up precision
1554043287.758 * * * * [points]: Setting MPFR precision to 64
1554043287.765 * * * * [points]: Setting MPFR precision to 320
1554043287.773 * * * * [points]: Computing exacts on every 2 of 652 points to ramp up precision
1554043287.777 * * * * [points]: Setting MPFR precision to 64
1554043287.795 * * * * [points]: Setting MPFR precision to 320
1554043287.824 * * * * [points]: Computing exacts for 652 points
1554043287.833 * * * * [points]: Setting MPFR precision to 64
1554043287.935 * * * * [points]: Setting MPFR precision to 320
1554043287.991 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.010 * * * * [points]: Sampling 296 additional inputs, on iter 4 have 7704 / 8000
1554043288.012 * * * * [points]: Computing exacts on every 18 of 296 points to ramp up precision
1554043288.021 * * * * [points]: Setting MPFR precision to 64
1554043288.023 * * * * [points]: Setting MPFR precision to 320
1554043288.025 * * * * [points]: Computing exacts on every 9 of 296 points to ramp up precision
1554043288.031 * * * * [points]: Setting MPFR precision to 64
1554043288.033 * * * * [points]: Setting MPFR precision to 320
1554043288.035 * * * * [points]: Computing exacts on every 4 of 296 points to ramp up precision
1554043288.040 * * * * [points]: Setting MPFR precision to 64
1554043288.043 * * * * [points]: Setting MPFR precision to 320
1554043288.048 * * * * [points]: Computing exacts on every 2 of 296 points to ramp up precision
1554043288.072 * * * * [points]: Setting MPFR precision to 64
1554043288.081 * * * * [points]: Setting MPFR precision to 320
1554043288.094 * * * * [points]: Computing exacts for 296 points
1554043288.098 * * * * [points]: Setting MPFR precision to 64
1554043288.118 * * * * [points]: Setting MPFR precision to 320
1554043288.141 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.152 * * * * [points]: Sampling 120 additional inputs, on iter 5 have 7880 / 8000
1554043288.152 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
1554043288.156 * * * * [points]: Setting MPFR precision to 64
1554043288.158 * * * * [points]: Setting MPFR precision to 320
1554043288.159 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
1554043288.163 * * * * [points]: Setting MPFR precision to 64
1554043288.165 * * * * [points]: Setting MPFR precision to 320
1554043288.168 * * * * [points]: Computing exacts for 120 points
1554043288.172 * * * * [points]: Setting MPFR precision to 64
1554043288.200 * * * * [points]: Setting MPFR precision to 320
1554043288.214 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.222 * * * * [points]: Sampling 49 additional inputs, on iter 6 have 7951 / 8000
1554043288.222 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
1554043288.231 * * * * [points]: Setting MPFR precision to 64
1554043288.233 * * * * [points]: Setting MPFR precision to 320
1554043288.235 * * * * [points]: Computing exacts for 49 points
1554043288.244 * * * * [points]: Setting MPFR precision to 64
1554043288.250 * * * * [points]: Setting MPFR precision to 320
1554043288.255 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.257 * * * * [points]: Sampling 19 additional inputs, on iter 7 have 7981 / 8000
1554043288.257 * * * * [points]: Computing exacts for 19 points
1554043288.262 * * * * [points]: Setting MPFR precision to 64
1554043288.263 * * * * [points]: Setting MPFR precision to 320
1554043288.265 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.265 * * * * [points]: Sampling 8 additional inputs, on iter 8 have 7992 / 8000
1554043288.265 * * * * [points]: Computing exacts for 8 points
1554043288.270 * * * * [points]: Setting MPFR precision to 64
1554043288.271 * * * * [points]: Setting MPFR precision to 320
1554043288.271 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.272 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 7998 / 8000
1554043288.272 * * * * [points]: Computing exacts for 4 points
1554043288.276 * * * * [points]: Setting MPFR precision to 64
1554043288.277 * * * * [points]: Setting MPFR precision to 320
1554043288.277 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.277 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
1554043288.277 * * * * [points]: Computing exacts for 4 points
1554043288.282 * * * * [points]: Setting MPFR precision to 64
1554043288.283 * * * * [points]: Setting MPFR precision to 320
1554043288.283 * * * * [points]: Filtering points with unrepresentable outputs
1554043288.283 * * * * [points]: Sampled 8001 points with exact outputs
1554043294.054 * [regime-testing]: Baseline error score: 64.0
1554043294.057 * [regime-testing]: Oracle error score: 64.0
1554043294.065 * [regime-testing]: End program error score: 0.383639027339936