Python's pow builtin does binary exponentiation, if your arguments are ints. If the arguments are longs or a intermediate or final result overflows it uses left-to-right binary exponentiation or ...

Robert Pluta, Bernard Russo *, On the structure of weakly closed ternary rings of operators, Mathematical Proceedings of the Royal Irish Academy, Vol. 119A, No. 2 (2019), pp. 77-91 ...