sqrt(12^2-x^2)=3+sqrt