added two new simp rules and updated tests