(x+3-sqrt(5)*i)*(x+3+sqrt(5)*i)