I am new to tikz and I am struggling to be precise with the placement of my figures. Specifically, I was looking to have angle EDF be labeled with $\frac{x}{2}$ and angle ADF to have the "right angle" symbol. Also, I would like the line segment AB to be labeled with $\sqrt{1+t^2}$. Any help would be greatly appreciated! If there are any other reccomendations to make the image look better, maybe fix the arbitrary bold lines, I would also appreciate that! Here is my code for the figure:
\begin{figure}
\centering
\begin{tikzpicture}
% Define coordinates
\def\Radius{5}
\path
(-\Radius, 0) coordinate (A)
-- coordinate (M)
(\Radius, 0) coordinate (B)
(M) +(60:\Radius) coordinate (C)
+(120:\Radius) coordinate (D)
;
% Draw semicircle
\draw
(B) arc(0:180:\Radius) -- cycle ;
;
\draw (0,0) -- (0,5) ;
\draw (-5,0) node[below=.333em]{$A$} node[right =4.0em, above left=0.01em]{$\frac{x}{2}$}
-- (2.96,0) node[below = .333em]{$E$}
-- (2.96,4) node[above right=.333em]{$D$}
-- cycle;
\draw (0,0) node[anchor=north]{}
-- (5,0) node[anchor=north]{}
-- (2.96,4) node[above right=.05em]{}
-- cycle;
\draw (0,0) -- (0,3) node[anchor = north east]{$B$};
\draw(0,0) node[below=.333em]{$C$};
\draw (5,0) node[below=.333em]{$F$};
\draw [black, thick] (-4,0) arc[start angle=0, end angle=37, radius=0.7cm];
\draw [black, thick] (2.5,3.9) arc[start angle=270, end angle=360, radius=0.7cm];
\filldraw [black] (0,0) circle (2pt);
\filldraw [black] (-5,0) circle (2pt);
\filldraw [black] (5,0) circle (2pt);
\filldraw [black] (2.96,4) circle (2pt);
\filldraw [black] (2.96,0) circle (2pt);
\filldraw [black] (0,2.5) circle (2pt);
\end{tikzpicture}
\end{figure}

\usepackage{tkz-euclide}and\tkzMarkAngle(E,D,F)for angle mark and\tkzLabelAngle[pos=1.2](E,D,F){$\alpha$}for its label. – Apr 22 '20 at 20:14tikzmanual it's a fairly good starting point – BambOo Apr 22 '20 at 23:21