minimal polynomial of sqrt(2%2Bsqrt(2%2Bsqrt(2)))