(x_0,f(x_0))

(x_1,f(x_1))

f(x)=\cos(x)-x

f(x) = cos(x) - x
x_1 = Point(xAxis)
x_0 = Point(xAxis)
g_0 = OrthogonalLine(x_0, xAxis)
g_1 = OrthogonalLine(x_1, xAxis)
A = Intersect(f, g_0, (0.18589406974523984, 0.79687732701625))
B = Intersect(f, g_1, (1, -0.45969769413186023))
s_{01} = Segment(A, B)
x_2 = Intersect(s_{01}, xAxis)
g_2 = OrthogonalLine(x_2, xAxis)
D = Intersect(f, g_2, (0.7021724826463227, 0.06126834908829182))
s_{12} = Segment(D, B)
x_3 = Intersect(s_{12}, xAxis)
C = (0.21157558244589814, -0.5061484395736449)
E = (0.2709572014649814, -0.4946981228679203)
G = (0.45294879577132197, -0.4946981228679203)