cleaning up simplification and derivative logic
yet more on simplify and derive
rename for Unary and Binary ApplyMinus
adding test and fixing bugs for the MathML applies