Function operator*(const SymbolicVal&, const SymbolicVal&)