Is there a more specific simplification algorithm that could be applied here?