How to multiply two square roots