U: optimization of expression form close #2