acos(cos80°)