Identify equivalent expressions using strip models