[math-fun] Is this locus smooth everywhere?