2*x0^2 - 2*x1^2 + 2*x2^2 - 2*x3^2 + 2*x4^2 - 2*x5^2 + 2*x6^2 - 1
