| 1: 
 | val formatStrict : expression : Expression ->  String
 | 
Выводит точное представление дерева выражения.
| 1: 
2: 
3: 
 | let str = "4*x*x + 2/sin(3*y) + 5*cos(x)"
let expr = str |> Infix.parseOrUndefined
expr |> Infix.formatStrict |> printfn "%s"
 | 
| 1: 
 | 4*x^2 + 2*sin(3*y)^(-1) + 5*cos(x)
 | 
Схожесть с функцией Infix.format может ввести в заблуждение, что они делают одно и то-же. На самом деле это не так. Разницу легко понять, если вывести дерево выражений не используя форматированный вывод:
| 1: 
2: 
3: 
4: 
5: 
6: 
7: 
 | let some = "tan(x)/sin(y)"
let expr = some |> Infix.parseOrUndefined 
expr |> printfn "%A"
expr |> Infix.format |> printfn "Infix.format: %s"
expr |> Infix.formatStrict |> printfn "Infix.formatStrict: %s"
 | 
| 1: 
2: 
3: 
4: 
5: 
 | Product
  [Power (Function (Sin,Identifier (Symbol "y")),Number -1N);
   Function (Tan,Identifier (Symbol "x"))]
Infix.format: tan(x)/sin(y)
Infix.formatStrict: sin(y)^(-1)*tan(x)
 | 
Легко заметить, что Infix.printStrict просто выводит дерево выражения без дополнительных изменений.