[x^32 - 4*x^24 + 15*x^16 - 4*x^8 + 1, 15]
