[sum x^k, k=1 to 12]^2