added simplification rules and rules for differentiation