solve tan(x)=3