simplify TildeExpansion()