Use CSymPy::RCP and similar