vereinfachen sqrt((1+3/(\sqrt{13)))/2}