copilotsimplify linear expressions using properties - Search