simp2

simp2 has not provided any additional information.