A C++11 library for symbolic expression differentiation