How do you solve #sqrt3tanx+1=0#?