How to multiply square roots?