0.255 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.139 * * * [progress]: [2/2] Setting up program.
0.146 * [progress]: [Phase 2 of 3] Improving.
0.146 * [simplify]: Simplifying:
  (/ (- (exp x) (exp (- x))) 2.0)
0.146 * * [simplify]: iteration 0: 7 enodes
0.148 * * [simplify]: iteration 1: 14 enodes
0.154 * * [simplify]: iteration 2: 24 enodes
0.160 * * [simplify]: iteration 3: 30 enodes
0.167 * * [simplify]: iteration 4: 34 enodes
0.175 * * [simplify]: iteration complete: 34 enodes
0.175 * * [simplify]: Extracting #0: cost 1 inf + 0
0.175 * * [simplify]: Extracting #1: cost 6 inf + 0
0.175 * * [simplify]: Extracting #2: cost 13 inf + 1
0.175 * * [simplify]: Extracting #3: cost 11 inf + 9
0.175 * * [simplify]: Extracting #4: cost 10 inf + 10
0.175 * * [simplify]: Extracting #5: cost 4 inf + 31
0.175 * * [simplify]: Extracting #6: cost 0 inf + 54
0.175 * [simplify]: Simplified to:
  (/ (- (exp x) (exp (- x))) 2.0)
0.176 * * [progress]: iteration 1 / 4
0.176 * * * [progress]: picking best candidate