vereinfachen sqrt((1)^2+(\sqrt{3))^2}