i1 : sec(pi/3) o1 = 2 o1 : RR (of precision 53)
See http://en.wikipedia.org/wiki/Trigonometric_function.