[boost] library for differentiation (interest research)