minimal polynomial of sqrt(2+sqrt(2+sqrt(2)))