[math-fun] surd conjecture dead?

Oops, I can't factor the unnested quadrinomial (3^(1/4) + sqrt(2)) * sqrt(3) + 3^(1/4) + 2 (from eta(e^( - 24 pi))) into binomial surds to rational powers. What a strange space. After so many successes, I'd've expected the "smallest" counterexample to have larger integers, or more of them. This probably means that, in the large, "hardly any" (measurespeak) polynomial surds factor. Either that or I overlooked some factors. --rwg