Has anyone written a symbolic computation package for F#? I'm used to Mathematica, where I can unit test numerical functions symbolically, by feeding in unbound symbols, and seeing whether the reducer yields the expected output weight for each input symbol.