simplify (a^2 + b^2)(x^2 + y^2) - (a x + b y)^2