p_simp

p_simp has not provided any additional information.