Oops, so sorry! cos(arctan 11/2) would not be hard to find. What I meant to write was cos[(arctan 11/2)/3]. And, indeed, as one quickly realizes, this leads to the angle-tripling formula (4 cos^3 x - 3 cos x = cos 3x). And, indeed, circularly, one basically ends up with one's original cubic!