[ Eq(x5, k19*k17/k18) ]