Solvable groups defined by redundant cyclic presentations

We study the two-generator one-relator groups defined by $\langle x_0,x_1\mid U(x_0,x_1)U(x_1,x_0)^{-1}\rangle$, and determine exactly which of them fail to contain a free subgroup of rank $2$. We show that every such group is a solvable Baumslag--Solitar group $BS(1,m)$, and that every integer valu