Add simplification and reduce