Symbolic toolbox based on SymPy.
