2.311 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.186 * * * [progress]: [2/2] Setting up program.
0.194 * [progress]: [Phase 2 of 3] Improving.
0.194 * [simplify]: Simplifying:
  (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
0.194 * * [simplify]: iteration 0: 8 enodes
0.197 * * [simplify]: iteration 1: 21 enodes
0.200 * * [simplify]: iteration 2: 52 enodes
0.208 * * [simplify]: iteration 3: 115 enodes
0.259 * * [simplify]: iteration 4: 419 enodes
0.640 * * [simplify]: iteration complete: 5000 enodes
0.640 * * [simplify]: Extracting #0: cost 1 inf + 0
0.640 * * [simplify]: Extracting #1: cost 49 inf + 0
0.643 * * [simplify]: Extracting #2: cost 1169 inf + 14
0.655 * * [simplify]: Extracting #3: cost 1491 inf + 3286
0.677 * * [simplify]: Extracting #4: cost 263 inf + 10964
0.684 * * [simplify]: Extracting #5: cost 0 inf + 12910
0.691 * [simplify]: Simplified to:
  (- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1)))
0.695 * * [progress]: iteration 1 / 4
0.696 * * * [progress]: picking best candidate