Some more laws

[sjcjoosten]

Here are some laws you could add:

0.0 - x = -x
a * (b / c) = (a * b) / c
(a ^ p) ^ q = a ^ (p*q)
a / (x ^ q) = x ^(-q)
x^p * x^q = x^(p+q)

I'm very impressed by the fact that you can actually calculate (your Transform rules).

Furthermore, don't worry if you can't simplify every possible expression. That would be a near impossible task.