Added additional unit tests for symmath library that verify symmath_check for simple symbolic input strings.