OptionaldepthOptionalinferwhether to call infer() on each term; default true
Optionalmaxmaximum number of steps in infer(), see infer
Optionalmaxmaximum number of arguments in infer(), see infer
Optionalnoskipprevents skipping equivalent terms. Always true if infer is false.
Optionalprogressminimum number of tries between progress yields, default 1000
Optionaltriesmaximum number of tried terms before giving up
maximum generation to search for