A = (0, 1)
B = Point(a)
b = OrthogonalLine(B, a)
c = Segment(A, B)
d = LineBisector(c)
C = Intersect(d, b)
f(x) = x^(2.0) / 4.0