How do you find the exact value of tan^-1(cos(pi))?