factorization of x^4+4