Simplify sin(2arcsin(1/2)-arctan(( square root of 3)/3))