update TODO file (fixed old bug)
opt: number * -expression => -number * expression
sanitycheck: add diff(cos(x)^2 + sin(x)^2, x) case
TODO: some further thoughts on new syntax support