{ x5 = x1^2,
  x6 = 5 - x3 }