x=y=x+(b-1)^2^b+(a-4-b)*(2*(3+x)+c)
