libcas provides a C++ library for computer algebra on graphs of functions.
The library is part of the central repository.
The current version of libcas is documented here. The documentation contains basic examples. An offline version is included in the library tarball given above.
Please find a small interactive playground to test simple pattern matching and identification rules below.
For your convenience, the grammar for allowed expressions is provided here.