How do you evaluate cos^-1(1/sqrt2)?