How do you find the value of tan^-1 sqrt(3)?