[ Eq(1*k2*x4 + 1*k2*x5, k2*k10) ]