Ykhjuy

First of all, note that we don't see the same thing in Python 2.x:

>>> timeit("for i in range(1000): 2*i*i")

51.00784397125244

>>> timeit("for i in range(1000): 2*(i*i)")

50.48330092430115

So this leads us to believe that this is due to how integers changed in Python 3: specifically, Python 3 uses long (arbitrarily large integers) everywhere.

For small enough integers (including the ones we're considering here), CPython actually just uses the O(N²) grade-school digit by digit multiplication algorithm (for larger integers it switches to the Karatsuba algorithm). You can see this yourself in the source.

The number of digits in x*x is roughly twice that of 2*x or x (since log(x²) = 2 log(x)), so the square of the number of digits in x*x (recall that grade-school multiplication is quadratic) is 4 times that of 2*x or x -- so it makes sense that 2*(x*x) is the slower variant.

Note that a "digit" in this context is not a base-10 digit, but a 30-bit value (which are treated as single digits in CPython's implementation). Hence, for x = 10000000, 2*x*x only requires single-digit multiplications whereas 2*(x*x) requires a 2-digit multiplication (since x*x has 2 30-bit digits).

Here's a direct way to see this (Python 3):

>>> timeit("a*b", "a,b = 2, 123456**2", number=100000000)

5.796971936999967

>>> timeit("a*b", "a,b = 2*123456, 123456", number=100000000)

4.3559221399999615

Again, compare this to Python 2, which doesn't use arbitrary-length integers everywhere:

>>> timeit("a*b", "a,b = 2, 123456**2", number=100000000)

3.0912468433380127

>>> timeit("a*b", "a,b = 2*123456, 123456", number=100000000)

3.1120400428771973

(One interesting note: If you look at the source, you'll see that the algorithm actually has a special case for squaring numbers (which we're doing here), but even still this is not enough to overcome the fact that 2*(x*x) just requires processing more digits.)

Python intern representation of integers is special, it uses slots of 30 bits :

In [6]: sys.getsizeof(2**30-1)

Out[6]: 28 # one slot + heading



In [7]: sys.getsizeof(2**30)

Out[7]: 32 # two slots 

So everything happens as if Python counts in base B = 2**30 = 1 073 741 824 ~1 billion.

For a human who want to calculate 2*4*4, two ways :

• (2*4)*4 = 8*4 =32 = 30 + 2 is immediate if you knows your add tables.


• 2*(4*4) = 2*16 = 2*10 + 2*6 = (2*10+10) + 2 = 30 + 2 since we have to put the operation down.

Python have the same problem. If x is a number such than 2x < B < x² , let x² = aB+b , with a,b <B. x² is stored in 2 slots, which I note (a|b). Computations leads to (without managing carries here):

   (x*x)*2 =>  (a|b)*2 => (2*a|2*b)

   (2*x)*x =>  (2x)*x =>(2a|2b)

in the first case the 2* operation is done two times, against only one in the first case. That explains the difference.

If your benchmark is right (didn't check), it may come from the fact that Python integers may be two different things : native integers when they are small (with a quick computation), and big integers when they increase in size (slower computation). The first syntax keeps the size smaller after the first operation while the second syntax may lead to two operations involving big integers.

From what I can tell, it comes down to a little bit more memory access in the version using 2 * (x * x). I printed the disassembled bytecode and it seems to prove that:

Relevant part of 2 * x * x:

7          28 LOAD_FAST                1 (num)

           30 LOAD_CONST               3 (2)

           32 LOAD_FAST                2 (x)

           34 BINARY_MULTIPLY

           36 LOAD_FAST                2 (x)

           38 BINARY_MULTIPLY

           40 INPLACE_ADD

           42 STORE_FAST               1 (num)

           44 JUMP_ABSOLUTE           24

Relevant part of 2 * (x * x):

  7          28 LOAD_FAST                1 (num)

             30 LOAD_CONST               3 (2)

             32 LOAD_FAST                2 (x)

             34 LOAD_FAST                2 (x)

             36 BINARY_MULTIPLY                 <=== 1st multiply x*x in a temp value

             38 BINARY_MULTIPLY                 <=== then multiply result with 2

             40 INPLACE_ADD

             42 STORE_FAST               1 (num)

             44 JUMP_ABSOLUTE           24