TeX source:
y=\sqrt{25-x^{2}}