$$a ^ b=\begin{cases}a ^ {b \bmod \phi(p)} \quad & \gcd(a,p)=1 \\a ^ b \quad & \gcd(a,p) \not=1, b < \phi(p)\\a ^ {b \bmod \phi(p) + \phi (p)} \quad & \gcd(a,p) \not=1, b \ge \phi(p)\\\end{cases}$$
