How to factor tough polynomials