A sos analyzer for rhs