0.282 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.338 * * * [progress]: [2/2] Setting up program.
0.345 * [progress]: [Phase 2 of 3] Improving.
0.345 * [simplify]: Simplifying:
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
0.345 * * [simplify]: iteration 0: 17 enodes
0.349 * * [simplify]: iteration 1: 40 enodes
0.354 * * [simplify]: iteration 2: 101 enodes
0.399 * * [simplify]: iteration 3: 245 enodes
0.451 * * [simplify]: iteration 4: 699 enodes
1.051 * * [simplify]: iteration 5: 3569 enodes
1.894 * * [simplify]: iteration complete: 5001 enodes
1.894 * * [simplify]: Extracting #0: cost 1 inf + 0
1.894 * * [simplify]: Extracting #1: cost 26 inf + 0
1.895 * * [simplify]: Extracting #2: cost 386 inf + 1
1.899 * * [simplify]: Extracting #3: cost 1428 inf + 19
1.905 * * [simplify]: Extracting #4: cost 1916 inf + 189
1.912 * * [simplify]: Extracting #5: cost 1835 inf + 1087
1.920 * * [simplify]: Extracting #6: cost 982 inf + 15372
1.928 * * [simplify]: Extracting #7: cost 64 inf + 33597
1.935 * * [simplify]: Extracting #8: cost 1 inf + 34421
1.948 * * [simplify]: Extracting #9: cost 0 inf + 34450
1.954 * [simplify]: Simplified to:
  (/ (* (/ eps (- (exp (* eps a)) 1.0)) (- (pow (exp eps) (+ a b)) 1.0)) (- (exp (* eps b)) 1.0))
1.962 * * [progress]: iteration 1 / 4
1.962 * * * [progress]: picking best candidate