Symbol: p_simp_re