add bivariate solving to solvers