real plot [sqrt(1-(abs(x)-1)^2), arccos(1-abs(x))-pi], x=-pi..pi