sin(2*arcsin(1/2))