How do you evaluate #sec(sec^-1(sqrt2))#?