O = (0, 0)
B = Point(xAxis)
a = Ray(O, B)
A = Point(a)
b: sqrt(x(A))
P: (x(A), b)
c = OrthogonalLine(A, a)
d = OrthogonalLine(P, yAxis)
C = Intersect(d, yAxis)
e = Segment(A, P)
f_1 = Segment(P, C)
f(x) = sqrt(x)
A1_1: "x(" + (Name[P] + ")")
B1_1: "y(" + (Name[P] + ")")
Name(P)
A1: "x(" + (Name[P] + ")")
Name(P)
B1: "y(" + (Name[P] + ")")