rhs

val rhs: SymbolicCost