i1 : csch(pi/3) o1 = .800405292888593 o1 : RR (of precision 53)
See http://en.wikipedia.org/wiki/Hyperbolic_function.