1.168 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying:
  (/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 2.0)
0.039 * * [simplify]: iteration 0: 10 enodes
0.041 * * [simplify]: iteration 1: 20 enodes
0.044 * * [simplify]: iteration 2: 34 enodes
0.049 * * [simplify]: iteration 3: 53 enodes
0.061 * * [simplify]: iteration 4: 74 enodes
0.081 * * [simplify]: iteration 5: 164 enodes
0.148 * * [simplify]: iteration 6: 318 enodes
0.234 * * [simplify]: iteration 7: 665 enodes
0.508 * * [simplify]: iteration 8: 1531 enodes
1.946 * * [simplify]: iteration 9: 4691 enodes
2.554 * * [simplify]: iteration complete: 5001 enodes
2.555 * * [simplify]: Extracting #0: cost 1 inf + 0
2.556 * * [simplify]: Extracting #1: cost 274 inf + 0
2.564 * * [simplify]: Extracting #2: cost 1478 inf + 1
2.576 * * [simplify]: Extracting #3: cost 1577 inf + 63
2.588 * * [simplify]: Extracting #4: cost 1043 inf + 4967
2.600 * * [simplify]: Extracting #5: cost 93 inf + 15592
2.611 * * [simplify]: Extracting #6: cost 0 inf + 16732
2.628 * * [simplify]: Extracting #7: cost 0 inf + 16726
2.639 * [simplify]: Simplified to:
  (/ (+ 1.0 (/ (- beta alpha) (+ (+ alpha 2.0) beta))) 2.0)
2.648 * * [progress]: iteration 1 / 4
2.648 * * * [progress]: picking best candidate