Removed redundancies
Refined symbolics