[ x[5] = x[1]^2,
  x[6] = 5 - x[3] ]