Walking on groups: a distance formula for outer automorphism group of the free group