Simplify newly_expressed