Solve for x 2sin(pi/4-x)+ square root of 3=0