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