(x_1^2 - x_2 ^2)x_3^2 \in \mathbb{R}