What is arcsin(sin 2pi/3)?