AD (www.autodiff.org) — популярный тренд в наукоемком программировании.
Имеющиеся решения либо платные (http://www.extremeoptimization.com/Documentation/Mathematics/Automatic_Differentiation.aspx),
либо под .net 4.5, что экзотика.

Мне лично нужна такая либа на базе перегрузки операторов под net 3.5.

Roslyn CTP глубоко не копал, но поверхностное мнение сложилось, что это решение.
Если кому будет интересно посмотреть в эту сторону, дайте знать.