minimal polynomial sqrt(1 + sqrt(2)/2)