A symbolic math library