(sqrt(sqrt(2+2))+sqrt(2-sqrt(2)))/(2sqrt(2))=1/2*sqrt(2+sqrt(2))