Length of the angle bisector