add fsharp formula