T235

f(x) = log(ℯ, x^(2) - 1)
A = Point(f)
g = Tangent(A, f)
A': (x(A), 0)
h = Segment(A, A')
B = Intersect(g, xAxis)
B': (x(B), f(x(B)))
i = Tangent(B', f)
C = Intersect(i, xAxis)