sqrt(sqrt(3)+2)/2