Recognizing and exploiting conjugacy without a domain-specific language - View it on GitHub