x+sqrt(y^2-x^2)=12-y;xsqrt(y^2-x^2) = 12