And certainly pattern matching with __ in Mathematica, as well as polynomial manipulation functions like GroebnerBasis , routinely deal with problems that are formally NP-complete.