solve d2^2=(x3-x2)^2 + (sqrt(d1^2 - (x3 - x1)^2) + y1 - y2)^2 for x3