cos(x)-x=0

cos(x)=x

a_0: 0.2
b_0: 1
gl2: x = b_0
gl1: x = a_0
p: y = -0.6
f(x) = cos(x) - x
g(x) = cos(x)
h(x) = x
A_0: (a_0, f(a_0))
B_0: (b_0, f(b_0))
m_0: (a_0 + b_0) / 2
M_0: (m_0, 0)
a_1: m_0
A_1: (a_1, f(a_1))
i = OrthogonalLine(A_0, gl1)
j = OrthogonalLine(B_0, gl2)
A = Intersect(gl1, j)
B = Intersect(i, gl2)
k = OrthogonalLine(M_0, xAxis)
l = OrthogonalLine(A_1, k)
C = Intersect(k, j)
D = Intersect(l, gl2)
E = Midpoint(A_1, D)
m = OrthogonalLine(E, xAxis)
G = Midpoint(A_1, E)
n = OrthogonalLine(A_1, l)
q = OrthogonalLine(G, xAxis)
v1, r, b, s, a = Polygon(A_0, B, B_0, A)
v2, t, d, c, c_1 = Polygon(A_1, D, B_0, C)
F = Intersect(f, m, (0.8, -0.10329329065283466))
e = OrthogonalLine(F, m)
H = Intersect(q, e)
I = Intersect(f, q, (0.7, 0.06484218728448854))
f_1 = OrthogonalLine(I, q)
J = Intersect(f_1, m)
v3, h_1, f_2, j_1, i_1 = Polygon(H, F, J, I)
K = Intersect(e, k)
v4, k_1, f_3, e_1, g_1 = Polygon(K, F, E, A_1)
L = Point(gl1)
M = Point(gl1)
N = Point(gl1)
O = Intersect(p, gl1)
l_1 = OrthogonalLine(L, gl1)
m_1 = OrthogonalLine(M, gl1)
n_1 = OrthogonalLine(N, gl1)
P = Intersect(gl2, p)
Q = Intersect(k, n)
R = Intersect(l_1, k)
S = Intersect(m, m_1)
T = Intersect(q, n_1)
U = Intersect(m, n_1)
V = Intersect(l_1, gl2)
W = Intersect(m_1, k)
p_1 = Segment(O, P)
q_1 = Segment(R, V)
r_1 = Segment(W, S)
s_1 = Segment(T, U)
v5: v1
Z = Intersect(gl1, gl2)
B_1 = Intersect(xAxis, gl2)
C_1 = Intersect(xAxis, gl1)
D_1 = Midpoint(C_1, B_1)
t_1 = OrthogonalLine(D_1, xAxis)
b_1 = OrthogonalLine(D_1, gl2)
d_1 = OrthogonalLine(D_1, b_1)
E_1 = Midpoint(D_1, B_1)
g_2 = OrthogonalLine(E_1, b_1)
F_1 = Midpoint(D_1, E_1)
h_2 = OrthogonalLine(D_1, b_1)
i_2 = OrthogonalLine(F_1, b_1)
G_1 = Intersect(e, gl1)
H_1 = Intersect(gl1, p)
I_1 = Intersect(gl2, p)
J_1 = Intersect(l_1, t_1)
K_1 = Intersect(l_1, gl2)
L_1 = Intersect(g_2, m_1)
M_1 = Intersect(t_1, d_1)
j_2 = Segment(H_1, I_1)
k_2 = Segment(J_1, K_1)