How do you evaluate tan^-1(-1/sqrt3)tan1(13)?