https://9lib.net/document/eqoj3p7z-the-minimal-polynomials-of-cos-over-the-rationals.html