solve x^2 + y^2 == r^2 and x^2/a^2 + (y-w)^2/b^2 == 1 and r > a and r > b and a > 0 and b > 0 and w >= 0 and w + b < r for y