Description: Define the secant function. We define it this way for cmpt , which
requires the form ( x e. A |-> B ) . The sec function is defined in
ISO 80000-2:2009(E) operation 2-13.6 and "NIST Digital Library of
Mathematical Functions" section on "Trigonometric Functions"
http://dlmf.nist.gov/4.14 . (Contributed by David A. Wheeler, 14-Mar-2014)