C++ Symbolic Computation Library