Fast symbolic manipulation library, written in C++ - View it on GitHub