Search
Description
In the given example, SMath fails to get the symbolic result. This is an exception, usually also expressions involving sum() can be simplified symbolically.
