cos(2arccos(2/7)).