
$\operatorname{disc} (x)=((x_1-x_2)(x_1-x_3)(x_2-x_3))^2$
