a symbolic math engine