How do you add #sqrt 3 -sqrt 1#?