a = c+x+y, b= c+x, (a^2+c^2)(ab+ac+bc)-2ac(a^2+b^2+c^2) - 2c(a-b)(a-c)(b-c)