A simple library for doing symbolic math