x^6+8sqrt(2) x^3+64=0