1.903 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0))
0.048 * * [simplify]: iteration 0: 17 enodes
0.051 * * [simplify]: iteration 1: 58 enodes
0.070 * * [simplify]: iteration 2: 282 enodes
0.263 * * [simplify]: iteration 3: 1753 enodes
0.860 * * [simplify]: iteration complete: 5000 enodes
0.860 * * [simplify]: Extracting #0: cost 1 inf + 0
0.861 * * [simplify]: Extracting #1: cost 199 inf + 0
0.865 * * [simplify]: Extracting #2: cost 752 inf + 1
0.872 * * [simplify]: Extracting #3: cost 1515 inf + 31
0.878 * * [simplify]: Extracting #4: cost 1826 inf + 1805
0.890 * * [simplify]: Extracting #5: cost 897 inf + 17752
0.897 * * [simplify]: Extracting #6: cost 78 inf + 40522
0.907 * * [simplify]: Extracting #7: cost 0 inf + 42524
0.919 * * [simplify]: Extracting #8: cost 0 inf + 42212
0.926 * [simplify]: Simplified to:
  (/ (/ (+ (* (+ (+ alpha beta) i) i) (* beta alpha)) (+ (+ (* 2.0 i) beta) alpha)) (/ (- (* (+ (+ (* 2.0 i) beta) alpha) (+ (+ (* 2.0 i) beta) alpha)) 1.0) (* (/ (+ (+ alpha beta) i) (+ (+ (* 2.0 i) beta) alpha)) i)))
0.932 * * [progress]: iteration 1 / 4
0.932 * * * [progress]: picking best candidate