pstpm2 user interface: replace tvc.formula and logH.formula with smooth.formula
API change to pstpm2: remove logH.formula and tvc.formula, and add smooth.formula