Computing x¹³ by binary exponentiation (repeated squaring), how many… · QuantMax