8.436824999999999 x ^ k = x ^ k | k