C++ symbolic derivation app