How do you solve #tanx=-sqrt3#?