How do you solve sqrt3tanx+1=0?