cos(2*arccos(2))