1552126574.169 * [progress]: [Phase 1 of 3] Setting up.
1552126574.169 * * * [progress]: [1/2] Preparing points
1552126574.170 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126574.171 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126574.179 * * * * [points]: Setting MPFR precision to 64
1552126574.182 * * * * [points]: Setting MPFR precision to 320
1552126574.184 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126574.193 * * * * [points]: Setting MPFR precision to 64
1552126574.196 * * * * [points]: Setting MPFR precision to 320
1552126574.200 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126574.209 * * * * [points]: Setting MPFR precision to 64
1552126574.215 * * * * [points]: Setting MPFR precision to 320
1552126574.222 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126574.232 * * * * [points]: Setting MPFR precision to 64
1552126574.242 * * * * [points]: Setting MPFR precision to 320
1552126574.270 * * * * [points]: Computing exacts for 256 points
1552126574.281 * * * * [points]: Setting MPFR precision to 64
1552126574.311 * * * * [points]: Setting MPFR precision to 320
1552126574.339 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.350 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
1552126574.350 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
1552126574.359 * * * * [points]: Setting MPFR precision to 64
1552126574.360 * * * * [points]: Setting MPFR precision to 320
1552126574.362 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
1552126574.370 * * * * [points]: Setting MPFR precision to 64
1552126574.373 * * * * [points]: Setting MPFR precision to 320
1552126574.376 * * * * [points]: Computing exacts for 119 points
1552126574.384 * * * * [points]: Setting MPFR precision to 64
1552126574.397 * * * * [points]: Setting MPFR precision to 320
1552126574.412 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.417 * * * * [points]: Sampling 48 additional inputs, on iter 2 have 208 / 256
1552126574.417 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
1552126574.422 * * * * [points]: Setting MPFR precision to 64
1552126574.423 * * * * [points]: Setting MPFR precision to 320
1552126574.424 * * * * [points]: Computing exacts for 48 points
1552126574.447 * * * * [points]: Setting MPFR precision to 64
1552126574.450 * * * * [points]: Setting MPFR precision to 320
1552126574.454 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.455 * * * * [points]: Sampling 20 additional inputs, on iter 3 have 236 / 256
1552126574.455 * * * * [points]: Computing exacts for 20 points
1552126574.459 * * * * [points]: Setting MPFR precision to 64
1552126574.461 * * * * [points]: Setting MPFR precision to 320
1552126574.462 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.463 * * * * [points]: Sampling 6 additional inputs, on iter 4 have 250 / 256
1552126574.463 * * * * [points]: Computing exacts for 6 points
1552126574.467 * * * * [points]: Setting MPFR precision to 64
1552126574.468 * * * * [points]: Setting MPFR precision to 320
1552126574.468 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.469 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 255 / 256
1552126574.469 * * * * [points]: Computing exacts for 4 points
1552126574.473 * * * * [points]: Setting MPFR precision to 64
1552126574.473 * * * * [points]: Setting MPFR precision to 320
1552126574.474 * * * * [points]: Filtering points with unrepresentable outputs
1552126574.474 * * * * [points]: Sampled 258 points with exact outputs
1552126574.474 * * * [progress]: [2/2] Setting up program.
1552126574.496 * [progress]: [Phase 2 of 3] Improving.
1552126574.496 * * * * [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))))>
1552126574.496 * [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)))
1552126574.496 * * [simplify]: iters left: 6 (18 enodes)
1552126574.501 * * [simplify]: iters left: 5 (46 enodes)
1552126574.510 * * [simplify]: iters left: 4 (118 enodes)
1552126574.581 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126574.581 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126574.582 * * [simplify]: Extracting #2: cost 62 inf + 0
1552126574.583 * * [simplify]: Extracting #3: cost 165 inf + 2
1552126574.584 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552126574.587 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552126574.589 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552126574.593 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552126574.600 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552126574.608 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552126574.617 * [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)))))
1552126574.617 * [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))))))
1552126574.682 * * [progress]: iteration 1 / 4
1552126574.682 * * * [progress]: picking best candidate
1552126574.725 * * * * [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))))>
1552126574.725 * * * [progress]: localizing error
1552126575.226 * * * [progress]: generating rewritten candidates
1552126575.226 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552126575.239 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1552126575.243 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552126575.266 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552126575.292 * * * [progress]: generating series expansions
1552126575.292 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552126575.292 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1552126575.292 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552126575.292 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552126575.292 * * * [progress]: simplifying candidates
1552126575.292 * * * * [progress]: [ 1 / 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))))>
1552126575.292 * * * * [progress]: [ 2 / 8 ] 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))))>
1552126575.292 * * * * [progress]: [ 3 / 8 ] 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))))>
1552126575.292 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
1552126575.292 * * [simplify]: iters left: 3 (8 enodes)
1552126575.298 * * [simplify]: iters left: 2 (21 enodes)
1552126575.302 * * [simplify]: iters left: 1 (43 enodes)
1552126575.309 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126575.309 * * [simplify]: Extracting #1: cost 16 inf + 0
1552126575.309 * * [simplify]: Extracting #2: cost 16 inf + 2
1552126575.309 * * [simplify]: Extracting #3: cost 13 inf + 367
1552126575.310 * * [simplify]: Extracting #4: cost 0 inf + 3718
1552126575.310 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
1552126575.310 * [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))))
1552126575.311 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.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 (+.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))))))>
1552126575.311 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126575.311 * * [simplify]: iters left: 4 (15 enodes)
1552126575.315 * * [simplify]: iters left: 3 (36 enodes)
1552126575.325 * * [simplify]: iters left: 2 (66 enodes)
1552126575.342 * * [simplify]: iters left: 1 (90 enodes)
1552126575.356 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126575.356 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126575.356 * * [simplify]: Extracting #2: cost 20 inf + 0
1552126575.356 * * [simplify]: Extracting #3: cost 23 inf + 2
1552126575.357 * * [simplify]: Extracting #4: cost 19 inf + 1493
1552126575.357 * * [simplify]: Extracting #5: cost 9 inf + 3152
1552126575.358 * * [simplify]: Extracting #6: cost 2 inf + 4970
1552126575.358 * * [simplify]: Extracting #7: cost 0 inf + 6578
1552126575.359 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552126575.359 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.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))))))
1552126575.359 * * * * [progress]: [ 5 / 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))))>
1552126575.359 * [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)))
1552126575.359 * * [simplify]: iters left: 6 (18 enodes)
1552126575.364 * * [simplify]: iters left: 5 (46 enodes)
1552126575.373 * * [simplify]: iters left: 4 (118 enodes)
1552126575.431 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126575.431 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126575.432 * * [simplify]: Extracting #2: cost 62 inf + 0
1552126575.432 * * [simplify]: Extracting #3: cost 165 inf + 2
1552126575.433 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552126575.434 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552126575.435 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552126575.438 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552126575.447 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552126575.461 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552126575.471 * [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)))))
1552126575.471 * [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))))))
1552126575.471 * * * * [progress]: [ 6 / 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))))>
1552126575.471 * [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)))
1552126575.471 * * [simplify]: iters left: 6 (18 enodes)
1552126575.476 * * [simplify]: iters left: 5 (46 enodes)
1552126575.491 * * [simplify]: iters left: 4 (118 enodes)
1552126575.532 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126575.532 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126575.532 * * [simplify]: Extracting #2: cost 62 inf + 0
1552126575.533 * * [simplify]: Extracting #3: cost 165 inf + 2
1552126575.533 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552126575.535 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552126575.536 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552126575.539 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552126575.546 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552126575.555 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552126575.565 * [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)))))
1552126575.565 * [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))))))
1552126575.565 * * * * [progress]: [ 7 / 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))))>
1552126575.565 * [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)))
1552126575.566 * * [simplify]: iters left: 6 (18 enodes)
1552126575.570 * * [simplify]: iters left: 5 (46 enodes)
1552126575.579 * * [simplify]: iters left: 4 (118 enodes)
1552126575.614 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126575.614 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126575.614 * * [simplify]: Extracting #2: cost 62 inf + 0
1552126575.615 * * [simplify]: Extracting #3: cost 165 inf + 2
1552126575.615 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552126575.617 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552126575.618 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552126575.621 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552126575.630 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552126575.638 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552126575.647 * [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)))))
1552126575.647 * [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))))))
1552126575.647 * * * * [progress]: [ 8 / 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))))>
1552126575.647 * [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)))
1552126575.648 * * [simplify]: iters left: 6 (18 enodes)
1552126575.652 * * [simplify]: iters left: 5 (46 enodes)
1552126575.661 * * [simplify]: iters left: 4 (118 enodes)
1552126575.695 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126575.695 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126575.695 * * [simplify]: Extracting #2: cost 62 inf + 0
1552126575.696 * * [simplify]: Extracting #3: cost 165 inf + 2
1552126575.696 * * [simplify]: Extracting #4: cost 154 inf + 3708
1552126575.700 * * [simplify]: Extracting #5: cost 131 inf + 9961
1552126575.701 * * [simplify]: Extracting #6: cost 129 inf + 10365
1552126575.704 * * [simplify]: Extracting #7: cost 82 inf + 46686
1552126575.711 * * [simplify]: Extracting #8: cost 5 inf + 102245
1552126575.722 * * [simplify]: Extracting #9: cost 0 inf + 105668
1552126575.732 * [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)))))
1552126575.732 * [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))))))
1552126575.732 * * * [progress]: adding candidates to table
1552126576.579 * * [progress]: iteration 2 / 4
1552126576.579 * * * [progress]: picking best candidate
1552126576.704 * * * * [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))))>
1552126576.704 * * * [progress]: localizing error
1552126576.881 * * * [progress]: generating rewritten candidates
1552126576.881 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552126576.887 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1552126576.888 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1552126576.889 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1552126576.896 * * * [progress]: generating series expansions
1552126576.896 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552126576.896 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1552126576.896 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1552126576.896 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1552126576.896 * * * [progress]: simplifying candidates
1552126576.896 * * * * [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))))>
1552126576.896 * [simplify]: Simplifying (*.p16 beta alpha)
1552126576.896 * * [simplify]: iters left: 1 (3 enodes)
1552126576.904 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126576.904 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126576.904 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126576.904 * * [simplify]: Extracting #3: cost 0 inf + 324
1552126576.904 * [simplify]: Simplified to (*.p16 alpha beta)
1552126576.904 * [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))))
1552126576.904 * * * * [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))))>
1552126576.904 * * * * [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))))>
1552126576.904 * * * * [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))))>
1552126576.904 * [simplify]: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
1552126576.904 * * [simplify]: iters left: 4 (8 enodes)
1552126576.907 * * [simplify]: iters left: 3 (21 enodes)
1552126576.912 * * [simplify]: iters left: 2 (41 enodes)
1552126576.924 * * [simplify]: iters left: 1 (61 enodes)
1552126576.942 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126576.942 * * [simplify]: Extracting #1: cost 16 inf + 0
1552126576.942 * * [simplify]: Extracting #2: cost 17 inf + 2
1552126576.942 * * [simplify]: Extracting #3: cost 12 inf + 1091
1552126576.943 * * [simplify]: Extracting #4: cost 3 inf + 3553
1552126576.944 * * [simplify]: Extracting #5: cost 0 inf + 4280
1552126576.945 * [simplify]: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
1552126576.945 * [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))))
1552126576.945 * * * * [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))))>
1552126576.945 * * * * [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))))>
1552126576.945 * * * * [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))))>
1552126576.945 * * * * [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))))>
1552126576.946 * * * [progress]: adding candidates to table
1552126577.332 * * [progress]: iteration 3 / 4
1552126577.332 * * * [progress]: picking best candidate
1552126577.442 * * * * [pick]: Picked  #<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))))>
1552126577.443 * * * [progress]: localizing error
1552126577.732 * * * [progress]: generating rewritten candidates
1552126577.732 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552126577.740 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1552126577.748 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552126577.753 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552126577.776 * * * [progress]: generating series expansions
1552126577.777 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552126577.777 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1552126577.777 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552126577.777 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552126577.777 * * * [progress]: simplifying candidates
1552126577.777 * * * * [progress]: [ 1 / 15 ] 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))))>
1552126577.777 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126577.777 * * [simplify]: iters left: 3 (9 enodes)
1552126577.780 * * [simplify]: iters left: 2 (22 enodes)
1552126577.784 * * [simplify]: iters left: 1 (30 enodes)
1552126577.789 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126577.789 * * [simplify]: Extracting #1: cost 7 inf + 0
1552126577.789 * * [simplify]: Extracting #2: cost 7 inf + 2
1552126577.789 * * [simplify]: Extracting #3: cost 8 inf + 44
1552126577.789 * * [simplify]: Extracting #4: cost 4 inf + 48
1552126577.789 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552126577.790 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552126577.790 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126577.790 * [simplify]: Simplified (2 1 2) to (λ (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 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126577.790 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.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))))>
1552126577.791 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552126577.791 * * [simplify]: iters left: 2 (4 enodes)
1552126577.793 * * [simplify]: iters left: 1 (8 enodes)
1552126577.796 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126577.796 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126577.796 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126577.796 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126577.796 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552126577.796 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.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))))
1552126577.796 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.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))))>
1552126577.797 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126577.797 * * [simplify]: iters left: 4 (13 enodes)
1552126577.803 * * [simplify]: iters left: 3 (28 enodes)
1552126577.812 * * [simplify]: iters left: 2 (36 enodes)
1552126577.824 * * [simplify]: iters left: 1 (38 enodes)
1552126577.833 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126577.833 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126577.833 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126577.833 * * [simplify]: Extracting #3: cost 11 inf + 2
1552126577.833 * * [simplify]: Extracting #4: cost 11 inf + 45
1552126577.833 * * [simplify]: Extracting #5: cost 5 inf + 92
1552126577.833 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552126577.834 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552126577.834 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552126577.834 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.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))))
1552126577.834 * [simplify]: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126577.834 * * [simplify]: iters left: 4 (13 enodes)
1552126577.838 * * [simplify]: iters left: 3 (28 enodes)
1552126577.843 * * [simplify]: iters left: 2 (36 enodes)
1552126577.849 * * [simplify]: iters left: 1 (38 enodes)
1552126577.855 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126577.855 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126577.855 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126577.855 * * [simplify]: Extracting #3: cost 11 inf + 2
1552126577.855 * * [simplify]: Extracting #4: cost 11 inf + 45
1552126577.855 * * [simplify]: Extracting #5: cost 5 inf + 92
1552126577.855 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552126577.855 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552126577.856 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
1552126577.856 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126577.856 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552126577.856 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126577.856 * * [simplify]: iters left: 4 (10 enodes)
1552126577.860 * * [simplify]: iters left: 3 (26 enodes)
1552126577.867 * * [simplify]: iters left: 2 (53 enodes)
1552126577.881 * * [simplify]: iters left: 1 (150 enodes)
1552126577.933 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126577.933 * * [simplify]: Extracting #1: cost 24 inf + 0
1552126577.934 * * [simplify]: Extracting #2: cost 52 inf + 0
1552126577.934 * * [simplify]: Extracting #3: cost 46 inf + 970
1552126577.937 * * [simplify]: Extracting #4: cost 14 inf + 16705
1552126577.941 * * [simplify]: Extracting #5: cost 0 inf + 25635
1552126577.944 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126577.944 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126577.944 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126577.944 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126577.944 * * [simplify]: iters left: 4 (10 enodes)
1552126577.947 * * [simplify]: iters left: 3 (31 enodes)
1552126577.955 * * [simplify]: iters left: 2 (85 enodes)
1552126577.981 * * [simplify]: iters left: 1 (201 enodes)
1552126578.046 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.046 * * [simplify]: Extracting #1: cost 27 inf + 0
1552126578.046 * * [simplify]: Extracting #2: cost 61 inf + 0
1552126578.047 * * [simplify]: Extracting #3: cost 50 inf + 1655
1552126578.049 * * [simplify]: Extracting #4: cost 9 inf + 29980
1552126578.051 * * [simplify]: Extracting #5: cost 0 inf + 35454
1552126578.054 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
1552126578.054 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126578.055 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<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))))>
1552126578.055 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (*.p16 (+.p16 beta (real->posit16 1.0)) (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))))>
1552126578.055 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))
1552126578.055 * * [simplify]: iters left: 3 (5 enodes)
1552126578.056 * * [simplify]: iters left: 2 (10 enodes)
1552126578.058 * * [simplify]: iters left: 1 (21 enodes)
1552126578.067 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.067 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126578.067 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126578.067 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126578.067 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552126578.067 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) 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))))
1552126578.068 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 1.0) (+.p16 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))))>
1552126578.068 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))
1552126578.068 * * [simplify]: iters left: 3 (5 enodes)
1552126578.069 * * [simplify]: iters left: 2 (15 enodes)
1552126578.073 * * [simplify]: iters left: 1 (29 enodes)
1552126578.077 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.077 * * [simplify]: Extracting #1: cost 13 inf + 0
1552126578.077 * * [simplify]: Extracting #2: cost 15 inf + 1
1552126578.077 * * [simplify]: Extracting #3: cost 14 inf + 2
1552126578.077 * * [simplify]: Extracting #4: cost 0 inf + 3946
1552126578.078 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552126578.078 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) 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))))
1552126578.078 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 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))))>
1552126578.078 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
1552126578.078 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126578.078 * * [simplify]: iters left: 4 (13 enodes)
1552126578.081 * * [simplify]: iters left: 3 (28 enodes)
1552126578.087 * * [simplify]: iters left: 2 (36 enodes)
1552126578.099 * * [simplify]: iters left: 1 (38 enodes)
1552126578.114 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.114 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126578.114 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126578.114 * * [simplify]: Extracting #3: cost 11 inf + 2
1552126578.114 * * [simplify]: Extracting #4: cost 11 inf + 45
1552126578.114 * * [simplify]: Extracting #5: cost 5 inf + 92
1552126578.114 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552126578.115 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552126578.115 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552126578.115 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552126578.115 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.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)))))))>
1552126578.115 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
1552126578.115 * * [simplify]: iters left: 3 (7 enodes)
1552126578.117 * * [simplify]: iters left: 2 (21 enodes)
1552126578.122 * * [simplify]: iters left: 1 (51 enodes)
1552126578.146 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.146 * * [simplify]: Extracting #1: cost 18 inf + 0
1552126578.147 * * [simplify]: Extracting #2: cost 18 inf + 324
1552126578.147 * * [simplify]: Extracting #3: cost 13 inf + 1853
1552126578.147 * * [simplify]: Extracting #4: cost 9 inf + 2620
1552126578.148 * * [simplify]: Extracting #5: cost 0 inf + 5164
1552126578.149 * * [simplify]: Extracting #6: cost 0 inf + 5124
1552126578.151 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) beta))
1552126578.151 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) 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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
1552126578.151 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<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))))>
1552126578.151 * [simplify]: Simplifying (/.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)))
1552126578.151 * * [simplify]: iters left: 6 (18 enodes)
1552126578.160 * * [simplify]: iters left: 5 (59 enodes)
1552126578.185 * * [simplify]: iters left: 4 (196 enodes)
1552126578.356 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.356 * * [simplify]: Extracting #1: cost 38 inf + 0
1552126578.356 * * [simplify]: Extracting #2: cost 190 inf + 0
1552126578.357 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552126578.359 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552126578.361 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552126578.365 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552126578.383 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552126578.424 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552126578.460 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552126578.499 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552126578.499 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552126578.499 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<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))))>
1552126578.499 * [simplify]: Simplifying (/.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)))
1552126578.500 * * [simplify]: iters left: 6 (18 enodes)
1552126578.509 * * [simplify]: iters left: 5 (59 enodes)
1552126578.533 * * [simplify]: iters left: 4 (196 enodes)
1552126578.672 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.672 * * [simplify]: Extracting #1: cost 38 inf + 0
1552126578.673 * * [simplify]: Extracting #2: cost 190 inf + 0
1552126578.674 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552126578.676 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552126578.677 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552126578.683 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552126578.703 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552126578.724 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552126578.749 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552126578.786 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552126578.786 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552126578.786 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<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))))>
1552126578.786 * [simplify]: Simplifying (/.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)))
1552126578.786 * * [simplify]: iters left: 6 (18 enodes)
1552126578.792 * * [simplify]: iters left: 5 (59 enodes)
1552126578.806 * * [simplify]: iters left: 4 (196 enodes)
1552126578.929 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126578.929 * * [simplify]: Extracting #1: cost 38 inf + 0
1552126578.929 * * [simplify]: Extracting #2: cost 190 inf + 0
1552126578.930 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552126578.932 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552126578.934 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552126578.937 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552126578.951 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552126578.973 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552126578.994 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552126579.028 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552126579.028 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552126579.028 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<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))))>
1552126579.028 * [simplify]: Simplifying (/.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)))
1552126579.029 * * [simplify]: iters left: 6 (18 enodes)
1552126579.038 * * [simplify]: iters left: 5 (59 enodes)
1552126579.065 * * [simplify]: iters left: 4 (196 enodes)
1552126579.226 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126579.226 * * [simplify]: Extracting #1: cost 38 inf + 0
1552126579.227 * * [simplify]: Extracting #2: cost 190 inf + 0
1552126579.228 * * [simplify]: Extracting #3: cost 327 inf + 2221
1552126579.230 * * [simplify]: Extracting #4: cost 321 inf + 8062
1552126579.231 * * [simplify]: Extracting #5: cost 317 inf + 8387
1552126579.235 * * [simplify]: Extracting #6: cost 273 inf + 41676
1552126579.256 * * [simplify]: Extracting #7: cost 59 inf + 265243
1552126579.297 * * [simplify]: Extracting #8: cost 1 inf + 321409
1552126579.343 * * [simplify]: Extracting #9: cost 0 inf + 322974
1552126579.373 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
1552126579.373 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
1552126579.373 * * * [progress]: adding candidates to table
1552126580.214 * * [progress]: iteration 4 / 4
1552126580.214 * * * [progress]: picking best candidate
1552126580.397 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.397 * * * [progress]: localizing error
1552126580.558 * * * [progress]: generating rewritten candidates
1552126580.558 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552126580.561 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1552126580.565 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552126580.576 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1552126580.579 * * * [progress]: generating series expansions
1552126580.579 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552126580.579 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1552126580.579 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552126580.579 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1552126580.579 * * * [progress]: simplifying candidates
1552126580.579 * * * * [progress]: [ 1 / 19 ] 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))))>
1552126580.579 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.579 * * [simplify]: iters left: 3 (9 enodes)
1552126580.583 * * [simplify]: iters left: 2 (22 enodes)
1552126580.587 * * [simplify]: iters left: 1 (30 enodes)
1552126580.592 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.592 * * [simplify]: Extracting #1: cost 7 inf + 0
1552126580.593 * * [simplify]: Extracting #2: cost 7 inf + 2
1552126580.593 * * [simplify]: Extracting #3: cost 8 inf + 44
1552126580.593 * * [simplify]: Extracting #4: cost 4 inf + 48
1552126580.593 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552126580.593 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552126580.593 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.593 * [simplify]: Simplified (2 1 2) to (λ (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 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126580.593 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.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))))>
1552126580.593 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
1552126580.594 * * [simplify]: iters left: 2 (4 enodes)
1552126580.595 * * [simplify]: iters left: 1 (8 enodes)
1552126580.596 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.596 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126580.596 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126580.596 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126580.596 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552126580.596 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.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))))
1552126580.596 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.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))))>
1552126580.596 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126580.597 * * [simplify]: iters left: 4 (13 enodes)
1552126580.600 * * [simplify]: iters left: 3 (28 enodes)
1552126580.605 * * [simplify]: iters left: 2 (36 enodes)
1552126580.611 * * [simplify]: iters left: 1 (38 enodes)
1552126580.616 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.616 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126580.616 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126580.617 * * [simplify]: Extracting #3: cost 11 inf + 2
1552126580.617 * * [simplify]: Extracting #4: cost 11 inf + 45
1552126580.617 * * [simplify]: Extracting #5: cost 5 inf + 92
1552126580.617 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552126580.617 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552126580.617 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1552126580.617 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.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))))
1552126580.618 * [simplify]: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126580.618 * * [simplify]: iters left: 4 (13 enodes)
1552126580.621 * * [simplify]: iters left: 3 (28 enodes)
1552126580.626 * * [simplify]: iters left: 2 (36 enodes)
1552126580.631 * * [simplify]: iters left: 1 (38 enodes)
1552126580.637 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.637 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126580.638 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126580.638 * * [simplify]: Extracting #3: cost 11 inf + 2
1552126580.638 * * [simplify]: Extracting #4: cost 11 inf + 45
1552126580.638 * * [simplify]: Extracting #5: cost 5 inf + 92
1552126580.638 * * [simplify]: Extracting #6: cost 1 inf + 1544
1552126580.638 * * [simplify]: Extracting #7: cost 0 inf + 2429
1552126580.638 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
1552126580.638 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126580.639 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<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))))>
1552126580.639 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.639 * * [simplify]: iters left: 3 (9 enodes)
1552126580.641 * * [simplify]: iters left: 2 (22 enodes)
1552126580.645 * * [simplify]: iters left: 1 (30 enodes)
1552126580.650 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.650 * * [simplify]: Extracting #1: cost 7 inf + 0
1552126580.650 * * [simplify]: Extracting #2: cost 7 inf + 2
1552126580.650 * * [simplify]: Extracting #3: cost 8 inf + 44
1552126580.650 * * [simplify]: Extracting #4: cost 4 inf + 48
1552126580.650 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552126580.651 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552126580.651 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.651 * [simplify]: Simplified (2 1 2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 beta alpha) (*.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))))
1552126580.651 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.651 * * [simplify]: iters left: 3 (9 enodes)
1552126580.654 * * [simplify]: iters left: 2 (22 enodes)
1552126580.659 * * [simplify]: iters left: 1 (30 enodes)
1552126580.664 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.664 * * [simplify]: Extracting #1: cost 7 inf + 0
1552126580.664 * * [simplify]: Extracting #2: cost 7 inf + 2
1552126580.664 * * [simplify]: Extracting #3: cost 8 inf + 44
1552126580.664 * * [simplify]: Extracting #4: cost 4 inf + 48
1552126580.664 * * [simplify]: Extracting #5: cost 1 inf + 1137
1552126580.665 * * [simplify]: Extracting #6: cost 0 inf + 1500
1552126580.665 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.665 * [simplify]: Simplified (2 1 2 2) 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 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126580.665 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552126580.665 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.665 * * [simplify]: iters left: 3 (6 enodes)
1552126580.667 * * [simplify]: iters left: 2 (15 enodes)
1552126580.670 * * [simplify]: iters left: 1 (24 enodes)
1552126580.674 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.675 * * [simplify]: Extracting #1: cost 8 inf + 0
1552126580.675 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126580.675 * * [simplify]: Extracting #3: cost 8 inf + 2
1552126580.675 * * [simplify]: Extracting #4: cost 3 inf + 1288
1552126580.675 * * [simplify]: Extracting #5: cost 0 inf + 2894
1552126580.675 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.675 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126580.675 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.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 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1552126580.675 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.676 * * [simplify]: iters left: 3 (6 enodes)
1552126580.677 * * [simplify]: iters left: 2 (15 enodes)
1552126580.680 * * [simplify]: iters left: 1 (24 enodes)
1552126580.684 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.684 * * [simplify]: Extracting #1: cost 8 inf + 0
1552126580.684 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126580.684 * * [simplify]: Extracting #3: cost 8 inf + 2
1552126580.684 * * [simplify]: Extracting #4: cost 3 inf + 1288
1552126580.684 * * [simplify]: Extracting #5: cost 0 inf + 2894
1552126580.685 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.685 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.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 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126580.685 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (*.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))))>
1552126580.685 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (+.p16 alpha beta))
1552126580.685 * * [simplify]: iters left: 2 (4 enodes)
1552126580.686 * * [simplify]: iters left: 1 (15 enodes)
1552126580.689 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.689 * * [simplify]: Extracting #1: cost 4 inf + 0
1552126580.689 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126580.689 * * [simplify]: Extracting #3: cost 7 inf + 323
1552126580.689 * * [simplify]: Extracting #4: cost 0 inf + 2416
1552126580.689 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1552126580.689 * [simplify]: Simplified (2 1 2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (*.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))))
1552126580.689 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta)) (*.p16 (*.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))))>
1552126580.689 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (+.p16 alpha beta))
1552126580.689 * * [simplify]: iters left: 2 (4 enodes)
1552126580.690 * * [simplify]: iters left: 1 (15 enodes)
1552126580.693 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.693 * * [simplify]: Extracting #1: cost 4 inf + 0
1552126580.693 * * [simplify]: Extracting #2: cost 10 inf + 0
1552126580.693 * * [simplify]: Extracting #3: cost 7 inf + 323
1552126580.693 * * [simplify]: Extracting #4: cost 0 inf + 2416
1552126580.693 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1552126580.693 * [simplify]: Simplified (2 1 2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta)) (*.p16 (*.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))))
1552126580.693 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 alpha beta) (+.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))))>
1552126580.694 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.694 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))
1552126580.694 * * [simplify]: iters left: 3 (5 enodes)
1552126580.695 * * [simplify]: iters left: 2 (10 enodes)
1552126580.697 * * [simplify]: iters left: 1 (21 enodes)
1552126580.706 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.706 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126580.706 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126580.707 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126580.707 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552126580.707 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))
1552126580.707 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.707 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))
1552126580.707 * * [simplify]: iters left: 3 (5 enodes)
1552126580.708 * * [simplify]: iters left: 2 (15 enodes)
1552126580.712 * * [simplify]: iters left: 1 (29 enodes)
1552126580.716 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.716 * * [simplify]: Extracting #1: cost 13 inf + 0
1552126580.716 * * [simplify]: Extracting #2: cost 15 inf + 1
1552126580.716 * * [simplify]: Extracting #3: cost 14 inf + 2
1552126580.716 * * [simplify]: Extracting #4: cost 0 inf + 3946
1552126580.717 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
1552126580.717 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))
1552126580.717 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 beta (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.717 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.717 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.717 * * [simplify]: iters left: 3 (9 enodes)
1552126580.719 * * [simplify]: iters left: 2 (22 enodes)
1552126580.723 * * [simplify]: iters left: 1 (38 enodes)
1552126580.730 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.730 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126580.730 * * [simplify]: Extracting #2: cost 21 inf + 0
1552126580.730 * * [simplify]: Extracting #3: cost 17 inf + 4
1552126580.730 * * [simplify]: Extracting #4: cost 5 inf + 3308
1552126580.731 * * [simplify]: Extracting #5: cost 0 inf + 5642
1552126580.731 * [simplify]: Simplified to (*.p16 (real->posit16 2) (*.p16 (real->posit16 1) (+.p16 beta alpha)))
1552126580.731 * [simplify]: Simplified (2 1 2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (real->posit16 2) (*.p16 (real->posit16 1) (+.p16 beta alpha)))) (*.p16 (*.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))))
1552126580.731 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.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))))>
1552126580.731 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))
1552126580.731 * * [simplify]: iters left: 3 (9 enodes)
1552126580.735 * * [simplify]: iters left: 2 (28 enodes)
1552126580.740 * * [simplify]: iters left: 1 (58 enodes)
1552126580.750 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.750 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126580.750 * * [simplify]: Extracting #2: cost 17 inf + 0
1552126580.750 * * [simplify]: Extracting #3: cost 11 inf + 47
1552126580.750 * * [simplify]: Extracting #4: cost 4 inf + 2342
1552126580.751 * * [simplify]: Extracting #5: cost 0 inf + 4354
1552126580.751 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
1552126580.751 * [simplify]: Simplified (2 1 2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))
1552126580.751 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (*.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))))>
1552126580.752 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.752 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126580.752 * * [simplify]: iters left: 4 (10 enodes)
1552126580.755 * * [simplify]: iters left: 3 (31 enodes)
1552126580.761 * * [simplify]: iters left: 2 (85 enodes)
1552126580.781 * * [simplify]: iters left: 1 (201 enodes)
1552126580.835 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.835 * * [simplify]: Extracting #1: cost 27 inf + 0
1552126580.835 * * [simplify]: Extracting #2: cost 61 inf + 0
1552126580.836 * * [simplify]: Extracting #3: cost 50 inf + 1655
1552126580.838 * * [simplify]: Extracting #4: cost 9 inf + 29980
1552126580.840 * * [simplify]: Extracting #5: cost 0 inf + 35454
1552126580.843 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
1552126580.843 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126580.843 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.843 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126580.843 * * [simplify]: iters left: 4 (10 enodes)
1552126580.846 * * [simplify]: iters left: 3 (31 enodes)
1552126580.853 * * [simplify]: iters left: 2 (85 enodes)
1552126580.876 * * [simplify]: iters left: 1 (201 enodes)
1552126580.966 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.966 * * [simplify]: Extracting #1: cost 27 inf + 0
1552126580.966 * * [simplify]: Extracting #2: cost 61 inf + 0
1552126580.967 * * [simplify]: Extracting #3: cost 50 inf + 1655
1552126580.968 * * [simplify]: Extracting #4: cost 9 inf + 29980
1552126580.971 * * [simplify]: Extracting #5: cost 0 inf + 35454
1552126580.974 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
1552126580.974 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126580.974 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126580.974 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126580.974 * * [simplify]: iters left: 4 (10 enodes)
1552126580.977 * * [simplify]: iters left: 3 (31 enodes)
1552126580.984 * * [simplify]: iters left: 2 (85 enodes)
1552126581.005 * * [simplify]: iters left: 1 (201 enodes)
1552126581.061 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126581.061 * * [simplify]: Extracting #1: cost 27 inf + 0
1552126581.061 * * [simplify]: Extracting #2: cost 61 inf + 0
1552126581.061 * * [simplify]: Extracting #3: cost 50 inf + 1655
1552126581.063 * * [simplify]: Extracting #4: cost 9 inf + 29980
1552126581.066 * * [simplify]: Extracting #5: cost 0 inf + 35454
1552126581.069 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
1552126581.069 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126581.069 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
1552126581.069 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
1552126581.069 * * [simplify]: iters left: 4 (10 enodes)
1552126581.072 * * [simplify]: iters left: 3 (31 enodes)
1552126581.079 * * [simplify]: iters left: 2 (85 enodes)
1552126581.117 * * [simplify]: iters left: 1 (201 enodes)
1552126581.191 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126581.191 * * [simplify]: Extracting #1: cost 27 inf + 0
1552126581.191 * * [simplify]: Extracting #2: cost 61 inf + 0
1552126581.192 * * [simplify]: Extracting #3: cost 50 inf + 1655
1552126581.193 * * [simplify]: Extracting #4: cost 9 inf + 29980
1552126581.196 * * [simplify]: Extracting #5: cost 0 inf + 35454
1552126581.199 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
1552126581.200 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1552126581.200 * * * [progress]: adding candidates to table
1552126582.726 * [progress]: [Phase 3 of 3] Extracting.
1552126582.726 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 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))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.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 (+.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 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.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))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.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))))> #<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))))))>)
1552126582.732 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
1552126582.732 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 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))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.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 (+.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 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.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))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.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))))> #<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))))))>)
1552126583.367 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 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))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.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 (+.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 beta (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.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))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.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))))> #<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))))))>)
1552126583.977 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
1552126583.977 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552126583.977 * * [simplify]: iters left: 6 (22 enodes)
1552126583.979 * * [simplify]: iters left: 5 (24 enodes)
1552126583.981 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.981 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126583.981 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126583.981 * * [simplify]: Extracting #3: cost 14 inf + 0
1552126583.981 * * [simplify]: Extracting #4: cost 19 inf + 1
1552126583.981 * * [simplify]: Extracting #5: cost 17 inf + 46
1552126583.981 * * [simplify]: Extracting #6: cost 11 inf + 134
1552126583.981 * * [simplify]: Extracting #7: cost 7 inf + 1947
1552126583.981 * * [simplify]: Extracting #8: cost 2 inf + 6286
1552126583.982 * * [simplify]: Extracting #9: cost 0 inf + 11336
1552126583.982 * [simplify]: Simplified to (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1552126583.982 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126584.005 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126584.010 * * * * [points]: Setting MPFR precision to 64
1552126584.012 * * * * [points]: Setting MPFR precision to 320
1552126584.014 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126584.022 * * * * [points]: Setting MPFR precision to 64
1552126584.026 * * * * [points]: Setting MPFR precision to 320
1552126584.030 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126584.040 * * * * [points]: Setting MPFR precision to 64
1552126584.047 * * * * [points]: Setting MPFR precision to 320
1552126584.056 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126584.065 * * * * [points]: Setting MPFR precision to 64
1552126584.080 * * * * [points]: Setting MPFR precision to 320
1552126584.096 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126584.125 * * * * [points]: Setting MPFR precision to 64
1552126584.158 * * * * [points]: Setting MPFR precision to 320
1552126584.192 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126584.201 * * * * [points]: Setting MPFR precision to 64
1552126584.261 * * * * [points]: Setting MPFR precision to 320
1552126584.331 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126584.388 * * * * [points]: Setting MPFR precision to 64
1552126584.512 * * * * [points]: Setting MPFR precision to 320
1552126584.669 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126584.674 * * * * [points]: Setting MPFR precision to 64
1552126584.878 * * * * [points]: Setting MPFR precision to 320
1552126585.136 * * * * [points]: Computing exacts for 8000 points
1552126585.141 * * * * [points]: Setting MPFR precision to 64
1552126586.406 * * * * [points]: Setting MPFR precision to 320
1552126587.630 * * * * [points]: Filtering points with unrepresentable outputs
1552126587.995 * * * * [points]: Sampling 3506 additional inputs, on iter 1 have 4494 / 8000
1552126588.005 * * * * [points]: Computing exacts on every 219 of 3506 points to ramp up precision
1552126588.010 * * * * [points]: Setting MPFR precision to 64
1552126588.011 * * * * [points]: Setting MPFR precision to 320
1552126588.013 * * * * [points]: Computing exacts on every 109 of 3506 points to ramp up precision
1552126588.018 * * * * [points]: Setting MPFR precision to 64
1552126588.022 * * * * [points]: Setting MPFR precision to 320
1552126588.025 * * * * [points]: Computing exacts on every 54 of 3506 points to ramp up precision
1552126588.030 * * * * [points]: Setting MPFR precision to 64
1552126588.034 * * * * [points]: Setting MPFR precision to 320
1552126588.039 * * * * [points]: Computing exacts on every 27 of 3506 points to ramp up precision
1552126588.059 * * * * [points]: Setting MPFR precision to 64
1552126588.069 * * * * [points]: Setting MPFR precision to 320
1552126588.078 * * * * [points]: Computing exacts on every 13 of 3506 points to ramp up precision
1552126588.085 * * * * [points]: Setting MPFR precision to 64
1552126588.115 * * * * [points]: Setting MPFR precision to 320
1552126588.151 * * * * [points]: Computing exacts on every 6 of 3506 points to ramp up precision
1552126588.159 * * * * [points]: Setting MPFR precision to 64
1552126588.208 * * * * [points]: Setting MPFR precision to 320
1552126588.287 * * * * [points]: Computing exacts on every 3 of 3506 points to ramp up precision
1552126588.296 * * * * [points]: Setting MPFR precision to 64
1552126588.406 * * * * [points]: Setting MPFR precision to 320
1552126588.581 * * * * [points]: Computing exacts for 3506 points
1552126588.590 * * * * [points]: Setting MPFR precision to 64
1552126589.032 * * * * [points]: Setting MPFR precision to 320
1552126589.528 * * * * [points]: Filtering points with unrepresentable outputs
1552126589.750 * * * * [points]: Sampling 1455 additional inputs, on iter 2 have 6545 / 8000
1552126589.757 * * * * [points]: Computing exacts on every 90 of 1455 points to ramp up precision
1552126589.762 * * * * [points]: Setting MPFR precision to 64
1552126589.763 * * * * [points]: Setting MPFR precision to 320
1552126589.764 * * * * [points]: Computing exacts on every 45 of 1455 points to ramp up precision
1552126589.770 * * * * [points]: Setting MPFR precision to 64
1552126589.772 * * * * [points]: Setting MPFR precision to 320
1552126589.775 * * * * [points]: Computing exacts on every 22 of 1455 points to ramp up precision
1552126589.781 * * * * [points]: Setting MPFR precision to 64
1552126589.789 * * * * [points]: Setting MPFR precision to 320
1552126589.798 * * * * [points]: Computing exacts on every 11 of 1455 points to ramp up precision
1552126589.808 * * * * [points]: Setting MPFR precision to 64
1552126589.849 * * * * [points]: Setting MPFR precision to 320
1552126589.867 * * * * [points]: Computing exacts on every 5 of 1455 points to ramp up precision
1552126589.877 * * * * [points]: Setting MPFR precision to 64
1552126589.907 * * * * [points]: Setting MPFR precision to 320
1552126589.942 * * * * [points]: Computing exacts on every 2 of 1455 points to ramp up precision
1552126589.952 * * * * [points]: Setting MPFR precision to 64
1552126589.996 * * * * [points]: Setting MPFR precision to 320
1552126590.505 * * * * [points]: Computing exacts for 1455 points
1552126590.511 * * * * [points]: Setting MPFR precision to 64
1552126590.610 * * * * [points]: Setting MPFR precision to 320
1552126590.823 * * * * [points]: Filtering points with unrepresentable outputs
1552126590.893 * * * * [points]: Sampling 664 additional inputs, on iter 3 have 7336 / 8000
1552126590.895 * * * * [points]: Computing exacts on every 41 of 664 points to ramp up precision
1552126590.902 * * * * [points]: Setting MPFR precision to 64
1552126590.903 * * * * [points]: Setting MPFR precision to 320
1552126590.904 * * * * [points]: Computing exacts on every 20 of 664 points to ramp up precision
1552126590.909 * * * * [points]: Setting MPFR precision to 64
1552126590.911 * * * * [points]: Setting MPFR precision to 320
1552126590.914 * * * * [points]: Computing exacts on every 10 of 664 points to ramp up precision
1552126590.918 * * * * [points]: Setting MPFR precision to 64
1552126590.922 * * * * [points]: Setting MPFR precision to 320
1552126590.927 * * * * [points]: Computing exacts on every 5 of 664 points to ramp up precision
1552126590.931 * * * * [points]: Setting MPFR precision to 64
1552126590.938 * * * * [points]: Setting MPFR precision to 320
1552126590.947 * * * * [points]: Computing exacts on every 2 of 664 points to ramp up precision
1552126590.951 * * * * [points]: Setting MPFR precision to 64
1552126590.966 * * * * [points]: Setting MPFR precision to 320
1552126591.010 * * * * [points]: Computing exacts for 664 points
1552126591.018 * * * * [points]: Setting MPFR precision to 64
1552126591.076 * * * * [points]: Setting MPFR precision to 320
1552126591.171 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.258 * * * * [points]: Sampling 292 additional inputs, on iter 4 have 7708 / 8000
1552126591.259 * * * * [points]: Computing exacts on every 18 of 292 points to ramp up precision
1552126591.269 * * * * [points]: Setting MPFR precision to 64
1552126591.271 * * * * [points]: Setting MPFR precision to 320
1552126591.273 * * * * [points]: Computing exacts on every 9 of 292 points to ramp up precision
1552126591.282 * * * * [points]: Setting MPFR precision to 64
1552126591.286 * * * * [points]: Setting MPFR precision to 320
1552126591.290 * * * * [points]: Computing exacts on every 4 of 292 points to ramp up precision
1552126591.299 * * * * [points]: Setting MPFR precision to 64
1552126591.306 * * * * [points]: Setting MPFR precision to 320
1552126591.312 * * * * [points]: Computing exacts on every 2 of 292 points to ramp up precision
1552126591.317 * * * * [points]: Setting MPFR precision to 64
1552126591.323 * * * * [points]: Setting MPFR precision to 320
1552126591.331 * * * * [points]: Computing exacts for 292 points
1552126591.336 * * * * [points]: Setting MPFR precision to 64
1552126591.370 * * * * [points]: Setting MPFR precision to 320
1552126591.431 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.446 * * * * [points]: Sampling 138 additional inputs, on iter 5 have 7862 / 8000
1552126591.447 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
1552126591.453 * * * * [points]: Setting MPFR precision to 64
1552126591.455 * * * * [points]: Setting MPFR precision to 320
1552126591.457 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
1552126591.466 * * * * [points]: Setting MPFR precision to 64
1552126591.470 * * * * [points]: Setting MPFR precision to 320
1552126591.473 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
1552126591.482 * * * * [points]: Setting MPFR precision to 64
1552126591.488 * * * * [points]: Setting MPFR precision to 320
1552126591.495 * * * * [points]: Computing exacts for 138 points
1552126591.504 * * * * [points]: Setting MPFR precision to 64
1552126591.521 * * * * [points]: Setting MPFR precision to 320
1552126591.540 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.548 * * * * [points]: Sampling 62 additional inputs, on iter 6 have 7938 / 8000
1552126591.548 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
1552126591.558 * * * * [points]: Setting MPFR precision to 64
1552126591.560 * * * * [points]: Setting MPFR precision to 320
1552126591.562 * * * * [points]: Computing exacts for 62 points
1552126591.571 * * * * [points]: Setting MPFR precision to 64
1552126591.579 * * * * [points]: Setting MPFR precision to 320
1552126591.612 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.618 * * * * [points]: Sampling 30 additional inputs, on iter 7 have 7970 / 8000
1552126591.618 * * * * [points]: Computing exacts for 30 points
1552126591.628 * * * * [points]: Setting MPFR precision to 64
1552126591.631 * * * * [points]: Setting MPFR precision to 320
1552126591.636 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.637 * * * * [points]: Sampling 18 additional inputs, on iter 8 have 7982 / 8000
1552126591.637 * * * * [points]: Computing exacts for 18 points
1552126591.648 * * * * [points]: Setting MPFR precision to 64
1552126591.650 * * * * [points]: Setting MPFR precision to 320
1552126591.653 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.654 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
1552126591.654 * * * * [points]: Computing exacts for 9 points
1552126591.663 * * * * [points]: Setting MPFR precision to 64
1552126591.664 * * * * [points]: Setting MPFR precision to 320
1552126591.666 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.666 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1552126591.666 * * * * [points]: Computing exacts for 5 points
1552126591.674 * * * * [points]: Setting MPFR precision to 64
1552126591.674 * * * * [points]: Setting MPFR precision to 320
1552126591.675 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.675 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1552126591.675 * * * * [points]: Computing exacts for 4 points
1552126591.683 * * * * [points]: Setting MPFR precision to 64
1552126591.684 * * * * [points]: Setting MPFR precision to 320
1552126591.685 * * * * [points]: Filtering points with unrepresentable outputs
1552126591.685 * * * * [points]: Sampled 8000 points with exact outputs
1552126598.913 * [regime-testing]: Baseline error score: 64.0
1552126598.915 * [regime-testing]: Oracle error score: 64.0
1552126598.920 * [regime-testing]: End program error score: 0.39649609476575726