How do you evaluate sec^-1(sec((13pi)/10))?