Factorisation of x^(2n)+1 in Real Domain