How do you evaluate tan^-1(cos(pi))?