sec -- secant

• Usage:

  sec x

  sec I

• Inputs:
  • x
  • I, a real interval
• Outputs:
  • a real number, the secant of x
  • a real interval, an interval containing the secants of the points of I

i1 : sec(pi/3)

o1 = 2

o1 : RR (of precision 53)