5 + cos(5 - 5) = 6