CPython如何知道如何优化（m ** e）％n？

Question

如果我跑步，假设e是一个像65537这样的大值：

x**e

花费很长的时间，但是假设一个合理的n：

(x**e)%n

运行速度更快，因此Python显然正在优化模块化指数。我的问题是CPython如何确定它可以进行优化，是字节码还是其他？