How do you evaluate #\sec^{-1} \sqrt{2} #?