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