[ Eq(x7, x1/k10) ]