x;y: x*(y+8-(2*x))