Minimal polynomial cos(pi/30)