gcd (x^2 + 2x + 1, x+1)