7 - cos(7 - 7) = 6