Find the principal value of tan^-1(cos π/2)