mathdotnet-symbolics