Solve for x (tan(x)-1)(2sin(x)- square root of 3)=0