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
Optionalmaxmaximum size of a term in infer() before the calculation is aborted; 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