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