((a+b)c+(a-b))^2-2*((ab(c^2-1)+c(a^2-b^2))