0.061 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.227 * * * [progress]: [2/2] Setting up program.
0.237 * [progress]: [Phase 2 of 3] Improving.
0.237 * [simplify]: Simplifying:
  (- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
0.237 * * [simplify]: iteration 0: 12 enodes
0.241 * * [simplify]: iteration 1: 20 enodes
0.246 * * [simplify]: iteration 2: 35 enodes
0.255 * * [simplify]: iteration 3: 53 enodes
0.269 * * [simplify]: iteration 4: 84 enodes
0.301 * * [simplify]: iteration 5: 224 enodes
0.413 * * [simplify]: iteration 6: 921 enodes
2.636 * * [simplify]: iteration 7: 4914 enodes
4.519 * * [simplify]: iteration complete: 5000 enodes
4.519 * * [simplify]: Extracting #0: cost 1 inf + 0
4.519 * * [simplify]: Extracting #1: cost 4 inf + 0
4.519 * * [simplify]: Extracting #2: cost 6 inf + 1
4.519 * * [simplify]: Extracting #3: cost 6 inf + 2
4.519 * * [simplify]: Extracting #4: cost 239 inf + 2
4.523 * * [simplify]: Extracting #5: cost 957 inf + 164
4.533 * * [simplify]: Extracting #6: cost 690 inf + 758
4.537 * * [simplify]: Extracting #7: cost 229 inf + 3610
4.541 * * [simplify]: Extracting #8: cost 0 inf + 5047
4.545 * [simplify]: Simplified to:
  (- x (/ (log (fma y (exp z) (- 1.0 y))) t))
4.551 * * [progress]: iteration 1 / 4
4.551 * * * [progress]: picking best candidate