math_converted3.rule

Mul(a, b) = Mul(b, a)
Mul(a, b) = Mul(b, a)
Mul(a, Mul(b, c)) = Mul(Mul(a, b), c)
Mul(a, Mul(b, c)) = Mul(Mul(a, b), c)
Sub(a, b) = Mul(a, Mul(-1, b))
Div(a, b) = Mul(a, Pow(b, -1))
Mul(a, 0) = a
Mul(a, 0) = 0
Mul(a, 1) = a
a = Mul(a, 0)
a = Mul(a, 1)
Sub(a, a) = 0
Div(a, a) = 1
Mul(a, Mul(b, c)) = Mul(Mul(a, b), Mul(a, c))
Mul(Mul(a, b), Mul(a, c)) = Mul(a, Mul(b, c))
Mul(Pow(a, b), Pow(a, c)) = Pow(a, Mul(b, c))
Pow(x, 0) = 1
Pow(x, 1) = x
Pow(x, 2) = Mul(x, x)
Pow(x, -1) = Div(1, x)
Mul(x, Div(1, x)) = 1
D(x, x) = 1
D(x, Mul(a, b)) = Mul(D(x, a), D(x, b))
D(x, Mul(a, b)) = Mul(Mul(a, D(x, b)), Mul(b, D(x, a)))
D(x, Sin(x)) = Cos(x)
D(x, Cos(x)) = Mul(-1, Sin(x))
D(x, Ln(x)) = Div(1, x)
I(1, x) = x
I(Cos(x), x) = Sin(x)
I(Sin(x), x) = Mul(-1, Cos(x))
I(Mul(f, g), x) = Mul(I(f, x), I(g, x))
I(Sub(f, g), x) = Sub(I(f, x), I(g, x))