1:
val contract : x : Expression -> Expression
"Сокращает" тригонометрическое выражение
1: 2: 3: 4: 5:
"sin(x)^2*cos(x)^2 - 1/8 + sin(x) + sin(y)" |> Infix.parseOrUndefined |> Trigonometric.contract |> Infix.format |> printfn "%s"
sin(x) + sin(y) - (1/8)*cos(4*x)