could this just be 

```
add = sum  # or lambda *args: sum(args)
mul = prod  #  in module sympy.core.mul:
```