How do you solve #2sin(x+pi/3)=tan(pi/3)#?