Simplification in Symbolics

I am using the Symbolics package and having trouble figuring out how to simplify expressions. Note that \sqrt{3} and 3/\sqrt{3} are equal, but I can’t seem to get that. For example: julia> using Symbolics julia> a = sqrt(Num(3)) sqrt(3) julia> a == 3/a sqrt(3) == (3 / sqrt(3)) # this isn't helpful julia> a - 3/a sqrt(3) + -3 / sqrt(3) julia> iszero(ans) false # this is incorrect