Документация к Math.NET Symbolics

Infix.formatStrictWriter

1: 

val formatStrictWriter : writer : TextWriter -> expression : Expression ->  unit
CompiledName: FormatStrictWriter

Описание:

Записывает дерево выражений (Expression) в точном соответствии в указанный TextWriter (System.IO).

Пример

1: 
2: 
3: 
4: 
5: 
6: 

let str = "tan(x)+sin(y)/2+z^4"
let expr = str |> Infix.parseOrUndefined 

let sw = new StreamWriter("formatStrict.txt")
Infix.formatStrictWriter sw expr 
sw.Close()
Вывод

В файле formatStrict.txt записано:

1: 

z^4 + (1/2)*sin(y) + tan(x)