How do you evaluate sec(sec^-1(1/3))?