とりあえずシンプルなものでもいい。そう思って探してみたところ、Simple algebraic data types for C というものを見つけました。 論文などもあるのですが、使い方がよくわかりませんでした。
This project contains a very simple, and incomplete, symbolic math library in Scala ... and there is a ML style "let" expression. Here is a short example that demonstrates the differentiation feature: ...