Simplifying a product of radical expressions - Multivariate