symbolic_math_verify
