added some derivatives,  added AST->postfix, must fix postfix->infix