Implemented taylor expansion of sine functions
Implemented general Taylor series expansions
Implemented Symbolic constant and Arithmetic type simplification rules, allowing significant simplification