Simplification of radical expressions, square roots of large numbers