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 = Segment(P, C)