How to factor a hard 4th degree polynomial (no rational zero, can't do it by grouping)