如何对SymPy中用户定义函数的衍生物施加限制？

I am working with user defined symbolic functions in SymPy. I want to impose certain restrictions on the derivative of these functions at certain points and have these restrictions who up automatically when simplifying expressions.I am working with user defined symbolic functio