1.204 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.119 * * * [progress]: [2/2] Setting up program.
0.128 * [progress]: [Phase 2 of 3] Improving.
0.129 * [simplify]: Simplifying:
  (+ x (/ (exp (* y (log (/ y (+ z y))))) y))
0.129 * * [simplify]: iteration 0: 10 enodes
0.132 * * [simplify]: iteration 1: 18 enodes
0.136 * * [simplify]: iteration 2: 27 enodes
0.144 * * [simplify]: iteration 3: 54 enodes
0.163 * * [simplify]: iteration 4: 152 enodes
0.216 * * [simplify]: iteration 5: 507 enodes
0.512 * * [simplify]: iteration 6: 2094 enodes
1.398 * * [simplify]: iteration complete: 5001 enodes
1.398 * * [simplify]: Extracting #0: cost 1 inf + 0
1.398 * * [simplify]: Extracting #1: cost 53 inf + 0
1.399 * * [simplify]: Extracting #2: cost 903 inf + 1
1.403 * * [simplify]: Extracting #3: cost 1533 inf + 90
1.409 * * [simplify]: Extracting #4: cost 1749 inf + 607
1.415 * * [simplify]: Extracting #5: cost 708 inf + 20283
1.421 * * [simplify]: Extracting #6: cost 92 inf + 30404
1.431 * * [simplify]: Extracting #7: cost 1 inf + 31085
1.437 * * [simplify]: Extracting #8: cost 0 inf + 30668
1.446 * [simplify]: Simplified to:
  (+ x (/ (pow (/ y (+ z y)) y) y))
1.456 * * [progress]: iteration 1 / 4
1.456 * * * [progress]: picking best candidate