Полагаю, что за такой промежуток времени уже решено, но все же
symbolic - это octsympy, реализация символьной арифметики с использованием SymPy
SymPy, в свою очередь, требует Python (который еще требует mpmath и опционально gmpy, cython; но это не особо важно)
Об этом написано, например, здесь...