Search
Description
I noticed Smath is not very good in optimizing symbolically. See this trivial example: sqrt(x)^2=sqrt(x)^2. This should be optimized to x.