Fast symbolic manipulation library, written in C++