symbolic math toolbox