Sort integrals by the method you would use, classify recognition integrals by type, and match integrals to a sensible substitution.