Symbolic calculus for fsharp