plot y=cosh(x),x^2+(y-2)^2=1