So you're enumerating a search space of functions, with some constraints to keep the search tractable?
When you do this kind of thing, there are two worst cases:
a) Your constraints are too strong and the search space does not include the target.
b) The search space includes the target but it is too large to search in polynomial time.
How are you dealing with those?
To clarify, the happy case is when your search target is easy to find, i.e. when the search space is small and includes the target. But that happens... rarely (because program search spaces are large).
When you do this kind of thing, there are two worst cases:
a) Your constraints are too strong and the search space does not include the target.
b) The search space includes the target but it is too large to search in polynomial time.
How are you dealing with those?
To clarify, the happy case is when your search target is easy to find, i.e. when the search space is small and includes the target. But that happens... rarely (because program search spaces are large).