How do you add #sqrt2+sqrt2#?