Implement partial derivatives for finding non-trivial laws.