x^Log2[x] == 4 x