Implemented Simplify
More simplifications