x/2 = 4 - sqrt(16-(x-4)^2)